Permissiveness in Transactional Memories

DOI10.1007/978-3-540-87779-0_21MaRDI QIDQ3540238zbMATH OpenOpenAlexFDO

Authors Vasu Singh, Rachid Guerraoui, Thomas A. Henzinger

Publication date 20 November 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://infoscience.epfl.ch/record/125702/files/main.pdf

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A single-version STM that is multi-versioned permissive
• Privatization-safe transactional memories
• Software transactional memory
• Model checking transactional memories
• scientific article; zbMATH DE number 7075928

Cites work

• A Lazy Snapshot Algorithm with Eager Validation
• Completeness and Nondeterminism in Model Checking Transactional Memories
• The serializability of concurrent database updates

Cited in

(13)

• Correctness of concurrent executions of closed nested transactions in transactional memory systems
• On speculative replication of transactional systems
• HiperTM: high performance, fault-tolerant transactional memory
• A single-version STM that is multi-versioned permissive
• Privatization-safe transactional memories
• In the search for optimal concurrency
• Non-interference and local correctness in transactional memory
• On avoiding spare aborts in transactional memory
• Towards a universal construction for transaction-based multiprocess programs
• Inherent limitations on disjoint-access parallel implementations of transactional memory
• Last-use opacity: a strong safety property for transactional memory with prerelease support
• Achieving starvation-freedom with greater concurrency in multi-version object-based transactional memory systems
• Perspectives on Transactional Memory

This page was built for publication: Permissiveness in Transactional Memories

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