Transactional Memory: Glimmer of a Theory
Guerraoui, Rachid; Kapalka, Michal
2009

Files

Abstract

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.

Details

Title Transactional Memory: Glimmer of a Theory
Author(s) Guerraoui, Rachid ; Kapalka, Michal
Published in Computer Aided Verification. CAV 2009
Series Lecture Notes in Computer Science, 5643
Pages 1-15
Conference 21st International Conference on Computer Aided Verification (CAV), Grenoble, France, June 26 - July 2, 2009.
Date 2009
Publisher Springer
Keywords
Note Invited Paper
DOI https://doi.org/10.1007/978-3-642-02658-4_1
Other identifier(s) View record in Web of Science
Laboratories DCL
Record Appears in Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > DCL - Distributed Computing Laboratory
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Record creation date 2009-05-19

Actions

Preview