Massively Concurrent Red-Black Trees with Hardware Transactional Memory

被引:2
|
作者
Siakavaras, Dimitrios [1 ]
Nikas, Konstantinos [1 ]
Goumas, Georgios [1 ]
Koziris, Nectarios [1 ]
机构
[1] Natl Tech Univ Athens, Sch Elect & Comp Engn, Comp Syst Lab, GR-10682 Athens, Greece
关键词
D O I
10.1109/PDP.2016.65
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Hardware Transactional Memory (HTM) is nowadays available in several commercial and HPC targeted processors and in the future it will likely be available on systems that can accommodate a very large number of threads. Thus, it is essential for the research community to target on evaluating HTM on as many cores as possible in order to understand the virtues and limitations that come with it. In this paper we utilize HTM to parallelize accesses on a classic data structure, a red-black tree. With minimal programming effort, we implement a red-black tree by enclosing each operation in a single HTM transaction and evaluate it on two servers equipped with Intel Haswell-EP and IBM Power8 processors, supporting a large number of hardware threads, namely 56 and 160 respectively. Our evaluation reveals that applying HTM in such a simplistic manner allows scalability for up to a limited number of hardware threads. To fully utilize the underlying hardware we apply different optimizations on each platform.
引用
收藏
页码:127 / 134
页数:8
相关论文
共 50 条
  • [21] An Assertional Proof of Red-Black Trees Using Dafny
    Pena, Ricardo
    JOURNAL OF AUTOMATED REASONING, 2020, 64 (04) : 767 - 791
  • [22] Permission-Based Verification of Red-Black Trees and Their Merging
    Armborst, Lukas
    Huisman, Marieke
    2021 IEEE/ACM 9TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2021), 2021, : 111 - 123
  • [23] Concurrent Irrevocability in Best-Effort Hardware Transactional Memory
    Titos-Gil, Ruben
    Fernandez-Pascual, Ricardo
    Ros, Alberto
    Acacio, Manuel E.
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2020, 31 (06) : 1301 - 1315
  • [24] Concurrent and Consistent Virtual Machine Introspection with Hardware Transactional Memory
    Liu, Yutao
    Xia, Yubin
    Guan, Haibing
    Zang, Binyu
    Chen, Haibo
    2014 20TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH PERFORMANCE COMPUTER ARCHITECTURE (HPCA-20), 2014, : 416 - 427
  • [25] Separating Separation Logic - Modular Verification of Red-Black Trees
    Schellhorn, Gerhard
    Bodenmueller, Stefan
    Bitterlich, Martin
    Reif, Wolfgang
    VERIFIED SOFTWARE. THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2022, 2023, 13800 : 129 - 147
  • [26] Auto-Active Proof of Red-Black Trees in SPARK
    Dross, Claire
    Moy, Yannick
    NASA FORMAL METHODS (NFM 2017), 2017, 10227 : 68 - 83
  • [27] Brief Announcement: A Concurrent Lock-Free Red-Black Tree
    Natarajan, Aravind
    Mittal, Neeraj
    DISTRIBUTED COMPUTING, 2013, 8205 : 563 - 564
  • [28] Placement with symmetry constraints for analog layout using red-black trees
    Maruvada, SC
    Krishnamoorthy, K
    Annojvala, S
    Balasa, F
    PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL V: BIO-MEDICAL CIRCUITS & SYSTEMS, VLSI SYSTEMS & APPLICATIONS, NEURAL NETWORKS & SYSTEMS, 2003, : 489 - 492
  • [29] An Approach to Hash based Rule Mining using Red-Black Trees
    Singh, Archana
    2015 1ST INTERNATIONAL CONFERENCE ON NEXT GENERATION COMPUTING TECHNOLOGIES (NGCT), 2015, : 698 - 702
  • [30] Red-black interval trees in device-level analog placement
    Maruvada, SC
    Krishnamoorthy, K
    Balasa, F
    Ionescu, LM
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2003, E86A (12) : 3127 - 3135