Semantics of transactional memory and automatic mutual exclusion

DOI10.1145/1328438.1328449zbMath1295.68149OpenAlexW2086512828MaRDI QIDQ3189827

Tim Harris, Martín Abadi, Andrew Birrell, Michael 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 semanticstransactional memorySTM

Mathematics Subject Classification ID

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

Related Items (9)

Perspectives on Transactional Memory ⋮ Gradual type-and-effect systems ⋮ A model of dynamic separation for transactional memory ⋮ Proving Isolation Properties for Software Transactional Memory ⋮ Semantics of Concurrent Revisions ⋮ Transactional memory ⋮ Adaptive locks: combining transactions and locks for efficient concurrency ⋮ Extensible transactional memory testbed ⋮ A formal semantics of nested atomic sections with thread escape

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