Topic: safety, liveness, and system properties
Topic: race conditions
| |
Quotation Skeleton
Just as thread-safe means that an abstraction's operations … atomic in the presence of thread termination. … In this paper, we show how to extend … kernel. Furthermore, with our design, the set of … need not trust each other; the tasks must …
Google-1
Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: how to extend a run-time system for kill-safe operations; only trusting the shared object
|
Related Topics
Topic: safety, liveness, and system properties (22 items)
Topic: race conditions (30 items)
|