Unifying stabilization and termination in message-passing systems

Distributed Computing

Volumn 17, Issue 3, 2005, Pages 279-290

  Arora, Anish ^a   Nesterenko, Mikhail ^b  

^a OHIO STATE UNIVERSITY   (United States)

^b KENT STATE UNIVERSITY   (United States)

Author keywords

Fault tolerance; Self stabilization; Termination

Indexed keywords

DATA PROCESSING; FAULT TOLERANT COMPUTER SYSTEMS; INFORMATION DISSEMINATION; MATHEMATICAL MODELS; NETWORK PROTOCOLS; ROUTERS; THEOREM PROVING;

MESSAGE-PASSING PROGRAMS; SELF-STABILIZATION; TERMINATION; TERMINATION-SYMMETRY;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 17044383095     PISSN: 01782770     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00446-004-0111-6     Document Type: Article

References (15)

1. Afek Y, Brown GM: Self-stabilization over unreliable communication media. Distributed Computing 7, 27-34 (1993)
2. Arora A, Gouda MG: Distributed reset. IEEE Transactions on Computers 43, 1026-1038 (1994)
3. Awerbuch B, Patt-Shamir B, Varghese G: Bounding the unbounded (distributed computing protocols). In: Proceedings IEEE INFOCOM 94 The Conference on Computer Communications, 1994, pp. 776-783
4. Bui A, Datta AK, Petit F, Villain V: State-optimal snap-stabilizing PIP in tree networks. In: Proceedings of the Fourth Workshop on Self-Stabilizing Systems (published in association with ICDCS99 The 19th IEEE International Conference on Distributed Computing Systems), 1999, pp. 78-85. IEEE Computer Society
5. Dijkstra EW, Scholten CS: Termination detection for diffusing computations. Information Processing Letters 11 (1). 1-4 (1980)
6. Dolev S: Self-Stabilization. MIT Press, 2000
7. Dolev S, Gouda MG, Schneider M: Memory requirements for silent stabilization. In: PODC96 Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996, pp. 27-34
8. Gouda MG, Multari N: Stabilizing communication protocols. IEEE Transactions on Computers 40, 448-458 (1991)
9. Howell RR, Nesterenko M, Mizuno M: Finite-state self-stabilizing protocols in message passing systems. Journal of Parallel and Distributed Computing 62(5), 792-817 (2002)
10. Jayaram M, Varghese G: The complexity of crash failures. In: Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, pp. 179-188, Santa Barbara, California, 21-24 August 1997
11. Lamport L: Time, clocks and ordering of events in distributed systems. Communications of the ACM 21(7), 558-564 (1978)
12. Mizuno M, Nesterenko M: A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments. Information Processing Letters 66(6), 285-290 (1998)
13. Nesterenko M, Arora A: Stabilization-preserving atomicity refinement. In: Proceedings of the 13th International Symposium on Distributed Computing, 1999, pp. 254-268
14. Ricart G, Agrawala AK: An optimal algorithm for mutual exclusion in computer networks. Communications of the ACM 24(1), 9-17 (1981)
15. Schneider FB: On Concurrent Programming. Springer, 1997