Optimal snap-stabilizing neighborhood synchronizer in tree networks

Parallel Processing Letters

Volumn 12, Issue 3-4, 2002, Pages 327-340

  Johnen, Colette ^a   Alima, Luc O ^b   Datta, Ajoy K ^c   Tixeuil, Sébastien ^a  

^a UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

^b UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

^c University of Nevada Las Vegas   (United States)

Author keywords

Broadcasting; Distributed algorithms; Self stabilization; Synchronizer

Indexed keywords

ALGORITHMS; BROADCASTING; SYSTEM STABILITY; SYSTEMS ANALYSIS; TREES (MATHEMATICS);

SELF-STABILIZATION; SYNCHRONIZER;

SYNCHRONIZATION;

EID: 0036764058     PISSN: 01296264     EISSN: None     Source Type: Journal    
DOI: 10.1142/s0129626402001026     Document Type: Article

References (28)

1. Y. Afek, S. Kutten, and M. Yung. Memory-efficient self-stabilization on general networks. In WDAG90 Distributed Algorithms 4th International Workshop Proceedings, Springer 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. S. Antonoiu and P. K. Srimani. Self-stabilizing protocol for mutual exclusion among neighboring nodes in a tree structured distributed system. Parallel Algorithms and Applications, 14(1):1-18, 1999.
4. A. Arora and M. Gouda. Distributed reset. IEEE Transactions on Computers, 43:1026-1038, 1994.
5. B. Awerbuch. Complexity of network synchronization. Journal of the Association of the Computing Machinery, 32(4):804-823, 1985.
6. 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.
7. 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.
8. 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.
9. J. Beauquier, A. K. Datta, M. Gradinariu, and F. Magniette. Self-stabilizing local mutual exclusion and daemon refinement. In DISC00 Distributed Computing 14th International Symposium, Springer LNCS: 1914, pages 223-237, 2000.
10. A. Bui, A. K. Datta, F. Petit, and V. Villain. Snap-stabilizing pif algorithms in tree networks without sense of direction. In Proceedings of SIROCCO'99, Carleton University Press, pages 32-46, 1999.
11. A. Bui, A. K Datta, F. Petit, and V. Villain. State-optimal snap-stabilizing PIF in tree networks. In Proceedings of the Fourth Workshop on Self-Stabilizing Systems (published in association with ICDCS99 The 19th IEEE International Conference on Distributed Computing Systems), pages 78-85. IEEE Computer Society, 1999.
12. J. E. Burns, M. G. Gouda, and R. E. Miller. On relaxing interleaving assumptions. In Proceedings of the MCC Workshop on Self-Stabilizing Systems, MCC Technical Report No. STP-379-89, 1989.
13. A. Cournier, A. K. Datta, F. Petit, and V. Villain. Snap-stabilizing pif algorithm in arbitrary networks. In Proceedings of ICDCS'02. IEEE Computer Society Press, 2002.
14. E. W. Dijkstra. Self stabilizing systems in spite of distributed control. Communications of the Association of the Computing Machinery, 17:643-644, 1974.
15. S. Dolev. Self-stabilization. The MIT Press, 2000.
16. 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.
17. M. G. Gouda and F. Haddix. The linear alternator. In Proceedings of the Third Workshop on Self-Stabilizing Systems, pages 31-47. Carleton University Press, 1997.
18. M. G. Gouda and F. Haddix. The alternator. In Proceedings of the Fourth Workshop on Self-Stabilizing Systems (published in association with ICDCS99 The 19th IEEE International Conference on Distributed Computing Systems), pages 48-53. IEEE Computer Society, 1999.
19. S. T. Huang. The fuzzy philosophers. In Proceedings of Workshop on Advances of Parallel and Distributed Computational Models, pages 130-136. LNCS 1800, 2000.
20. C. Johnen, L. O. Alima, A. K. Datta, and S. Tixeuil. Self-stabilizing neighborhood synchronizer in tree networks. In ICDCS99 The 19th IEEE International Conference on Distributed Computing Systems, pages 487-494, 1999.
21. H. S. M. Kruijer. Self-stabilization (in spite of distributed control) in tree-structured systems. Information Processing Letters, 8:91-95, 1979.
22. N. Lynch. Distributed algorithms. Morgan Kaufmann, 1996.
23. M. Mizuno and M. Nesterenko. A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments. Information Processing Letters, 66(6):285-290, 1998.
24. M. Nesterenko and A. Arora. Stabilization-preserving atomicity refinement. In DISC99 Distributed Computing 13th International Symposium, Springer LNCS: 1693, pages 254-268, 1999.
25. M. Raynal and J. M. Helary. Synchronization and Control of Distributed Systems and Programs. John Wiley and Sons, Chichester, UK, 1990.
26. G. Tel. Introduction to distributed algorithms. Cambridge University Press, 1994.
27. G. Varghese. Self-stabilization by local checking and correction (Ph.D thesis). Technical Report MIT/LCS/TR-583, MIT, 1993.
28. 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.