Adaptive locks: combining transactions and locks for efficient concurrency

DOI10.1016/J.JPDC.2010.02.006MaRDI QIDQ666229zbMATHOpenAlexFDO

Authors Takayuki Usui, Reimer Behrends, Jacob Evans, Yannis Smaragdakis

Publication date 7 March 2012

Published in Journal of Parallel and Distributed Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jpdc.2010.02.006

zbMATH Keywords

transactional memoryadaptive lockshybrid locksnested transactions

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Transactional mutex locks
• The semantics of progress in lock-based transactional memory
• Software transactional memory
• Executing Java programs with transactional memory
• Transactional Memory: Glimmer of a Theory

Cites work

• scientific article; zbMATH DE number 482761 (Why is no real title available?)
• scientific article; zbMATH DE number 2087570 (Why is no real title available?)
• Atomizer: A dynamic atomicity checker for multithreaded programs
• Exceptions and side-effects in atomic blocks
• Executing Java programs with transactional memory
• SNZI, scalable nonzero indicators
• Semantics of transactional memory and automatic mutual exclusion
• Software transactional memory
• Toward a theory of transactional contention managers

Cited in

(7)

• Transactional mutex locks
• Transactional Lock Elision Meets Combining
• An adaptive logging framework for persistent memories
• Implementation of automated fine-granularity locking in a persistent programming language
• scientific article; zbMATH DE number 1755575 (Why is no real title available?)
• Executing Java programs with transactional memory
• Weak atomicity for the x86 memory consistency model

Describes a project that uses

Uses Software

• Erlang
• Eraser
• Atomizer
• SNZI
• Autolocker
• STAMP
• Feather-Trace
• PhTM
• CIL

This page was built for publication: Adaptive locks: combining transactions and locks for efficient concurrency

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