Optimal Reactive k-Stabilization: the case of Mutual Exclusion

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn 1999-January, Issue , 1999, Pages 209-218

  Beauquier, Joffroy ^a   Genolini, Christophe ^a   Kutten, Shay ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; NETWORK SECURITY; STABILIZATION; ALGORITHMS; NETWORK PROTOCOLS; OPTIMIZATION;

ASYNCHRONOUS DISTRIBUTED SYSTEM; BASIC PROTOCOLS; FAULTY NODE; LEGITIMATE CONFIGURATION; MULTIPLICATIVE FACTORS; MUTUAL EXCLUSIONS; TIME-OPTIMAL;

NETWORK PROTOCOLS; DISTRIBUTED COMPUTER SYSTEMS;

MUTUAL EXCLUSION ALGORITHMS; SELF STABILIZING PROTOCOLS;

EID: 0032667241     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/301308.301359     Document Type: Conference Paper

References (18)

1. S. Kutten and D. Peleg. Fault-local distributed mending. In Proceedings of the 14th Annual ACM Symposium on Principles of Distributed Computing, Aug. 1995.
2. S. Kutten and B. Patt-Shamir. Time-adaptive self-stabilization. In Proceedings of the 16th Annual ACM Symposium on Principles of Distributed Computing, pages 149-158, Aug. 1997.
3. E. W. Dijkstra. Self-stabilizing systems in spite of distributed control. Comm. ACM, 17(11):643-644, November 1974.
4. S. Kutten and D. peleg. Tight Fault Locality. In 36th Annual IEEE Symposium on Foundations of Computer Science. Milwaukee, WI, USA, October 1995.
5. S. Katz and K. Perry. Self-stabilizing extensions for message-passing systems. In Distributed Computing, Vol. 7, 1994.
6. Y. Afek, S. Kutten, and M. Yung. Local Detection for Global Self Stabilization. In Theoretical Computer Science, No 186, pp. 199-229. 1997.
7. B. Awerbuch, B. Patt-Shamir, and G. Varghese. Self-stabilization by local checking and correction. In Proc. 32nd IEEE Symp. on Foundation of Computer Science, 268-277, 1991.
8. B. Awerbuch, B. Patt-Shamir, G. Varghese, and S. Dolev. Self-stabilization by local checking and global reset. In Proc. 8th International Workshop on Distributed Algorithms
9. Y. Afek and S. Dolev. Local stabilizer. In Proceedings of the 5th Israel Symposium on Theory of Computing and Systems, June 1997.
10. S. Ghosh, A. Gupta, T. Herman, and S. V. Pemamraju. Fault-containing self-stabilizing algorithms. In Proceedings of the 15th Annual ACM Symposium on Principles of Distributed Computing, Philadelphia, Pennsylvania, USA, May 1996.
11. S. Dolev, A. Israeli, and S. Moran. Self Stabilization of Dynamic Systems Assuming Only Read/Write Atomicity. Distributed Computing, vol.7, pp.3-16,1993.
12. S. Kutten and B. Patt-Shamir. Asynchronous Time-Adaptive Self Stabilization. a Brief Announcement in the proceedings of ACM PODC 1998.
13. S. Dolev and T. Herman. Superstabilizing protocols for dynamic distributed systems. In Proc. of the Second Workshop on Self-Stabilizing Systems, pages 3.1-3.15, May 1995.
14. Y. Afek, B. Awerbuch, S. A. Plotkin, and M. Saks. Local Management of a Global Resource in a Communication Network. In Proc. 28nd IEEE Symp. on Foundation of Computer Science, October 1987.
15. Y. Afek and A. Bremler. Self-Stabilizing Unidirectional Network Algorithms by Power-Supply. Chicago Journal of Theoretical Computer Science, to appear.
16. Y. Afek, S. Kutten, and M. Yung. Memory-efficient self-stabilization on general networks. In Proc. 4th Workshop on Distributed Algorithms, pages 15-28, Italy, Sept. 1990. Springer-Verlag (LNCS 486). TO appear in Theoretical Comp. Sci.
17. B. Awerbuch, S. Kutten, Y. Mansour, B. Patt-Shamir, and G. Varghese. Time optimal self-stabilizing synchronization. In Proceedings of the 25th Annual ACM Symposium on Theory of Computing, San Diego, California, pages 652-661, May 1993.
18. Gerard Tel. Distributed Algorithms. Cambridge University Press, 1954.