Abstract
We present a uniform approach to the description and validation of several known and unknown distributed algorithms for solving control problems in computer networks using unidirectional communication. After introducing two basic protocols, we use these to build algorithms for Resynch [Fi79], Connectivity, Min Hop Routing and Distributed Infimum Approximation [Te86]. All protocols are extended in a uniform way to cope with changing network topology and the failure of nodes and links. The protocols are all optimal in time complexity.
This work was supported by the Foundation for Computer Science (SION) of the Netherlands Organization for the Advancement of Pure Research (ZWO). The author's UUCP address is: ..!mcvax!ruuinfvax!gerard.
Preview
Unable to display preview. Download preview PDF.
10 References
Awerbuch, B., Complexity of network synchronization, J. ACM 32 (Oct 1985), 804–823.
Dijkstra, E.W., and C.S. Scholten, Termination detection for diffusing computations, Inf. Proc. Let. 11 (August 1980), 1–4.
Erikson, O., and S. Skyum, Symmetric distributed termination, Techn. Rep. DAIMI PB189, Univ. of Aarhus, Aarhus, 1985.
Finn, S.G., Resynch procedures and a fail-safe network protocol, IEEE Trans. Communications COM-27 (June 1979), 840–845.
Francez, N., Distributed termination, ACM ToPLaS 2 (1980), 42–55.
Gafni, E., and Y. Afek, Election and traversal in unidirectional networks, Proc. 4th symp. on Principles of Distr. Comp., Vancouver, Canada, 1984.
Gafni, E., M.C. Loui, P. Tiwari, D.B. West, S. Zaks, Lower bounds on common knowledge in distributed systems, Techn. Rep R-1017, Coordinated Science Laboratory, University of Illinois, September 1984.
Gafni, E., Perspectives on distributed network protocols: a case for building blocks, MILCOM86.
Jefferson, D.R., Virtual time, ACM ToPLaS 7 (1985), 404–423.
Kutten, S., Stepwise construction of an efficient distributed traversing algorithm for general strongly connected directed graphs, Technion, Haifa, 1987.
Segall, A., Distributed network protocols, IEEE Trans. Inf. Theory IT-29 (1983), 23–25.
Sarin, S.K., and N.A. Lynch, Discarding obsolete information in a replicated database system, IEEE Trans. Soft. Eng. SE-13 (Jan. 1987), 39–47.
Szymanski, B., Y. Shy, and N. Prywes, Terminating iterative solutions of simultaneous equations in distributed message passing systems, Proc. 4th symp. on Principles of Distr. Comp., Vancouver, Canada, 1984.
Tel, G., Distributed infimum approximation, Techn. Rep. RUU-CS-86-12, Univ. of Utrecht, Utrecht, 1986.
Tel, G., and R.B. Tan, The Equivalence of Some Network Problems, notes July 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tel, G. (1988). Directed network protocols. In: van Leeuwen, J. (eds) Distributed Algorithms. WDAG 1987. Lecture Notes in Computer Science, vol 312. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0019791
Download citation
DOI: https://doi.org/10.1007/BFb0019791
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19366-1
Online ISBN: 978-3-540-39239-2
eBook Packages: Springer Book Archive