Weak atomicity for the x86 memory consistency model

DOI10.1016/j.jpdc.2012.06.001zbMath1248.68126OpenAlexW1968813999MaRDI QIDQ455998

Steven Hand, Amitabha Roy, Tim Harris

Publication date: 23 October 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.2012.06.001

zbMATH Keywords

software transactional memoryweak atomicityx86 memory consistency model

Mathematics Subject Classification ID

Computer system organization (68M99) Theory of software (68N99)

Uses Software

• QuakeTM
• JudoSTM

Cites Work

• Adaptive locks: combining transactions and locks for efficient concurrency
• The semantics of progress in lock-based transactional memory
• The Java memory model

This page was built for publication: Weak atomicity for the x86 memory consistency model