Map
Index
Random
Help
th

QuoteRef: flatM6_2004

topics > all references > ThesaHelp: references e-f



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

Quotations
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


Related Topics up

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)

Collected barberCB 9/04
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.