Transactional mutex locks

DOI10.1007/978-3-642-15291-7_2MaRDI QIDQ3162871zbMATH OpenOpenAlexFDO

Authors Luke Dalessandro, Dave Dice, Michael L. Scott, Nir Shavit, Michael F. Spear

Publication date 22 October 2010

Published in Euro-Par 2010 - Parallel Processing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15291-7_2

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Software transactional memory
• Adaptive locks: combining transactions and locks for efficient concurrency
• The semantics of progress in lock-based transactional memory
• Semantics of transactional memory and automatic mutual exclusion
• Transactional memory

Cited in

(11)

• scientific article; zbMATH DE number 7577571 (Why is no real title available?)
• scientific article; zbMATH DE number 4049032 (Why is no real title available?)
• Locking Timestamps versus Locking Objects
• Checking opacity and durable opacity with FDR
• SMV: selective multi-versioning STM
• Adaptive locks: combining transactions and locks for efficient concurrency
• A verified durable transactional mutex lock for persistent x86-TSO
• Verifying opacity of a transactional mutex lock
• Defining and verifying durable opacity: correctness for persistent software transactional memory
• Transactional Lock Elision Meets Combining
• Verification of Concurrent Programs on Weak Memory Models

Describes a project that uses

Uses Software

• RingSTM
• NOrec

This page was built for publication: Transactional mutex locks

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