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 条
  • [31] Unbounded transactional memory
    Ananian, CS
    Asanovic, K
    Kuszmaul, BC
    Leiserson, CE
    Lie, S
    IEEE MICRO, 2006, 26 (01) : 59 - 69
  • [32] Software transactional memory
    Tel-Aviv Univ, Tel-Aviv, Israel
    Distrib Comput, 2 (99-116):
  • [33] Transactional memory: An overview
    Harris, Tim
    Cristal, Adrian
    Unsal, Osman S.
    Ayguade, Eduard
    Gagliardi, Fabrizio
    Smith, Burton
    Valero, Mateo
    IEEE MICRO, 2007, 27 (03) : 8 - 29
  • [34] Window-based greedy contention management for transactional memory: theory and practice
    Gokarna Sharma
    Costas Busch
    Distributed Computing, 2012, 25 : 225 - 248
  • [35] Window-based greedy contention management for transactional memory: theory and practice
    Sharma, Gokarna
    Busch, Costas
    DISTRIBUTED COMPUTING, 2012, 25 (03) : 225 - 248
  • [36] Hardware Transactional Memory meets memory persistency
    Castro, Daniel
    Romano, Paolo
    Barreto, Joao
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2019, 130 : 63 - 79
  • [37] Preemptive Software Transactional Memory
    Silvestri, Emiliano
    Economo, Simone
    Di Sanzo, Pierangelo
    Pellegrini, Alessandro
    Quaglia, Francesco
    2017 17TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER, CLOUD AND GRID COMPUTING (CCGRID), 2017, : 294 - 303
  • [38] A Practical Transactional Memory Interface
    Timnat, Shahar
    Herlihy, Maurice
    Petrank, Erez
    EURO-PAR 2015: PARALLEL PROCESSING, 2015, 9233 : 387 - 401
  • [39] The Future(s) of Transactional Memory
    Zeng, Jingna
    Barreto, Joao
    Haridi, Seif
    Rodrigues, Luis
    Romano, Paolo
    PROCEEDINGS 45TH INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING - ICPP 2016, 2016, : 442 - 451
  • [40] On the Cost of Concurrency in Transactional Memory
    Kuznetsov, Petr
    Ravi, Srivatsan
    PRINCIPLES OF DISTRIBUTED SYSTEMS, 2011, 7109 : 112 - 127
12345