Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Verifying Software Transactions C. Scott Ananian
 

Summary: Verifying Software Transactions
C. Scott Ananian
cananian@csail.mit.edu
Computer Science and Artificial Intelligence Laboratory
Massachusetts Institute of Technology
Ananian, 6.895 p. 1
Outline
Concurrency control with non-blocking
transactions (review)
Introduction to the Spin Model Checker
Modelling a software transaction implementation
Conclusions
Ananian, 6.895 p. 2
Non-blocking Transactions
Ananian, 6.895 p. 3
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.

  

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

 

Collections: Computer Technologies and Information Sciences