Prev

Next

Haskell implementation

• Problems addressed
• Composability

 Item get() {
   atomic (n_items > 0) {...remove item...}
 }

• How to remove two consecutive items?

 get (); get ();
 atomic (???) { get (); get (); }

• How to enforce no I/O during transaction

 atomic { if (n>k) then launch_missiles(); S2 }

• Blocking transactions
• Blocking on multiple conditions
• Nested transactions

23