Transactional Memory: Glimmer of a Theory
From MaRDI portal
Recommendations
Cited in
(38)- An analytic framework for performance modeling of software transactional memory
- \(\mathrm {TM}^{2}\mathrm {C}\): a software transactional memory for many-cores
- Mechanized proofs of opacity: a comparison of two techniques
- Distributed transactional memory for metric-space networks
- Non-interference and local correctness in transactional memory
- scientific article; zbMATH DE number 1693446 (Why is no real title available?)
- On the liveness of transactional memory
- Perspectives on Transactional Memory
- Transactional memory: a primer for theorist
- A Model of Dynamic Separation for Transactional Memory
- An Abort-Aware Model of Transactional Programming
- Pervasive Theory of Memory
- Good programming in transactional memory. Game theory meets multicore architecture
- The PCL theorem: transactions cannot be parallel, consistent, and live
- Towards formally specifying and verifying transactional memory
- On avoiding spare aborts in transactional memory
- Defining and verifying durable opacity: correctness for persistent software transactional memory
- Software transactional memory
- A programming language perspective on transactional memory consistency
- Verifying opacity of a transactional mutex lock
- Coarse-grained transactions
- The semantics of progress in lock-based transactional memory
- Distributed Computing
- Transactions and privatization in Delaunay triangulation
- From causal to z-linearizable transactional memory
- The power of DCAS, highly-concurrent software transactional memory
- Good programming in transactional memory: game theory meets multicore architecture
- A Concurrent Calculus with Atomic Transactions
- Multithreaded transactions in scientific computing. The GROWTH06\_v2 program
- Privatization-safe transactional memories
- Transactional memory
- Adaptive locks: combining transactions and locks for efficient concurrency
- Embedded-TM: energy and complexity-effective hardware transactional memory for embedded multicore systems
- Extensible transactional memory testbed
- Inherent limitations on disjoint-access parallel implementations of transactional memory
- Nested transactional memory: Model and architecture sketches
- Proving opacity of transactional memory with early release
- Designing a software transactional memory for peer-to-peer systems
This page was built for publication: Transactional Memory: Glimmer of a Theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3636851)
