The ERA Theorem for Safe Memory Reclamation

Gali Sheffi, Erez Petrank

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publicationPODC 2023 - Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing
Pages102-112
Number of pages11
ISBN (Electronic)9798400701214
DOIs
StatePublished - 19 Jun 2023
Event42nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, PODC 2023 - Orlando, United States
Duration: 19 Jun 202323 Jun 2023

Publication series

NameProceedings of the Annual ACM Symposium on Principles of Distributed Computing

Conference

Conference42nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, PODC 2023
Country/TerritoryUnited States
CityOrlando
Period19/06/2323/06/23

Keywords

  • concurrency
  • lock-freedom
  • robustness
  • safe memory reclamation

All Science Journal Classification (ASJC) codes

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Fingerprint

Dive into the research topics of 'The ERA Theorem for Safe Memory Reclamation'. Together they form a unique fingerprint.

Cite this