| 
|
QuoteRef: flatM6_2004
topics >
all references >
ThesaHelp:
ACM references f-l
Topic:
race conditions
Topic:
safety, liveness, and system properties
Topic:
process threads
Topic:
defining a process
Reference
Flatt, M., Findler, R.B., "Kill-safe synchronization abstractions", Proceedings of the 2004 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'04), Washington, DC, USA, June 2004, ACM SIGPLAN, pp. 47-58. Google
47 ;;Quote: an operation is kill-safe if it is atomic despite thread termination
47+;;Quote: how to extend a run-time system for kill-safe operations; only trusting the shared object
47 ;;Quote: thread termination is like indefinite suspension
47+;;Quote: implement kill-safe by suspending an instance instead of killing it; a surviving task can resurrect the instance
ThesaHelp: ACM references f-l (241 items)
Topic: race conditions (33 items)
Topic: safety, liveness, and system properties (22 items)
Topic: process threads (25 items)
Topic: defining a process (23 items)