This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Crash Resilient Communication in Dynamic Networks
January 1997 (vol. 46 no. 1)
pp. 14-26

Abstract—An end-to-end data delivery protocol for dynamic communication networks is presented. The protocol uses bounded sequence numbers and can tolerate both link failures and (intermediate) processor crashes. Previous bounded end-to-end protocols could not tolerate crashes.

We present a self-stabilizing version of the algorithm that can recover from crashes of the sender and the receiver as well as of intermediate processors. Starting with the network in an arbitrary state, the self-stabilizing version guarantees proper transmission of messages following a finite convergence period.

[1] Y. Afek, H. Attiya, A. Fekete, M. Fischer, N. Lynch, Y. Mansour, D. Wang, and L. Zuck, "Reliable Communication Over Unreliable Channels," J. ACM, vol. 41, no. 6, pp. 1,267-1,297, Nov. 1994.
[2] Y. Afek, B. Awerbuch, and E. Gafni, "Applying Static Network Protocols to Dynamic Networks," Proc. 28th Ann. IEEE Symp. Foundations of Computer Science, pp. 358-370, 1987.
[3] H. Attiya, S. Dolev, and J. Welch, "Connection Management without Retaining Information," Information and Computation, vol. 123, no. 2, pp. 155-171, Dec. 1995.
[4] B. Awerbuch and S. Even, "Reliable Broadcast Protocols in Unreliable Networks," Networks, vol. 16, pp. 381-396, 1986.
[5] Y. Afek and E. Gafni, "End-to-End Communication in Unreliable Networks," Proc. Seventh Ann. ACM Symp. Principles of Distributed Computing, pp. 131-148, 1988.
[6] Y. Afek and E. Gafni, "Bootstrap Network Resynchronization: An Efficient Technique for End-to-End Communication," Proc. 10th Ann. ACM Symp. Principles of Distributed Computing, pp. 295-307, 1991.
[7] B. Awerbuch, O. Goldreich, and A. Herzberg, "A Quantitative Approach to Dynamic Networks," Proc. Ninth Ann. ACM Symp. Principles of Distributed Computing, pp. 189-203, 1990.
[8] Y. Afek, E. Gafni, and A. Rosen, "The Slide Mechanism with Applications in Dynamic Networks," Proc. 11th Ann. ACM Symp. Principles of Distributed Computing, pp. 35-46, 1992.
[9] B. Awerbuch, Y. Mansour, and N. Shavit, "Polynomial End to End Communication," Proc. 30th Ann. IEEE Symp. Foundations of Computer Science, pp. 358-363, 1989.
[10] B. Awerbuch, B. Patt-Shamir, and G. Varghese, "Self-Stabilization by Local Checking and Correction," Proc. 32nd Ann. IEEE Symp. Foundations of Computer Science, pp. 268-277, 1991.
[11] B. Awerbuch and M. Sipser, "Dynamic Networks Are as Fast as Static Networks," Proc. 29th Ann. IEEE Symp. Foundations of Computer Science, pp. 206-220, 1988.
[12] K. Bartlett, R. Scantlebury, and P. Wilkinson, "A Note on Reliable Full-Duplex Transmission over Half-Duplex Links," Comm. ACM, vol. 12, no. 5, pp. 260-261, May 1969.
[13] E.W. Dijkstra,“Self-stabilizing systems in spite of distributed control,” Comm. ACM, vol. 17, no. 11 pp. 643-644, 1974,.
[14] S. Dolev and J. Welch, "Crash Resilient Communication in Dynamic Networks," Technical Report 93-032, Dept. of Computer Science, Texas A&M Univ., June 1993.
[15] S.G. Finn, "Resynch Procedures and a Fail-Safe Network Protocol," IEEE Trans. Comm, vol. 27, pp. 840-845, June 1979.
[16] A. Fekete, N. Lynch, Y. Mansour, and J. Spinelli, "The Impossibility of Implementing Reliable Communication in the Face of Crashes," J. ACM, to appear. Also: Technical Memo MIT/LCS/355.c, Laboratory for Computer Science, Massachusetts Inst. of Tech nology, Sept. 1991.
[17] A. Herzberg, "Connection-Based Communication in Dynamic Networks," Proc. 11th Ann. ACM Symp. Principles of Distributed Computing, pp. 13-24, 1992.
[18] D. Wang and L. Zuck, "Tight Bounds for the Sequence Transmission Problem," Proc. Eighth ACM Symp. Principles of Distributed Computing, pp. 73-83, 1989.

Index Terms:
Communication networks, end-to-end protocols, dynamic networks, crash failures, self-stabilization.
Citation:
Shlomi Dolev, Jennifer L. Welch, "Crash Resilient Communication in Dynamic Networks," IEEE Transactions on Computers, vol. 46, no. 1, pp. 14-26, Jan. 1997, doi:10.1109/12.559799
Usage of this product signifies your acceptance of the Terms of Use.