| | |
Summary: Language-level Non-blocking
Software Transactions
(in Java!)
C. Scott Ananian
cananian@csail.mit.edu
Computer Science and Artificial Intelligence Laboratory
Massachusetts Institute of Technology
Ananian, CRS retreat p. 1
Notes
Nothing should be said on the title slide.
Ananian, CRS retreat p. 2
Transactions (review)
· A transaction is a sequence of loads and stores
that either commits or aborts.
· If a transaction commits, all the loads and store
appear to have executed atomically.
· If a transaction aborts, none of its stores take
effect.
· Transaction operations aren't visible until they
commit or abort.
|