| 
|
QuoteRef: harrT10_2003
ThesaHelp:
ACM references f-l
Topic:
database transactions
Topic:
critical regions
Topic:
waitfor condition in parallel processing
Topic:
concurrency control by monitors
Topic:
deadlocks
Reference
Harris, T., Fraser, K., "Language support for lightweight transactions", OOPSLA2003 18th Conference on Object Oriented Programming, Systems, Languages, and Applications, Anaheim California USA, October 2003, ACM SIGPLAN, pp. 388-402. Google
abstract ;;Quote: simplify concurrent programming by lightweight transactions; use for shared data, object instantiation, exceptions, and blocking
388 ;;Quote: conditional, critical regions better than mutual-exclusion; non-blocking without priority inversion; reevaluate conditions on update
389 ;;Quote: lightweight, software transaction without object slots; thread synchronization; requires atomic compare-swap
389 ;;Quote: when writing mutex code must manage locks, decide on lock granularity, and handle deadlock; hides important safety and progress properties
ThesaHelp: ACM references f-l (241 items)
Topic: database transactions (26 items)
Topic: critical regions (58 items)
Topic: waitfor condition in parallel processing (20 items)
Topic: concurrency control by monitors (24 items)
Topic: deadlocks (21 items)