Versioned boxes as the basis for memory transactions

✍ Scribed by João Cachopo; António Rito-Silva

• Book ID: 104091925
• Publisher: Elsevier Science
• Year: 2006
• Tongue: English
• Weight: 251 KB
• Volume: 63
• Category: Article
• ISSN: 0167-6423
• DOI: 10.1016/j.scico.2006.05.009

✦ Synopsis

In this paper, we propose the use of Versioned Boxes, which keep a history of values, as the basis for language-level memory transactions. Unlike previous work on software transactional memory, in our proposal read-only transactions never conflict with any other concurrent transaction. This may improve significantly the concurrency on applications which have longer transactions and a high read/write ratio.

Furthermore, we discuss how we can reduce transaction conflicts by delaying computations and re-executing only parts of a transaction in case of a conflict. We propose two language-level abstractions to support these strategies: the per-transaction boxes and the restartable transactions.

Finally, we lay out the basis for a more generic model, which better supports fine-grained restartable transactions. The goal of this new model is to generalize the previous two abstractions to reduce conflicts.