Self-stabilizing atomicity refinement allowing neighborhood concurrency

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

Volumn 2704, Issue , 2003, Pages 102-112

  Cantarell, Sébastien ^a   Datta, Ajoy K ^b   Petit, Franck ^c  

^a CNRS   (France)

^b University of Nevada Las Vegas   (United States)

^c UNIVERSITÉ DE PICARDIE JULES VERNE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTERS;

CRITICAL SECTIONS; ORIGINAL ALGORITHMS; READ/WRITE ATOMICITY; RESOURCE SHARING PROBLEM; TRANSFORM ALGORITHM;

ARTIFICIAL INTELLIGENCE;

EID: 33845533577     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45032-7_8     Document Type: Article

References (22)

1. G. Antonoiu and P. K. Srimani. Mutual exclusion between neighboring nodes in an arbitrary system graph tree that stabilizes using read/write atomicity. In Euro-par'99 Parallel Processing, Proceedings, Springer-Verlag LNCS: 1685, pages 824-830, 1999.
2. A. Arora and M. G. Gouda. Distributed reset. IEEE Transactions on Computers, 43:1026-1038, 1994.
3. 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.
4. J. Beauquier, M. Gradinariu, and C. Johnen. Cross-over composition - enforcement of fairness under unfair adversary. In Proceedings of the Fifth Workshop on Self-Stabilizing Systems, Springer-Verlag LNCS:2194, pages 19-34, 2001.
5. K.M. Chandy and J. Misra. The drinking philosophers problem. ACM Transactions on Programming Languages and Systems, 6(4):632-646, 1984.
6. 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.
7. E. W. Dijkstra. Solution to a problem in concurrent programming control. Communications of the Association of the Computing Machinery, 8(9):569, 1965.
8. E. W. Dijkstra. Self stabilizing systems in spite of distributed control. Communications of the Association of the Computing Machinery, 17:643-644, 1974.
9. E. W. Dijkstra. Two starvation-free solutions of a general exclusion problem. Technical Report EWD 625, Plataanstraat 5, 5671, AL Nuenen, The Netherlands, 1978.
10. S. Dolev, M. Gouda, and M. Schneider. Memory requirements for silent stabilization. In PODC96 Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, pages 27-34, 1996.
11. S. Dolev and T. Herman. Parallel composition of stabilizing algorithms. In Proceedings of the Fourth Workshop on Self-Stabilizing Systems, IEEE Computer Society, pages 25-32. IEEE Computer Society Press, 1999.
12. S. Dolev, A. Israeli, and S. Moran. Self-stabilizing of dynamic systems assuming only read/write atomicity. Distributed Computing, 7:3-16, 1993.
13. M. Gouda and F. Haddix. The alternator. In Proceedings of the Fourth Workshop on Self-Stabilizing Systems, IEEE Computer Society, pages 48-53, 1999.
14. M. G. Gouda and T. Herman. Adaptive programming. IEEE Transactions on Software Engineering, 17:911-921, 1991.
15. Y.-J. Joung. Asynchronous group mutual exclusion (extended abstract). In Proceedings of the 17th Annual ACM Symposium on Principles of Distributed Computing (PODC), pages 51-60, June 28-July 2 1998.
16. 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.
17. P. Keane and M. Moir. A general resource allocation synchronization problem. In Proceedings of the 23th IEEE International Conference on Distributed Computing Systems (ICDCS), pages 557-566. ACM Press, 2001.
18. L. Lamport. A new solution of Dijkstra's concurrent programming problem. Communications of the ACM, 17(8):453-455, 1974.
19. L. Lamport. Time, clocks and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, 1978.
20. M. Mizuno and H. Kakugawa. A timestamp based transformation of self-stabilizing programs for distributed computing environments. In WDAG96 Distributed Algorithms 10th International Workshop Proceedings, Springer-Verlag LNCS:1151, pages 304-321, 1996.
21. M. Mizuno and Nesterenko. A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments. Information Processing Letters, 66(6):285-290, 1998.
22. M. Nesterenko and A. Arora. Stabilization-preserving atomicity refinement. Journal of Parallel and Distributed Computing, 62(5):766-791, 2002.