POSTER: 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 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 publicationPPoPP 2023 - Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
Pages435-437
Number of pages3
ISBN (Electronic)9798400700156
DOIs
StatePublished - 25 Feb 2023
Event28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, PPoPP 2023 - Montreal, Canada
Duration: 25 Feb 20231 Mar 2023

Publication series

NameProceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP

Conference

Conference28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, PPoPP 2023
Country/TerritoryCanada
CityMontreal
Period25/02/231/03/23

Keywords

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

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint

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

Cite this