Dijkstra’s self-stabilizing algorithm in unsupportive environments

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2194, Issue , 2001, Pages 67-81

  Dolev, Shlomi ^a   Herman, Ted ^b  

^a BEN GURION UNIVERSITY OF THE NEGEV   (Israel)

^b University of Iowa   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MARKOV PROCESSES;

COMMON FEATURES; COMMUNICATION MODELING; DIJKSTRA; DIJKSTRA'S ALGORITHMS; READ/WRITE REGISTERS; SELF-STABILIZING ALGORITHM; SHARED VARIABLES;

ALGORITHMS;

EID: 84958962518     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45438-1_5     Document Type: Conference Paper

References (23)

1. A. Arora and M.G. Gouda, "Closure and convergence: a foundation of fault-tolerant computing," IEEE Transactions on Software Engineering, vol. 19(11), 1993, pp. 1015-1027.
2. A. Arora and S.S. Kulkarni, "Component based design of multitolerance," IEEE Transactions on Software Engineering, vol. 24(1), 1998, pp. 63-78.
3. U. Abraham, S. Dolev, T. Herman, and I. Koll, "Self-stabilizing l-exclusion," Proceedings of third workshop on self-stabilizing systems, pp. 48-63, 1997.
4. G.M. Brown, M.G. Gouda, and C.L. Wu, "Token systems that self-stabilize," IEEE Transactions on Computers, vol. 38, 1989, pp. 845-852.
5. E.W. Dijkstra, EWD391 Self-stabilization in spite of distributed control. In Selected Writings on Computing: A Personal Perspective, pages 41-46, Springer-Verlag, 1982. EWD391's original date is 1973.
6. E.W. Dijkstra, "Self stabilizing systems in spite of distributed control," Communication of the ACM, vol. 17, 1974, pp. 643-644.
7. E. W. Dijkstra, "A belated proof of self-stabilization," Distributed Computing, 1:5-6, 1986.
8. S. Dolev, Self-stabilization, MIT Press.
9. S. Dolev and J.L. Welch, "Wait-Free Clock Synchronization," Proc. Of the 12th Annual ACM Symp. On Principles of Distributed Computing, pp. 97-108, 1993.
10. S. Dolev and J.L. Welch, "Self-stabilizing clock synchronization in the presence of byzantine faults," Proceedings of the Second Workshop on Self-Stabilizing Systems, pp. 9.1-9.12, 1995.
11. M. Gardner, "The Binary Gray Code," in Knotted Doughnuts, Freeman & Company, New York, 1986.
12. A.S. Gopal and K.J. Perry, "Unifying self-stabilization and fault-tolerance," Proceedings of the Twelfth Annual ACM Symposium on Principles of Distributed Computing (PODC'93), pp. 195-206, 1993.
13. M.G. Gouda, R.R. Howell, and L.E. Rosier, "The instability of self-stabilization," Acta Informatica, vol. 27(8), 1990, pp. 697-724.
14. J.H. Hoepman, M. Papatriantafilou, and P. Tsigas, "Self-Stabilization in Wait-Free Shared Memory Objects," Proceedings of the 9th International Workshop on Distributed Algorithms (WDAG'95), Lecture Notes in Computer Science Vol. 972, pages 273-287, Springer-Verlag, September 1995.
15. L. Lamport, "Concurrent reading and writing," Communication of the ACM,vol. 20(11), 1977, pp. 806-811.
16. L. Lamport, "On interprocess communication, parts 1 and 2," Distributed Computing, vol. 1(1), 1986, pp. 77-101.
17. L. Lamport, "The mutual exclusion problem. Part II: Statement and solutions," Journal of the ACM, vol. 33(2), 1986, pp. 327-348.
18. D.G. Luenberger, Introduction to Dynamic Systems, Theory, Models & Applications, John Wiley & Sons.
19. H. Lee and J.L. Welch, "Applications of probabilistic quorums to iterative algorithms," in Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), pp. 21-28, 2001.
20. E.A. Lycklama and V. Hadzilacos, "A First-Come-First-Served Mutual-Exclusion Algorithm with Small Communication Variables," ACM Transactions on Programming Languages and Systems, Vol. 13, No. 4, 1991, pp. 558-576.
21. J. Misra, "Axioms for memory access in asynchronous hardware systems," ACM Transactions on Programming Languages and Systems, vol. 8(1), 1986, pp. 142-153.
22. C.M. Ozveren, A. S. Willsky, and P.J. Antsaklis, "Stability and stabilizability of discrete event dynamic systems," Journal of the ACM, Vol. 38, No. 3, 1991, pp. 730-752.
23. G. Varghese, "Self-stabilization by counter flushing," SIAM Journal on Computing, vol. 30(2), 2000, pp. 486-510.