A single-version STM that is multi-versioned permissive

DOI10.1007/S00224-012-9406-3zbMATH Open1254.68063OpenAlexW2012688519MaRDI QIDQ693077FDOQ693077

Authors Hagit Attiya, Eshcar Hillel 

Publication date 7 December 2012

Published in Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00224-012-9406-3

zbMATH Keywords

versionstransactional memorycompare-and-swap\(k\)-compare-single-swapbest-effort hardware transactional memorydisjoint access parallelismpermissiveness

Mathematics Subject Classification ID

Distributed systems (68M14) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Permissiveness in Transactional Memories
• SMV: selective multi-versioning STM
• Software transactional memory
• A Versatile STM Protocol with Invisible Read Operations That Satisfies the Virtual World Consistency Condition
• Virtual world consistency: a condition for STM systems (with a versatile protocol with invisible read operations)

Cites Work

• A Lazy Snapshot Algorithm with Eager Validation
• Disentangling multi-object operations (extended abstract)
• Disjoint-access-parallel implementations of strong shared memory primitives
• Inherent limitations on disjoint-access parallel implementations of transactional memory
• Nonblocking \(k\)-compare-single-swap
• On avoiding spare aborts in transactional memory
• Permissiveness in Transactional Memories
• SMV: selective multi-versioning STM
• The semantics of progress in lock-based transactional memory
• The serializability of concurrent database updates
• Versioned boxes as the basis for memory transactions

Cited In (4)

• A Versatile STM Protocol with Invisible Read Operations That Satisfies the Virtual World Consistency Condition
• SMV: selective multi-versioning STM
• Permissiveness in Transactional Memories
• Achieving starvation-freedom with greater concurrency in multi-version object-based transactional memory systems

Uses Software

• TLRW

This page was built for publication: A single-version STM that is multi-versioned permissive

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