A Failsafe Distributed Routing Protocol

An algorithm for constructing and adaptively maintaining routing tables in communication networks is presented. The algorithm can be employed in message as well as circuit switching networks, uses distributed computation, provides routing tables that are loop-free for each destination at all times, adapts to changes in network flows, and is completely failsafe. The latter means that after arbitrary failures and additions, the network recovers in finite time in the sense of providing routing paths between all physically connected nodes. For each destination, the routes are independently updated by an update cycle triggered by the destination.

[1]  Adrian Segall,et al.  Optimal Distributed Routing for Virtual Line-Switched Data Networks , 1979, IEEE Trans. Commun..

[2]  P. Merlin,et al.  A Methodology for the Design and Implementation of Communication Protocols , 1976, IEEE Trans. Commun..

[3]  Robert Gallager Loops in multicommodity flows , 1977, 1977 IEEE Conference on Decision and Control including the 16th Symposium on Adaptive Processes and A Special Symposium on Fuzzy Set Theory and Applications.

[4]  Adrian Segall,et al.  The Modeling of Adaptive Routing in Data-Communication Networks , 1977, IEEE Trans. Commun..

[5]  R. Roy,et al.  Saturation routing network limits , 1977, Proceedings of the IEEE.

[6]  Gregor von Bochmann,et al.  A Unified Method for the Specification and Verification of Protocols , 1977, IFIP Congress.

[7]  William D. Tajibnapis,et al.  A correctness proof of a topology information maintenance protocol for a distributed computer network , 1977, CACM.

[8]  Robert G. Gallager,et al.  A Minimum Delay Routing Algorithm Using Distributed Computation , 1977, IEEE Trans. Commun..

[9]  Moshe Sidi,et al.  Failsafe distributed optimal routing in data-communication networks , 1979 .

[10]  Eric G. Manning,et al.  Protocol Machines: A Concise Formal Model and its Automatic Implementation , 1976, International Conference on Innovative Computing and Cloud Computing.