Summary: Ananian/Rinard: Language-Level Transactions, HPEC '04
Language-level Transactions for
Modular Reliable Systems
C. Scott Ananian Martin Rinard
cananian@csail.mit.edu rinard@csail.mit.edu
Computer Science and Artificial Intelligence Laboratory
Massachusetts Institute of Technology
HPEC 2004
Ananian/Rinard: Language-Level Transactions, HPEC '04
Outline
Problems with traditional software development
­ lock ordering
­ proper atomicity
­ fault-tolerance
­ priority inversion
Language-level Transactions
How?
­ Software implementation
­ Hardware implementation
­ Both!

Source: Ananian, C. Scott - One Laptop Per Child

Collections: Computer Technologies and Information Sciences