Practically stabilizing SWMR atomic memory in message-passing systems

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.

[1]  Leslie Lamport,et al.  The part-time parliament , 1998, TOCS.

[2]  Lisa Higham,et al.  Fault-Tolerant Implementations of Regular Registers by Safe Registers with Applications to Networks , 2009, ICDCN.

[3]  Shlomi Dolev,et al.  Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments , 2001, WSS.

[4]  Amos Israeli,et al.  Bounded time-stamps , 1987, 28th Annual Symposium on Foundations of Computer Science (sfcs 1987).

[5]  Amos Israeli,et al.  Resource Bounds for Self-Stabilizing Message-Driven Protocols , 1997, SIAM J. Comput..

[6]  Nir Shavit,et al.  Bounded Concurrent Time-Stamping , 1997, SIAM J. Comput..

[7]  Boaz Patt-Shamir,et al.  Self-Stabilization by Local Checking and Global Reset (Extended Abstract) , 1994, WDAG.

[8]  Shlomi Dolev,et al.  Self Stabilization , 2004, J. Aerosp. Comput. Inf. Commun..

[9]  Shlomi Dolev,et al.  Self-stabilizing End-to-End Communication in (Bounded Capacity, Omitting, Duplicating and non-FIFO) Dynamic Networks - (Extended Abstract) , 2012, SSS.

[10]  Hagit Attiya,et al.  Sharing memory robustly in message-passing systems , 1990, PODC '90.

[11]  Uri Abraham,et al.  Self-stabilizing timestamps , 2003, Theor. Comput. Sci..

[12]  Jennifer L. Welch,et al.  Crash Resilient Communication in Dynamic Networks , 1997, IEEE Trans. Computers.

[13]  Shlomi Dolev,et al.  Spanders: distributed spanning expanders , 2010, SAC '10.

[14]  Shlomi Dolev,et al.  Self-Stabilizing Paxos , 2013, ArXiv.

[15]  Maria Gradinariu Potop-Butucaru,et al.  Stabilizing data-link over non-FIFO channels with optimal fault-resilience , 2010, Inf. Process. Lett..

[16]  Shlomi Dolev,et al.  When Consensus Meets Self-stabilization , 2006, OPODIS.

[17]  Maria Gradinariu Potop-Butucaru,et al.  Crash Resilient and Pseudo-Stabilizing Atomic Registers , 2012, OPODIS.

[18]  Hagit Attiya,et al.  Distributed Computing: Fundamentals, Simulations and Advanced Topics , 1998 .

[19]  Shlomi Dolev,et al.  Empire of colonies: Self-stabilizing and self-organizing distributed algorithm , 2009, Theor. Comput. Sci..

[20]  Anne-Marie Kermarrec,et al.  Implementing a Register in a Dynamic Distributed System , 2009, 2009 29th IEEE International Conference on Distributed Computing Systems.

[21]  Boaz Patt-Shamir,et al.  Self-stabilizing end-to-end communication , 1996, J. High Speed Networks.

[22]  Boaz Patt-Shamir,et al.  Bounding the Unbounded. , 1994, INFOCOM 1994.

[23]  Hagit Attiya.  Robust Simulation of Shared Memory: 20 Years After , 2010, Bull. EATCS.