Self-stabilization by counter flushing

SIAM Journal on Computing

Volumn 30, Issue 2, 2000, Pages 486-510

  Varghese, George ^a,b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b WASHINGTON UNIVERSITY   (United States)

Author keywords

Distributed algorithms; Self stabilization

Indexed keywords

ALGORITHMS; DISTRIBUTED COMPUTER SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS); ROBUSTNESS (CONTROL SYSTEMS); STABILIZATION; TELECOMMUNICATION LINKS;

COUNTER FLUSHING; REQUEST-RESPONSE PROTOCOLS;

NETWORK PROTOCOLS;

EID: 0343337503     PISSN: 00975397     EISSN: None     Source Type: Journal    
DOI: 10.1137/S009753979732760X     Document Type: Article

References (32)

1. Y. AFEK, B. AWERBUCH, AND E. GAFNI, Applying static network protocols to dynamic networks, in Proceedings of the 28th IEEE Symposium on Foundations of Computer Science, IEEE Computer Society, Los Alamitos, CA, 1987, pp. 358-370.
2. Y. AFEK AND G. BROWN, Self-stabilization over unreliable communication media, Distrib. Comput., 7 (1993), pp. 27-34.
3. B. AWERBUCH AND S. EVEN, A Formal Approach to a Communication-Network Protocol; Broadcast as a Case Study, Technical Report TR-459, Electrical Engineering Department, Technion, Haifa, Israel, 1983.
4. A. ARORA AND M. GOUDA, Distributed reset, IEEE Trans. Comput., 43 (1994), pp. 1026-1038.
5. A. ARORA, M. GOUDA, AND G. VARGHESE, Constraint satisfaction as a basis for designing nonmasking fault-tolerance, in Proceedings of the 14th International Conference on Distributed Computing Systems, IEEE Computer Society, Los Alamitos, CA, 1994, pp. 424-431.
6. S. AGGARWAL AND S. KUTTEN, Time optimal self-stabilizing spanning tree algorithm, in Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Comput. Sci. 761, Springer-Verlag, New York, 1993, pp. 400-410.
7. B. AWERBUCH, S. KUTTEN, Y. MANSOUR, B. PATT-SHAMIR, AND G. VARGHESE, Time optimal self-stabilizing synchronization, in Proceedings of the 25th ACM Symposium on Theory of Computing, San Diego, CA, 1993, pp. 652-661.
8. B. AWERBUCH, B. PATT-SHAMIR, AND G. VARGHESE, Self-stabilization by local checking and correction, in Proceedings of the 32nd IEEE Symposium on Foundations of Computer Science, San Juan, PR, 1991, pp. 268-277.
9. E. CHANG, Echo algorithms: Depth parallel operations on general graphs, IEEE Trans. Software Engrg., 8 (1982), pp. 391-401.
10. A. COSTELLO AND G. VARGHESE, The FDDI MAC meets self-stabilization, in Proceedings of the Fourth IEEE Workshop on Self Stabilizing Systems, Austin, TX, 1999, pp. 1-9.
11. A. COSTELLO AND G. VARGHESE, Self-stabilization by window washing, in Proceedings of the 15th Annual ACM Symposium on Principles of Distributed Computing, Philadelphia, PA, 1996, pp. 35-44.
12. E. DIJKSTRA, Self stabilization in spite of distributed control, Comm. ACM, 17 (1974), pp. 643-644.
13. S. DOLEV, A. ISRAELI, AND S. MORAN, Resource bounds for self stabilizing message driven protocols, in Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing, Los Angeles, CA, 1991, pp. 281-293.
14. S. DOLEV, A. ISRAELI, AND S. MORAN, Self-stabilization of dynamic systems assuming only read/write atomicity, Distrib. Comput., 7 (1993), pp. 3-16.
15. S. DOLEV, Optimal time self-stabilization uniform dynamic systems, in Sixth International Conference on Parallel and Distributed Computing and Systems, Washington, DC, 1994, pp. 25-28.
16. S. FINN, Resynch procedures and a fail-safe network protocol, IEEE Trans. Comm., COM-27 (1979), pp. 840-845.
17. M. GOUDA, Stabilizing observers. Inform. Process. Lett., 52 (1994), pp. 99-103.
18. G. ITKIS AND L. LEVIN, Fast and lean self-stabilizing asynchronous protocols, in Proceedings of the 35th Annual IEEE Symposium on Foundations of Computer Science, Santa Fe, NM, 1994, pp. 226-239.
19. S. KATZ AND K. PERRY Self-stabilizing extensions for message-passing systems, Distrib. Comput., 7 (1993), pp. 17-26.
20. L. LAMPORT, R. SHOSTAK, AND M. PEASE, The Byzantine generals problem, ACM Trans. Programming Languages and Systems, 4 (1982), pp. 382-401.
21. N. LYNCH AND M. TUTTLE, An introduction to input/output automata, CWI Quarterly, 2 (1989), pp. 219-246.
22. M. SCHROEDER, A. BIRRELL, M. BURROWS, H. MURRAY, R. NEEDHAM, T. RODEHEFFER, E. SATTENTHWAITE, AND C. THACKER, Autonet: A High-Speed, Self-Configuring Local Area Network Using Point-to-Point Links, Technical Report 59, Digital Systems Research Center, Palo Alto, CA, 1990.
23. R. PERLMAN, Fault tolerant broadcast of routing information, Comput. Networks, 7 (1983), pp. 395-405.
24. R. PERLMAN, Network Layer Protocols with Byzantine Robustness, Ph.D. thesis, Laboratory for Computer Science, MIT, Cambridge, MA, 1988.
25. E. ROSEN, Vulnerabilities of network control protocols: An example, Comput. Commun. Rev., 1981.
26. M. SCHNEIDER, Self-stabilization, ACM Comput. Surveys, 25 (1993), pp. 45-67.
27. A. SEGALL, Distributed network protocols, IEEE Trans. Inform. Theory, 29 (1983), pp. 23-35.
28. J. SPINELLI, Reliable Communication, Ph.D. thesis, Laboratory for Information and Decision Systems, MIT, Cambridge, MA, 1988.
29. A. TANNENBAUM, Computer Networks, Prentice-Hall, Englewood Cliffs, NJ, 1993.
30. G. TEL, The Structure of Distributed Algorithms, Cambridge University Press, Cambridge, UK, 1989.
31. G. VARGHESE, Self-Stabilization by Local Checking and Correction, Ph.D. thesis, Technical Report MIT/LCS/TR-583, Laboratory for Computer Science, MIT, Cambridge, MA, 1993.
32. G. VARGHESE, Self-stabilization by counter flushing, in Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing, Los Angeles, CA, 1994, pp. 244-253.