Practically stabilizing SWMR atomic memory in message-passing systems

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

Research output: Contribution to journalArticlepeer-review

17 Scopus citations


A fault-tolerant and practically 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 practically stabilizing 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)
Pages (from-to)692-701
Number of pages10
JournalJournal of Computer and System Sciences
Issue number4
StatePublished - Jun 1 2015
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Networks and Communications
  • Computational Theory and Mathematics
  • Applied Mathematics


  • Message passing
  • Self-stabilization
  • Shared memory
  • Single writer multiple reader register


Dive into the research topics of 'Practically stabilizing SWMR atomic memory in message-passing systems'. Together they form a unique fingerprint.

Cite this