Efficient Lock-Free Durable Sets

v1v2 (latest)

Efficient Lock-Free Durable Sets

2 September 2019

Michal Friedman

ArXiv (abs)PDF HTML

Papers citing "Efficient Lock-Free Durable Sets"

13 / 13 papers shown

Title
The Fence Complexity of Persistent Sets Gaetano Coccimiglio Trevor Brown Yu Yang 76 0 0 11 Sep 2023
Recoverable and Detectable Self-Implementations of Swap Tomer Lev Lehman Hagit Attiya Danny Hendler 36 1 0 07 Aug 2023
Transactional Composition of Nonblocking Data Structures Wentao Cai Haosen Wen M. Scott 22 3 0 03 Jan 2023
EEMARQ: Efficient Lock-Free Range Queries with Memory Reclamation Gali Sheffi P. Ramalhete E. Petrank VLM LRM 57 7 0 31 Oct 2022
Performance Anomalies in Concurrent Data Structure Microbenchmarks Rosina Kharal Trevor Brown 35 3 0 17 Aug 2022
Practical Detectability for Persistent Lock-Free Data Structures K. Cho Seungmin Jeon Jeehoon Kang 35 2 0 15 Mar 2022
FliT: A Library for Simple and Efficient Persistent Algorithms Yuanhao Wei N. Ben-David Michal Friedman G. Blelloch E. Petrank VLM 108 16 0 09 Aug 2021
Fast Nonblocking Persistence for Concurrent Data Structures Wentao Cai Haosen Wen Vladimir Maksimovski Mingzhe Du Rafaello Sanna Shreif Abdallah M. Scott 19 6 0 20 May 2021
Durable Queues: The Second Amendment G. Sela E. Petrank 25 6 0 18 May 2021
Taming x86-TSO Persistency (Extended Version) Artem Khyzha O. Lahav 15 1 0 26 Oct 2020
Montage: A General System for Buffered Durably Linearizable Data Structures Haosen Wen Wentao Cai Mingzhe Du Louis Jenkins Benjamin Valpey M. Scott 22 5 0 29 Sep 2020
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory Eleni Bila Simon Doherty Brijesh Dongol J. Derrick G. Schellhorn Heike Wehrheim 13 8 0 17 Apr 2020
Tracking in Order to Recover: Detectable Recovery of Lock-Free Data Structures Hagit Attiya Ohad Ben-Baruch P. Fatourou Danny Hendler Eleftherios Kosmas 44 8 0 31 May 2019