Loading...
conference paper
Transactional Memory: Glimmer of a Theory
2009
Computer Aided Verification. CAV 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.
Loading...
Name
tm-theory-cav09.pdf
Access type
openaccess
Size
169 KB
Format
Adobe PDF
Checksum (MD5)
59ebaf3657ad6319b6472d81e8a6be3f