Privatization-safe transactional memories

DOI10.4230/LIPICS.DISC.2019.24zbMATH Open1515.68097MaRDI QIDQ6487541FDOQ6487541

Authors: Artem Khyzha, Hagit Attiya, Alexey Gotsman 

Publication date: 3 February 2023

Recommendations

• Privatization techniques for software transactional memory
• The semantics of progress in lock-based transactional memory
• Last-use opacity: a strong safety property for transactional memory with prerelease support
• Transactional Memory: Glimmer of a Theory
• Permissiveness in Transactional Memories

zbMATH Keywords

privatizationtransactional memoryobservational refinement

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (8)

• Transactions and privatization in Delaunay triangulation
• The Cost of Privatization in Software Transactional Memory
• The semantics of progress in lock-based transactional memory
• Non-interference and local correctness in transactional memory
• Permissiveness in Transactional Memories
• Privatization techniques for software transactional memory
• Inherent limitations on disjoint-access parallel implementations of transactional memory
• Last-use opacity: a strong safety property for transactional memory with prerelease support

This page was built for publication: Privatization-safe transactional memories

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