THE THEORY OF TRANSACTIONAL MEMORY

被引：0
|
作者：
Fatourou, Panagiota [1 ,2 ]
Guerraoui, Rachid [3 ]
Kapalka, Michal [3 ]
机构：
[1] Univ Crete, Dept Comp Sci, POB 2208, GR-71409 Iraklion, Crete, Greece
[2] Fdn Res & Technol FORTH, Inst Comp Sci, GR-70013 Iraklion, Crete, Greece
[3] Ecole Polytech Fed Lausanne, Lausanne, Switzerland
来源：
BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE | 2009年 / 97期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Transactional memory (TM) is a promising paradigm for concurrent programming. This paper is an overview of our recent work on defining a theory of TM. We first present a correctness condition of a TM, ensured by most existing TM implementations. Then, we describe two progress properties that characterize the two main classes of TM implementations: obstruction-free and lock-based TMs. We use these properties to establish several results on the inherent power and limitations of TMs.
引用
收藏
页码：83 / 105
页数：23
相关论文
共 50 条
  • [41] Software Transactional Memory on Relaxed Memory Models
    Guerraoui, Rachid
    Henzinger, Thomas A.
    Singh, Vasu
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2009, 5643 : 321 - 336
  • [42] Parallel Programming with Transactional Memory
    Drepper, Ulrich
    Queue, 2008, 6 (05): : 38 - 45
  • [43] Lower bounds for transactional memory
    Ravi, Srivatsan, 2017, European Association for Theoretical Computer Science (2017):
  • [44] Implementing signatures for transactional memory
    Sanchez, Daniel
    Yen, Luke
    Hill, Mark D.
    Sankaralingam, Karthikeyan
    MICRO-40: PROCEEDINGS OF THE 40TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE, 2007, : 123 - 133
  • [45] TRANSACTIONAL MEMORY: A PRIMER FOR THEORISTS
    Fatourou, Panagiota
    Herlihy, Maurice
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2009, (98): : 123 - 138
  • [46] Towards Transactional Memory for OpenMP
    Wong, Michael
    Ayguade, Eduard
    Gottschlich, Justin
    Luchangco, Victor
    de Supinski, Bronis R.
    Bihari, Barna
    USING AND IMPROVING OPENMP FOR DEVICES, TASKS, AND MORE, 2014, 8766 : 130 - 145
  • [47] Parallel Programming with Transactional Memory
    Drepper, Ulrich
    COMMUNICATIONS OF THE ACM, 2009, 52 (02) : 38 - 43
  • [48] Hardware Transactional Memory meets Memory Persistency
    Castro, Daniel
    Romano, Paolo
    Barreto, Joao
    2018 32ND IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), 2018, : 368 - 377
  • [49] ON THE INPUT ACCEPTANCE OF TRANSACTIONAL MEMORY
    Gramolit, Vincent
    Harmanci, Derin
    Felber, Pascal
    PARALLEL PROCESSING LETTERS, 2010, 20 (01) : 31 - 50
  • [50] Nested parallelism in transactional memory
    Instituto Superior Técnico, Universidade de Lisboa/INESC-ID, Portugal
    Lect. Notes Comput. Sci., (192-209):
12345