The ERA Theorem for Safe Memory Reclamation
From MaRDI portal
Publication:6202230
DOI10.1145/3583668.3594564arXiv2211.04351OpenAlexW4380881578WikidataQ130953085 ScholiaQ130953085MaRDI QIDQ6202230FDOQ6202230
Authors: Erez Petrank
Publication date: 26 March 2024
Published in: Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing (Search for Journal in Brave)
Abstract: Safe memory reclamation (SMR) schemes for concurrent data structures offer trade-offs between three desirable properties: ease of integration, robustness, and applicability. In this paper we rigorously define SMR and these three properties, and we present the ERA theorem, asserting that any SMR scheme can only provide at most two of the three properties.
Full work available at URL: https://arxiv.org/abs/2211.04351
Cites Work
- Black-Box Concurrent Zero-Knowledge Requires (Almost) Logarithmically Many Rounds
- Impossibility of distributed consensus with one faulty process
- Title not available (Why is that?)
- Lock-free reference counting
- Verifying Concurrent Memory Reclamation Algorithms with Grace
- Upper and Lower Bounds on the Space Complexity of Detectable Objects
- Nesting-Safe Recoverable Linearizability
This page was built for publication: The ERA Theorem for Safe Memory Reclamation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6202230)