Semantics of transactional memory and automatic mutual exclusion

DOI10.1145/1328438.1328449MaRDI QIDQ3189827zbMATH OpenOpenAlexFDO

Authors Martín Abadi, Andrew Birrell, Tim Harris, M. Isard

Publication date 12 September 2014

Published in Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

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

zbMATH Keywords

operational semanticsSTMtransactional memory

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Software transactional memory
• The semantics of progress in lock-based transactional memory
• Privatization techniques for software transactional memory
• Automatic Mutual Exclusion and Atomicity Checks
• A Concurrent Calculus with Atomic Transactions

Cited in

(22)

• An analytic framework for performance modeling of software transactional memory
• A formal semantics of nested atomic sections with thread escape
• A model of dynamic separation for transactional memory
• Partial aborts for transactions via first-class continuations
• Proving Isolation Properties for Software Transactional Memory
• Semantics of concurrent revisions
• Transactional mutex locks
• Perspectives on Transactional Memory
• Automatic Mutual Exclusion and Atomicity Checks
• A Model of Dynamic Separation for Transactional Memory
• Correctness of concurrent executions of closed nested transactions in transactional memory systems
• Towards a universal construction for transaction-based multiprocess programs
• Weak atomicity for the x86 memory consistency model
• Software transactional memory
• Correctness of an STM Haskell implementation
• Brief announcement: Proust: a design space for highly-concurrent transactional data structures
• Gradual type-and-effect systems
• The power of DCAS, highly-concurrent software transactional memory
• A Concurrent Calculus with Atomic Transactions
• Transactional memory
• Adaptive locks: combining transactions and locks for efficient concurrency
• Extensible transactional memory testbed

This page was built for publication: Semantics of transactional memory and automatic mutual exclusion

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