Transactional Memory: Glimmer of a Theory

Guerraoui, Rachid; Kapalka, Michal

doi:10.1007/978-3-642-02658-4_1

conference paper

Transactional Memory: Glimmer of a Theory

Guerraoui, Rachid

•

Kapalka, Michal

2009

Computer Aided Verification. CAV 2009

21st International Conference on Computer Aided Verification (CAV)

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.

Cite this item

Guerraoui, R., & Kapalka, M. (2009). Transactional Memory: Glimmer of a Theory. Computer Aided Verification. CAV 2009, Lecture Notes in Computer Science; 5643, 1–15. https://doi.org/10.1007/978-3-642-02658-4_1

Click Copy to copy the citation, or select the text manually.

Download

Name

tm-theory-cav09.pdf

Access type

openaccess

Size

169 KB

Format

Adobe PDF

Checksum (MD5)

59ebaf3657ad6319b6472d81e8a6be3f