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

Abstract

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
Pages (from-to)692-701
Number of pages10
JournalJournal of Computer and System Sciences
Volume81
Issue number4
DOIs
StatePublished - 1 Jun 2015

Keywords

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

Fingerprint

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

Cite this