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
关键词
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 条
  • [21] Stretching Transactional Memory
    Dragojevic, Aleksandar
    Guerraoui, Rachid
    Kapalka, Michal
    ACM SIGPLAN NOTICES, 2009, 44 (06) : 155 - 165
  • [22] On the Correctness of Transactional Memory
    Guerraoui, Rachid
    Kapalka, Michal
    PPOPP'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING, 2008, : 175 - 184
  • [23] Transactional Memory and OpenMP
    Milovanovic, Milos
    Ferrer, Roger
    Unsal, Osman S.
    Cristal, Adrian
    Martorell, Xavier
    Ayguade, Eduard
    Labarta, Jesus
    Valero, Mateo
    PRACTICAL PROGRAMMING MODEL FOR THE MULTI-CORE ERA, PROCEEDINGS, 2008, 4935 : 37 - 53
  • [24] Is Transactional Memory an Oxymoron?
    Hill, Mark D.
    PROCEEDINGS OF THE VLDB ENDOWMENT, 2008, 1 (01): : 1 - 1
  • [25] Transactional active memory
    Leong, HV
    Choy, M
    ELECTRONICS LETTERS, 1997, 33 (17) : 1441 - 1443
  • [26] Transactional Memory: A Review
    Tabassum
    Meenu, Smt
    2020 6TH INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING AND COMMUNICATION SYSTEMS (ICACCS), 2020, : 370 - 375
  • [27] Hybrid transactional memory
    Damron, Peter
    Fedorova, Alexandra
    Lev, Yossi
    Luchangco, Victor
    Moir, Mark
    Nussbaum, Daniel
    ACM SIGPLAN NOTICES, 2006, 41 (11) : 336 - 346
  • [28] Persistent Transactional Memory
    Wang, Zhaoguo
    Yi, Han
    Liu, Ran
    Dong, Mingkai
    Chen, Haibo
    IEEE COMPUTER ARCHITECTURE LETTERS, 2015, 14 (01) : 58 - 61
  • [29] Sandboxing Transactional Memory
    Dalessandro, Luke
    Scott, Michael L.
    PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES (PACT'12), 2012, : 171 - 179
  • [30] Perspectives on Transactional Memory
    Abadi, Martin
    Harris, Tim
    CONCUR 2009 - CONCURRENCY THEORY, PROCEEDINGS, 2009, 5710 : 1 - 14