Resource bounds for self-stabilizing message-driven protocols

SIAM Journal on Computing

Volumn 26, Issue 1, 1997, Pages 273-290

  Dolev, Shlomi ^a   Israeli, Amos ^b   Moran, Shlomo ^c  

^a BEN GURION UNIVERSITY OF THE NEGEV   (Israel)

^b INTEL CORPORATION   (Israel)

^c TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

Message passing; Self stabilization; Shared memory; Token passing

Indexed keywords

EID: 0000341575     PISSN: 00975397     EISSN: None     Source Type: Journal    
DOI: 10.1137/S0097539792235074     Document Type: Article

References (24)

1. Y. AFEK AND G. M. BROWN, Self-stabilization of the alternating-bit protocol, Distrib. Comput., 7 (1993), pp. 27-34.
2. G. M. BROWN, M. G. GOUDA, AND C. L. WU, A self-stabilizing token system, IEEE Trans. Comput., 38 (1989), pp. 845-852.
3. J. BURNS, M. G. GOUDA, AND R. E. MILLER, Stabilization and pseudo stabilization, Distrib. Comput., 7 (1993), pp. 35-42.
4. J. E. BURNS AND J. PACHL, Uniform self-stabilizing rings, ACM Trans. Programing Lang. Systems, 11 (1989), pp. 330-344.
5. K. A. BARTLET, R. A. SCANTLEBURY, AND P. T. WILKINSON, A note on reliable full-duplex transmission over half-duplex links, Comm. Assoc. Comput. Mach., 12 (1969), pp. 260-261.
6. J. E. BURNS, Self-stabilizing rings without demons, Technical report GIT-ICS-87/36, Georgia Institute of Technology, Atlanta, 1987.
7. E. W. DIJKSTRA, Self-stabilizing systems in spite of distributed control, Comm. Assoc. Comput. Mach., 17 (1974), pp. 643-644.
8. E. W. DIJKSTRA, Self-stabilizing systems in spite of distributed control (EWD391), reprinted in Selected Writing on Computing: A Personal Perspective, Springer-Verlag, Berlin, 1982, pp. 41-46.
9. S. DOLEV, A. ISRAELI, AND S. MORAN, Self stabilization of dynamic systems assuming only read/write atomicity, Distrib. Comput., 7 (1993), pp. 3-16.
10. S. DOLEV, A. ISRAELI, AND S. MORAN, Resource bounds for self stabilization message driven protocols, in Proc. 10th Annual ACM Symposium on Principles of Distributed Computing, ACM, New York, 1991, pp. 281-294.
11. S. DOLEV, A. ISRAELI, AND S. MORAN, Uniform dynamic self-stabilizing leader election, in Proc. 5th International Workshop on Distributed Algorithms, Springer-Verlag, Berlin, 1991, pp. 167-179; IEEE Trans. Parallel Distrib. Systems, to appear.
12. S. DOLEV, A. ISRAELI, AND S. MORAN, Uniform dynamic self-stabilizing leader election, in Proc. 5th International Workshop on Distributed Algorithms, Springer-Verlag, Berlin, 1991, pp. 167-179; IEEE Trans. Parallel Distrib. Systems, to appear.
13. D. DOLEV AND D. KOLLER, Token survival, preprint, 1986.
14. M. G. GOUDA AND N. J. MULTARI, Stabilizing communication protocols, IEEE Trans. Comput., 40 (1991), pp. 448-458.
15. A. ISRAELI AND M. JALFON, Token management schemes and random walks yield self stabilizing mutual exclusion, in Proc. 9th ACM Symposium on Principles of Distributed Computing, ACM, New York, 1990, pp. 119-131.
16. A. ISRAELI AND M. JALFON, Self-stabilizing ring orientation, in Proc. 4th International Workshop on Distributed Algorithms, Springer-Verlag, Berlin, 1990, pp. 1-14; Inform. and Comput., 104 (1993), pp. 175-196.
17. A. ISRAELI AND M. JALFON, Self-stabilizing ring orientation, in Proc. 4th International Workshop on Distributed Algorithms, Springer-Verlag, Berlin, 1990, pp. 1-14; Inform. and Comput., 104 (1993), pp. 175-196.
18. S. KATZ AND K. J. PERRY, Self-stabilizing extensions for message-passing systems, Distrib. Comput., 7 (1993), pp. 17-26.
19. H. S. M. KRUIJER, Self-stabilization (in spite of distributed control) in tree-structured systems, Inform. Process. Lett., 8 (1979), pp. 91-95.
20. L. LAMPORT, Time, clocks, and the ordering of events in a distributed system, Comm. Assoc. Comput. Mach., 21 (1978), pp. 558-565.
21. L. LAMPORT, Solved problems, unsolved problems, and nonproblems in concurrency, in Proc. 3rd ACM Symposium on Principles of Distributed Computing, ACM, New York, 1984, pp. 1-11.
22. L. LAMPORT, On interprocess communication, part I: Basic formalism, Distrib. Comput. 1 (1986), pp. 77-85.
23. M. MULTARI, Toward a theory for self-stabilizing protocols, Ph.D. dissertation, Department of Computer Science, University of Texas at Austin, Austin, TX, 1989.
24. M. TCHUENTE, Sur l'auto-stabilisation dans un réseau d'ordinateurs, RAIRO Inform. Théor., 15 (1981), pp. 47-66.