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.


Published in:
Proceedings of the 21st International Conference on Computer Aided Verification (CAV)
Presented at:
21st International Conference on Computer Aided Verification (CAV)
Year:
2009
Publisher:
ACM
Keywords:
Note:
Invited Paper
Laboratories:




 Record created 2009-05-19, last modified 2018-09-13

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)