Efficient lock-free durable sets

Y Zuriel, M Friedman, G Sheffi, N Cohen… - Proceedings of the ACM …, 2019 - dl.acm.org
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 …

[图书][B] Shared-memory synchronization

ML Scott, T Brown - 2013 - Springer
This monograph grows out of nearly 40 years of experience in synchronization and
concurrent data structures. Though written primarily from the perspective of systems …

NBR: Neutralization based reclamation

A Singh, T Brown, A Mashtizadeh - … on Principles and Practice of Parallel …, 2021 - dl.acm.org
Safe memory reclamation (SMR) algorithms suffer from a trade-off between bounding
unreclaimed memory and the speed of reclamation. Hazard pointer (HP) based algorithms …

Vbr: Version based reclamation

G Sheffi, M Herlihy, E Petrank - … of the 33rd ACM Symposium on …, 2021 - dl.acm.org
Safe lock-free memory reclamation is a difficult problem. Existing solutions follow three basic
methods: epoch based reclamation, hazard pointers, and optimistic reclamation. Epoch …

Universal wait-free memory reclamation

R Nikolaev, B Ravindran - Proceedings of the 25th ACM SIGPLAN …, 2020 - dl.acm.org
In this paper, we present a universal memory reclamation scheme, Wait-Free Eras (WFE), for
deleted memory blocks in wait-free concurrent data structures. WFE's key innovation is that it …

Simple, Fast and Widely Applicable Concurrent Memory Reclamation via Neutralization

A Singh, TA Brown… - IEEE Transactions on …, 2023 - ieeexplore.ieee.org
Reclaiming memory in non-blocking dynamic data structures in unmanaged languages like
C/C++ presents a unique challenge due to the risk of use-after-free errors caused by …

OrcGC: automatic lock-free memory reclamation

A Correia, P Ramalhete, P Felber - … on Principles and Practice of Parallel …, 2021 - dl.acm.org
Dynamic lock-free data structures require a memory reclamation scheme with a similar
progress. Until today, lock-free schemes are applied to data structures on a case-by-case …

A marriage of pointer-and epoch-based reclamation

J Kang, J Jung - Proceedings of the 41st ACM SIGPLAN Conference on …, 2020 - dl.acm.org
All pointer-based nonblocking concurrent data structures should deal with the problem of
safe memory reclamation: before reclaiming a memory block, a thread should ensure no …

Applying hazard pointers to more concurrent data structures

J Jung, J Lee, J Kim, J Kang - Proceedings of the 35th ACM Symposium …, 2023 - dl.acm.org
Hazard pointers is a popular semi-manual memory reclamation scheme for concurrent data
structures, where each accessing thread announces protection of each object to access and …

The era theorem for safe memory reclamation

G Sheffi, E Petrank - Proceedings of the 2023 ACM Symposium on …, 2023 - dl.acm.org
Safe memory reclamation (SMR) schemes for concurrent data structures offer trade-offs
between three desirable properties: ease of integration, robustness, and applicability. In this …