Pragmatic self-stabilization of atomic memory in message-passing systems

Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Abstract

A fault-tolerant and stabilizing simulation of an atomic register is presented. The simulation works in asynchronous message-passing systems, and allows a minority of processes to crash. The simulation stabilizes in a pragmatic manner, by reaching a long execution in which it runs correctly. A key element in the simulation is a new combinatorial construction of a bounded labeling scheme accommodating arbitrary labels, including those not generated by the scheme itself.

Original languageEnglish (US)
Title of host publicationStabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Proceedings
Pages19-31
Number of pages13
DOIs
StatePublished - Oct 21 2011
Externally publishedYes
Event13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2011 - Grenoble, France
Duration: Oct 10 2011Oct 12 2011

Publication series

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

Other

Other13th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2011
CountryFrance
CityGrenoble
Period10/10/1110/12/11

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Pragmatic self-stabilization of atomic memory in message-passing systems'. Together they form a unique fingerprint.

  • Cite this

    Alon, N., Attiya, H., Dolev, S., Dubois, S., Potop-Butucaru, M., & Tixeuil, S. (2011). Pragmatic self-stabilization of atomic memory in message-passing systems. In Stabilization, Safety, and Security of Distributed Systems - 13th International Symposium, SSS 2011, Proceedings (pp. 19-31). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6976 LNCS). https://doi.org/10.1007/978-3-642-24550-3_4