Tracking in Order to Recover - Detectable Recovery of Lock-Free Data Structures

Hagit Attiya, Ohad Ben-Baruch, Panagiota Fatourou, Danny Hendler, Eleftherios Kosmas

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

Abstract

We present the tracking approach for deriving detectable implementations of many widely-used concurrent data structures for systems with non-volatile main memory (NVRAM). Detectable recovery ensures that in the crash-recovery model, every operation executed during a crash, resumes its execution and returns a correct response, and that the state of the data structure is not corrupted.

Original languageEnglish
Title of host publicationSPAA 2020 - Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures
PublisherAssociation for Computing Machinery
Pages503-505
Number of pages3
ISBN (Electronic)9781450369350
DOIs
StatePublished - 6 Jul 2020
Externally publishedYes
Event32nd ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2020 - Virtual, Online, United States
Duration: 15 Jul 202017 Jul 2020

Publication series

NameAnnual ACM Symposium on Parallelism in Algorithms and Architectures

Conference

Conference32nd ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2020
Country/TerritoryUnited States
CityVirtual, Online
Period15/07/2017/07/20

Keywords

  • detectability
  • non-volatile memory
  • recoverable algorithms

Fingerprint

Dive into the research topics of 'Tracking in Order to Recover - Detectable Recovery of Lock-Free Data Structures'. Together they form a unique fingerprint.

Cite this