Enabling snap-stabilization

Proceedings - International Conference on Distributed Computing Systems

Volumn , Issue , 2003, Pages 12-19

  Cournier, Alain ^a   Datta, Ajoy K ^b   Petit, Franck ^a   Villain, Vincent ^a  

^a UNIVERSITÉ DE PICARDIE JULES VERNE   (France)

^b UNIVERSITY OF NEVADA   (United States)

Author keywords

Fault tolerance; Leader election; Propagation of information with feedback; Reset protocols; Self stabilization; Snap stabilization; Snapshot

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; DISTRIBUTED COMPUTER SYSTEMS; ELECTROMAGNETIC WAVE PROPAGATION; FAULT TOLERANT COMPUTER SYSTEMS; THEOREM PROVING;

LEADER ELECTION; PROPAGATION OF INFORMATION WITH FEEDBACK; RESET PROTOCOLS; SELF-STABILIZATION; SNAP-STABILIZATION; SNAPSHOT;

NETWORK PROTOCOLS;

EID: 0037630650     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. Y. Afek, S. Kutten, and M. Yung. Memory-efficient self-stabilization on general networks. In WDAG90 Distributed Algorithms 4th International Workshop Proceedings, Springer-Verlag LNCS:486, pages 15-28, 1990.
2. L. O. Alima, J. Beauquier, A. K. Datta, and S. Tixeuil. Self-stabilization with global rooted synchronizers. In ICDCS98 Proceedings of the 18th International Conference on Distributed Computing Systems, pages 102-109, 1998.
3. A. Arora and M. Gouda. Distributed reset. IEEE Transactions on Computers, 43:1026-1038, 1994.
4. B. Awerbuch, S. Kutten, Y. Mansour, B. Patt-Shamir, and G. Varghese. Time optimal self-stabilizing synchronization. In STOC93 Proceedings of the 25th Annual ACM Symposium on Theory of Computing, pages, 652-661, 1993.
5. B. Awerbuch, B. Patt-Shamir, and G. Varghese. Self-stabilization by local checking and correction. In FOCS91 Proceedings of the 31st Annual IEEE Symposium on Foundations of Computer Science, pages 268-277, 1991.
6. B. Awerbuch and G. Varghese. Distributed program checking: a paradigm for building self-stabilizing distributed protocols. In FOCS91 Proceedings of the 31st Annual IEEE Symposium on Foundations of Computer Science, pages 258-267, 1991.
7. A. Bui, A. Datta, F. Petit, and V. Villain. Snap-stabilizing PIF algorithm in tree networks without sense of direction. In SIROCCO'99, The 6th International Colloquium On Structural Information and Communication Complexity Proceedings, pages 32-46. Carleton University Press, 1999.
8. A. Bui, A. Datta, F. Petit, and V. Villain. State-optimal snap-stabilizing PIF in tree networks. In Proceedings of the Forth Workshop on Self-Stabilizing Systems, pages 78-85. IEEE Computer Society Press, 1999.
9. K. Chandy and L. Lamport. Distributed snapshots: determining global states od distributed systems. ACM Transactions on Computers Systems, 3(1):63-75, 1985.
10. E. Chang. Echo algorithms: depth parallel operations on general graphs. IEEE Transactions on Software Engineering, SE-8:391-401, 1982.
11. A. Cournier, A. Datta, F. Petit, and V. Villain. Self-stabilizing PIF algorithm in arbitrary rooted networks. In 21st International Conference on Distributed Computing Systems (ICDCS-21), pages 91-98. IEEE Computer Society Press, 2001.
12. A. Cournier, A. Datta, F. Petit, and V. Villain. Snap-stabilizing PIF algorithm in arbitrary networks. In 22st International Conference on Distributed Computing Systems (ICDCS-22), pages 199-206. IEEE Computer Society Press, 2002.
13. E. Dijkstra. Self stabilizing systems in spite of distributed control. Communications of the Association of the Computing Machinery, 17:643-644, 1974.
14. S. Dolev, A. Israeli, and S. Moran. Uniform dynamic self-stabilizing leader election. IEEE Transactions on Parallel and Distributed Systems, 8(4):424-440, 1997.
15. S. Katz and K. Perry. Self-stabilizing extensions for message-passing systems. Distributed Computing, 7:17-26, 1993.
16. H. Kruijer. Self-stabilization (in spite of distributed control) in tree-structured systems. Information Processing Letters, 8:91-95, 1979.
17. F. Petit and V. Villain. Time and space optimality of distributed depth-first token circulation algorithms. In Proceedings of DIMACS Workshop on Distributed Data and Structures, pages 91-96. Carleton University Press, 1999.
18. A. Segall. Distributed network protocols. IEEE Transactions on Information Theory, IT-29:23-35, 1983.
19. G. Varghese. Self-stabilization by local checking and correction (Ph.D. thesis). Technical Report MIT/LCS/TR-583, MIT, 1993.
20. G. Varghese. Self-stabilization by counter flushing. In PODC94 Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, pages 244-253, 1994.