Recoverable and Detectable Fetch&Add

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

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

3 Scopus citations


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
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
ISSN (Print)1868-8969


Conference25th International Conference on Principles of Distributed Systems, OPODIS 2021


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

ASJC Scopus subject areas

  • Software


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

Cite this