Transactional Memory: Glimmer of a Theory

Transactional memory (TM) is a promising paradigm for concurrent programming. This paper is an overview of our recent theoretical work on defining a theory of TM. We first recall some TM correctness properties and then overview results on the inherent power and limitations of TMs.

• Type: Conference
• Year: 2009
• Where: CAV
• Authors: Rachid Guerraoui, Michal Kapalka
• Keywords: CAV 2009, Formal Methods, Promising Paradigm, TM Correctness Properties