Snap-stabilization in message-passing systems

In this announcement, we report recent results where we address the open problem of snap-stabilization in message-passing systems.

[1]  Sébastien Tixeuil,et al.  Self-stabilizing algorithms , 2010 .

[2]  Mohamed G. Gouda,et al.  Stabilizing Communication Protocols , 1991, IEEE Trans. Computers.

[3]  Stéphane Devismes,et al.  Snap-Stabilizing Detection of Cutsets , 2005, HiPC.

[4]  Edsger W. Dijkstra,et al.  Self-stabilizing systems in spite of distributed control , 1974, CACM.

[5]  Shlomi Dolev,et al.  Self-stabilizing and Self-organizing Distributed Algorithms , 2006 .

[6]  Yehuda Afek,et al.  Self-stabilizing unidirectional network algorithms by power-supply , 1997, SODA '97.

[7]  Sébastien Tixeuil,et al.  Self-Stabilizing Systems , 2003, Lecture Notes in Computer Science.

[8]  Ajoy Kumar Datta,et al.  Optimal snap-stabilizing PIF algorithms in un-oriented trees , 2005, J. High Speed Networks.

[9]  Bowen Alpern,et al.  Defining Liveness , 1984, Inf. Process. Lett..

[10]  Vincent Villain,et al.  An Improved Snap-Stabilizing PIF Algorithm , 2003, Self-Stabilizing Systems.

[11]  W DijkstraEdsger.  Self-stabilizing systems in spite of distributed control , 1974 .

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

[13]  Ajoy Kumar Datta,et al.  Snap-stabilization and PIF in tree networks , 2007, Distributed Computing.

[14]  Shlomi Dolev,et al.  Empire of Colonies: Self-stabilizing and Self-organizing Distributed Algorithms , 2006, OPODIS.

[15]  Sébastien Tixeuil,et al.  Self-Stabilization with r-Operators revisited , 2005, J. Aerosp. Comput. Inf. Commun..

[16]  George Varghese,et al.  The fault span of crash failures , 2000, JACM.

[17]  Shmuel Katz,et al.  Self-stabilizing extensions for message-passing systems , 1990, PODC '90.

[18]  Franck Petit,et al.  Enabling snap-stabilization , 2003, 23rd International Conference on Distributed Computing Systems, 2003. Proceedings..

[19]  Ajoy Kumar Datta,et al.  Snap-stabilizing PIF algorithm in arbitrary networks , 2002, Proceedings 22nd International Conference on Distributed Computing Systems.

[20]  Franck Petit,et al.  Optimal snap-stabilizing depth-first token circulation in tree networks , 2007, J. Parallel Distributed Comput..

[21]  Stéphane Devismes,et al.  Light enabling snap-stabilization of fundamental protocols , 2009, TAAS.

[22]  Adrian Segall,et al.  Distributed network protocols , 1983, IEEE Trans. Inf. Theory.

[23]  Ajoy Kumar Datta,et al.  State-optimal snap-stabilizing PIF in tree networks , 1999, Proceedings 19th IEEE International Conference on Distributed Computing Systems.

[24]  Ajoy Kumar Datta,et al.  Optimal Snap-Stabilizing Neighborhood Synchronizer in Tree Networks , 2002, Parallel Process. Lett..

[25]  Ernest J. H. Chang,et al.  Echo Algorithms: Depth Parallel Operations on General Graphs , 1982, IEEE Transactions on Software Engineering.

[26]  Sébastien Tixeuil,et al.  Self-Stabilizing Systems: 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 (Lecture Notes in Computer Science) , 2005 .

[27]  Boaz Patt-Shamir,et al.  Self-stabilization by local checking and correction , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[28]  Stéphane Devismes,et al.  A Snap-Stabilizing DFS with a Lower Space Requirement , 2005, Self-Stabilizing Systems.

[29]  Bowen Alpern,et al.  Recognizing safety and liveness , 2005, Distributed Computing.

[30]  George Varghese.  Self-stabilization by counter flushing , 1994, PODC '94.

[31]  Ajoy Kumar Datta,et al.  Self-stabilizing PIF algorithm in arbitrary rooted networks , 2001, Proceedings 21st International Conference on Distributed Computing Systems.

[32]  Ajoy Kumar Datta,et al.  Snap-Stabilizing Optimal Binary Search Tree , 2005, Self-Stabilizing Systems.

[33]  Boaz Patt-Shamir,et al.  A Time-Optimal Self-Stabilizing Synchronizer Using A Phase Clock , 2007, IEEE Transactions on Dependable and Secure Computing.

[34]  Sukumar Ghosh,et al.  A Framework of Safe Stabilization , 2003, Self-Stabilizing Systems.

[35]  Anish Arora,et al.  Unifying stabilization and termination in message-passing systems , 2001, Proceedings 21st International Conference on Distributed Computing Systems.

[36]  Mikhail J. Atallah,et al.  Algorithms and Theory of Computation Handbook , 2009, Chapman & Hall/CRC Applied Algorithms and Data Structures series.

[37]  Franck Petit,et al.  Snap-Stabilizing Depth-First Search on Arbitrary Networks , 2004, OPODIS.

[38]  Arobinda Gupta,et al.  Fault-containing self-stabilizing distributed protocols , 2007, Distributed Computing.

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

[40]  Franck Petit,et al.  Snap-Stabilizing PIF Algorithm in Tree Networks Without Sense Of Direction , 2007 .

[41]  Masaaki Mizuno,et al.  Finite-State Self-Stabilizing Protocols in Message-Passing Systems , 1999, J. Parallel Distributed Comput..

[43]  Shlomi Dolev,et al.  SuperStabilizing protocols for dynamic distributed systems , 1995, PODC '95.

[44]  Yehuda Afek,et al.  Self-stabilization over unreliable communication media , 2005, Distributed Computing.

[45]  Valmir Carneiro Barbosa,et al.  An introduction to distributed algorithms , 1996 .

[46]  Stéphane Devismes,et al.  Snap-stabilizing PIF and useless computations , 2006, 12th International Conference on Parallel and Distributed Systems - (ICPADS'06).