Efficient Lock-Free Durable Sets

被引：35

作者：

Zuriel, Yoav ^{[1
]}

Friedman, Michal ^{[1
]}

Sheffi, Gali ^{[1
]}

Cohen, Nachshon ^{[2
]}

Petrank, Erez ^{[1
]}

机构：

[1] Technion, CS Dept, Jerusalem, Israel

[2] Amazon, Jerusalem, Israel

来源：

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL | 2019年 / 3卷 / OOPSLA期

基金：

以色列科学基金会;

关键词：

Concurrent Data Structures; Non-Volatile Memory; Lock Freedom; Hash Maps; Durable Linearizability; Durable Sets; SAFE;

D O I：

10.1145/3360554

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Non-volatile memory is expected to co-exist or replace DRAM in upcoming architectures. Durable concurrent data structures for non-volatile memories are essential building blocks for constructing adequate software for use with these architectures. In this paper, we propose a new approach for durable concurrent sets and use this approach to build the most efficient durable hash tables available today. Evaluation shows a performance improvement factor of up to 3.3x over existing technology.

引用

页数：26

共 50 条

[21] Efficient Memory Management for Lock-Free Data Structures with Optimistic Access
Cohen, Nachshon
Petrank, Erez
SPAA'15: PROCEEDINGS OF THE 27TH ACM SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES, 2015, : 254 - 263
[22] Lock-Free Incremental Coordinate Descent
Mai, Vien V.
Johansson, Mikael
2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2017,
[23] Lock-Free Bucketized Cuckoo Hashing
Li, Wenhai
Cheng, Zhiling
Chen, Yuan
Li, Ao
Deng, Lingfeng
EURO-PAR 2023: PARALLEL PROCESSING, 2023, 14100 : 275 - 288
[24] Scalable Lock-Free FIFO Queues using Efficient Elimination Techniques
Kumar, V. V. N. Pavan
Gopinath, K.
COMPUTE'2012, 2012,
[25] LOCK-FREE GARBAGE COLLECTION FOR MULTIPROCESSORS
HERLIHY, MP
MOSS, JEB
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1992, 3 (03) : 304 - 311
[26] Lock-Free Transactional Adjacency List
Painter, Zachary
Peterson, Christina
Dechev, Damian
LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, LCPC 2017, 2019, 11403 : 203 - 219
[27] Formal Verification of Lock-Free Algorithms
Schellhorn, Gerhard
Baeumler, Simon
NINTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2009, : 13 - 18
[28] LFTHREADS A lock-free thread library
Gidenstam, Anders
Papatriantafilou, Marina
PRINCIPLES OF DISTRIBUTED SYSTEMS, PROCEEDINGS, 2007, 4878 : 217 - +
[29] Lock-free AntNets and their adaptability evaluations
Oida, Kazumasa
Kataoka, Akira
Electronics and Communications in Japan, Part I: Communications (English translation of Denshi Tsushin Gakkai Ronbunshi), 2001, 84 (02): : 51 - 61
[30] A Lock-Free Algorithm for Concurrent Bags
Sundell, Hakan
Gidenstam, Anders
Papatriantafilou, Marina
Tsigas, Philippas
SPAA 11: PROCEEDINGS OF THE TWENTY-THIRD ANNUAL SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES, 2011, : 335 - 344

← 1 2 3 4 5 →