When graph theory helps self-stabilization

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn 23, Issue , 2004, Pages 150-159

  Boulinier, Christian ^a   Petit, Franck ^a   Villain, Vincent ^a  

^a UNIVERSITÉ DE PICARDIE JULES VERNE   (France)

Author keywords

Asynchronous unison; Local (group) Mutual exclusion; Self stabilization; Synchronization

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; COMPUTER SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL TRANSFORMATIONS; PROBLEM SOLVING; STABILIZATION; SYNCHRONIZATION;

ASYNCHRONOUS UNISON; LOCAL (GROUP) MUTUAL EXCLUSION (LME); LOCAL READER-WRITERS (LRW); SELF-STABILIZATION;

GRAPH THEORY;

EID: 10644254831     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1011767.1011790     Document Type: Conference Paper

References (20)

1. A Arora and MG Gouda. Distributed reset. IEEE Transactions on Computers, 43:1026-1038, 1994.
2. B. Awerbuch. Complexity of network synchronization. Journal of the Association of the Computing Machinery, 32(4):804-823, 1985.
3. 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 (STOC '93), pages 652-661, 1993.
4. J Beauquier, A.K. Datta, M Gradinariu, and F Magniette. Self-stabilizing local mutual exclusion and daemon refinement. In Proceedings of the 14th International Conference on Distributed Computing (DISC 2000), Springer-Verlag LNCS:1914, pages 223-237, 2000.
5. C Berge. Graphs and hypergraphs. Elsevier Science Publishers B.V. (North-Holland), 1989.
6. C Boulinier, S Cantarell, F Petit, and V Villain. A note on a self-stabilizing local mutual exclusion algorithm. Technical Report RR03-02, LaRIA, University of Picardie Jules Verne, 2003.
7. C Boulinier, F Petit, and V Villain. About bounded self-stabilizing local mutual exclusion algorithms. Technical Report RR04-02, LaRIA, University of Picardie Jules Verne, 2004.
8. S Cantarell. Group Mutual Exclusion and Self-Stabilization. PhD thesis, LRI, Université de Paris-Sud, Orsay, France, 2003.
9. DM Chickering, D Geiger, and D Heckerman. On finding a cycle basis with a shortest maximal cycle. Information Processing Letters, 54:55-58, 1995.
10. A Cournier, AK Datta, F Petit, and V Villain. Snap-stabilizing PIF algorithm in arbitrary networks. In IEEE 22nd International Conference on Distributed Computing Systems (ICDCS 02), pages 199-206. IEEE Computer Society Press, 2002.
11. P.J. Courtois, F. Heymans, and D.L. Parnas. Concurrent control with readers and writers. Communications of the Association of the Computing Machinery, 14(10):667-668, 1971.
12. JM Couvreur, N Francez, and M Gouda. Asynchronous unison. In Proceedings of the 12th IEEE International Conference, on Distributed Computing Systems (ICDCS'92), pages 486-493, 1992.
13. EW Dijkstra. Self stabilizing systems in spite of distributed control. Communications of the Association of the Computing Machinery, 17:643-644, 1974.
14. S Dolev. Self-Stabilization. The MIT Press, 2000.
15. S. Dolev, MG Gouda, and M Schneider. Memory requirements for silent stabilization. In PODC96 Proceedings of the 15th Annual ACM Symposium on Principles of Distributed Computing, pages 27-34, 1996.
16. M Gouda and F Haddix. The alternator. In Proceedings of the Fourth Workshop on Self-Stabilizing Systems, pages 48-53. IEEE Computer Society Press, 1999.
17. Y.-J. Joung. Asynchronous group mutual exclusion (extended abstract). In ACM Press, editor, Proceedings of the 17th Annual ACM Symposium on Principles of Distributed Computing (PODC 98), pages 51-60, 1998.
18. H Kakugawa and M Yamashita. Self-stabilizing local mutual exclusion on networks in which process identifiers are not distinct. In Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS2002), pages 202-211, 2002.
19. M Nesterenko and A Arora. Stabilization-preserving atomicity refinement. Journal of Parallel and Distributed Computing, 62(5):766-791, 2002.
20. G Varghese. Self-stabilization by local checking and correction (Ph.D. thesis). Technical Report MIT/LCS/TR-583, MIT, 1993.