Privatization-safe transactional memories

DOI10.4230/LIPICS.DISC.2019.24MaRDI QIDQ6487541zbMATHFDO

Authors Artem Khyzha, Hagit Attiya, Alexey Gotsman

Publication date 3 February 2023

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)

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

Cited in

(8)

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

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)