Memory models for open-nested transactions

13 years 8 months ago
Memory models for open-nested transactions
Open nesting provides a loophole in the strict model of atomic transactions. Moss and Hosking suggested adapting open nesting for transactional memory, and Moss and a group at Stanford have proposed hardware schemes to support open nesting. Since these researchers have described their schemes using only operational definitions, however, the semantics of these systems have not been specified in an implementation-independent way. This paper offers a framework for defining and exploring the memory semantics of open nesting in a transactional-memory setting. Our framework allows us to define the traditional model of serializability and two new transactional-memory models, race freedom and prefix race freedom. The weakest of these memory models, prefix race freedom, closely resembles the Stanford opennesting model. We prove that these three memory models are equivalent for transactional-memory systems that support only closed nesting, as long as aborted transactions are “ignored....
Kunal Agrawal, Charles E. Leiserson, Jim Sukha
Added 13 Jun 2010
Updated 13 Jun 2010
Type Conference
Year 2006
Authors Kunal Agrawal, Charles E. Leiserson, Jim Sukha
Comments (0)