Perspectives on Transactional Memory

DOI10.1007/978-3-642-04081-8_1MaRDI QIDQ3184661zbMATH OpenOpenAlexFDO

Authors Martín Abadi, Tim Harris

Publication date 22 October 2009

Published in CONCUR 2009 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04081-8_1

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Transactional Memory: Glimmer of a Theory
• Transactional memory
• scientific article; zbMATH DE number 7075928
• The semantics of progress in lock-based transactional memory
• Semantics of transactional memory and automatic mutual exclusion

Cites work

• A model of cooperative threads
• A Model of Dynamic Separation for Transactional Memory
• A transactional object calculus
• Completeness and Nondeterminism in Model Checking Transactional Memories
• High-level small-step operational semantics for transactions
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• Implementation tradeoffs in the design of flexible transactional memory support
• Model checking transactional memories
• Permissiveness in Transactional Memories
• Privatization techniques for software transactional memory
• Semantics of transactional memory and automatic mutual exclusion

Cited in

(16)

• A model of dynamic separation for transactional memory
• scientific article; zbMATH DE number 1693446 (Why is no real title available?)
• Key techniques and challenges of transaction commit in main-memory database systems
• Characterizing Transactional Memory Consistency Conditions Using Observational Refinement
• Transactional memory: a primer for theorist
• A Model of Dynamic Separation for Transactional Memory
• Transactional Memory: Glimmer of a Theory
• Multi-View Memory Support to Operating Systems in Locking for Transaction and Database Systems
• scientific article; zbMATH DE number 1897126 (Why is no real title available?)
• scientific article; zbMATH DE number 7075871 (Why is no real title available?)
• A programming language perspective on transactional memory consistency
• Coarse-grained transactions
• Privatization techniques for software transactional memory
• Transactional memory
• An operational semantics for object-oriented concepts based on the class hierarchy
• Versioned boxes as the basis for memory transactions

This page was built for publication: Perspectives on Transactional Memory

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