Self-stabilizing end-to-end communication

Self-stabilizing protocols must begin operating correctly even when started from an arbitrary state. The end-to-end problem is to ensure reliable message delivery across an unreliable network under the weakest possible guarantee from the network that the sender and receiver are never separated by a cut of permanently failed links. In this paper we present the first self-stabilizing end-to-end protocol. Our solution has message complexities comparable with the best known non-stabilizing solutions. Our solution also has good stabilization time complexity: the time for the protocol to stabilize has the same complexity as the time the protocol takes to deliver a message.

[1]  Michael D. Schroeder,et al.  Automatic reconfiguration in Autonet , 1991, SOSP '91.

[2]  Baruch Awerbuch,et al.  Applying static network protocols to dynamic networks , 1987, 28th Annual Symposium on Foundations of Computer Science (sfcs 1987).

[3]  Boaz Patt-Shamir,et al.  Self-stabilization by local checking and correction , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[4]  Radia J. Perlman,et al.  Fault-Tolerant Broadcast of Routing Information , 1983, Comput. Networks.

[5]  Edsger W. Dijkstra,et al.  Self stabilization in spite of distributed control , 1974 .

[6]  Baruch Awerbuch,et al.  Reliable broadcast protocols in unreliable networks , 1986, Networks.

[7]  Leslie Lamport,et al.  Distributed snapshots: determining global states of distributed systems , 1985, TOCS.

[8]  S. Finn.  Resynch Procedures and a Fail-Safe Network Protocol , 1979, IEEE Trans. Commun..

[9]  Yehuda Afek,et al.  End-to-end communication in unreliable networks , 1988, PODC '88.

[10]  Nancy A. Lynch,et al.  An introduction to input/output automata , 1989 .

[11]  Yehuda Afek,et al.  Self-stabilization of the alternating-bit protocol , 1989, Proceedings of the Eighth Symposium on Reliable Distributed Systems.

[12]  Eric C. Rosen,et al.  Vulnerabilities of network control protocols: an example , 1981, CCRV.