Recoverable and Detectable Fetch&Add

Liad Nahum, Hagit Attiya, Ohad Ben-Baruch, Danny Hendler

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

Abstract

The emergence of systems with non-volatile main memory (NVRAM) increases the need for persistent concurrent objects. Of specific interest are recoverable implementations that, in addition to being robust to crash-failures, are also detectable. Detectability ensures that upon recovery, it is possible to infer whether the failed operation took effect or not and, in the former case, obtain its response. This work presents two recoverable detectable Fetch&Add (FAA) algorithms that are self-implementations, i.e, use only a fetch&add base object, in addition to read/write registers. The algorithms target two different models for recovery: the global-crash model and the individual-crash model. In both algorithms, operations are wait-free when there are no crashes, but the recovery code may block if there are repeated failures. We also prove that in the individual-crash model, there is no implementation of recoverable and detectable FAA using only read, write and fetch&add primitives in which all operations, including recovery, are lock-free.

Original languageEnglish
Title of host publication25th International Conference on Principles of Distributed Systems, OPODIS 2021
EditorsQuentin Bramas, Vincent Gramoli, Vincent Gramoli, Alessia Milani
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (Electronic)9783959772198
DOIs
StatePublished - 1 Feb 2022
Event25th International Conference on Principles of Distributed Systems, OPODIS 2021 - Strasbourg, France
Duration: 13 Dec 202115 Dec 2021

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume217
ISSN (Print)1868-8969

Conference

Conference25th International Conference on Principles of Distributed Systems, OPODIS 2021
Country/TerritoryFrance
CityStrasbourg
Period13/12/2115/12/21

Keywords

  • Multi-core algorithms
  • Non-volatile memory
  • Persistent memory

Fingerprint

Dive into the research topics of 'Recoverable and Detectable Fetch&Add'. Together they form a unique fingerprint.

Cite this