Transactional Memory: Glimmer of a Theory

• Presented at: 21st International Conference on Computer Aided Verification (CAV)
• Published in: Proceedings of the 21st International Conference on Computer Aided Verification (CAV)
• Series: Lecture Notes in Computer Science
• ACM, 2009

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.

Note: Invited Paper

Keywords: transactional memory ; theory

Reference

• LPD-CONF-2009-007
• View record in Web of Science

Record created on 2009-05-19, modified on 2012-03-20