Privatization techniques for software transactional memory

DOI10.1145/1281100.1281161MaRDI QIDQ5401447zbMATH OpenOpenAlexFDO

Authors Michael F. Spear, Virendra J. Marathe, Luke Dalessandro, Michael L. Scott

Publication date 13 March 2014

Published in Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1281100.1281161

zbMATH Keywords

synchronizationprivatizationsoftware transactional memory

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• The Cost of Privatization in Software Transactional Memory
• Privatization-safe transactional memories
• Software Transactional Memory on Relaxed Memory Models
• Towards a formal account for software transactional memory
• Software transactional memory
• Perspectives on Transactional Memory

Cited in

(13)

• \(\mathrm {TM}^{2}\mathrm {C}\): a software transactional memory for many-cores
• Perspectives on Transactional Memory
• Semantics of transactional memory and automatic mutual exclusion
• Transactional memory
• Privatization-safe transactional memories
• Extensible transactional memory testbed
• A model of dynamic separation for transactional memory
• A Lazy Snapshot Algorithm with Eager Validation
• The Cost of Privatization in Software Transactional Memory
• The power of DCAS, highly-concurrent software transactional memory
• Transactions and privatization in Delaunay triangulation
• Weak atomicity for the x86 memory consistency model
• Brief announcement: Proust: a design space for highly-concurrent transactional data structures

This page was built for publication: Privatization techniques for software transactional memory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5401447)