Crash resilient and pseudo-stabilizing atomic registers

Shlomi Dolev, Swan Dubois, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil

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

5 Scopus citations

Abstract

We propose a crash safe and pseudo-stabilizing algorithm for implementing an atomic memory abstraction in a message passing system. Our algorithm is particularly appealing for multi-core architectures where both processors and memory contents (including stale messages in transit) are prone to errors and faults. Our algorithm extends the classical fault-tolerant implementation of atomic memory that was originally proposed by Attiya, Bar-Noy, and Dolev (ABD) to a stabilizing setting where memory can be initially corrupted in an arbitrary manner. The original ABD algorithm provides no guaranties when started in such a corrupted configuration. Interestingly, our scheme preserves the same properties as ABD when there are no transient faults, namely the linearizability of operations. When started in an arbitrarily corrupted initial configuration, we still guarantee eventual yet suffix-closed linearizability.

Original languageEnglish
Title of host publicationPrinciples of Distributed Systems - 16th International Conference, OPODIS 2012, Proceedings
Pages135-150
Number of pages16
DOIs
StatePublished - 1 Dec 2012
Event16th International Conference on Principles of Distributed Systems, OPODIS 2012 - Rome, Italy
Duration: 18 Dec 201220 Dec 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7702 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference16th International Conference on Principles of Distributed Systems, OPODIS 2012
Country/TerritoryItaly
CityRome
Period18/12/1220/12/12

Keywords

  • Atomic Register
  • Fault-Tolerance
  • Pseudo-Stabilization

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Crash resilient and pseudo-stabilizing atomic registers'. Together they form a unique fingerprint.

Cite this