A programming language perspective on transactional memory consistency
Hagit Attiya, Alexey Gotsman, Sandeep Hans, Noam Rinetzky · 2013
Transactional memory (TM) has been hailed as a paradigm for simplifying concurrent programming. While several consistency conditions have been suggested for TM, they fall short of formalizing the intuitive semantics of atomic blocks, the interface through which a TM is used in a programming language.