Propagated timestamps: a scheme for the stabilization of maximum-flow routing protocols

We present a distributed protocol for maintaining a maximum flow spanning tree in a network, with a designated node as the root of the tree. This maximum flow spanning tree can be used to route the allocation of new virtual circuits whose destination is the designated node. As virtual circuits are allocated and removed, the available capacity of the channels in the network changes, causing the chosen spanning tree to lose its maximum flow property. Thus, the protocol periodically changes the structure of the spanning tree to preserve its maximum flow property. The protocol is self-stabilizing, and hence it tolerates transient faults. Furthermore, it has the nice property that, while the structure of the tree is being updated, no loops are introduced, and all nodes remain connected. That is, the tree always remains a spanning tree whose root is the designated node.

[1]  J. J. Garcia-Luna-Aceves,et al.  Loop-free routing using diffusing computations , 1993, TNET.

[2]  Anish Arora,et al.  Composite routing protocols , 1990, Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing 1990.

[3]  Mohamed G. Gouda Protocol Verification Made Simple: A Tutorial , 1993, Comput. Networks ISDN Syst..

[4]  Adrian Segall,et al.  A Failsafe Distributed Routing Protocol , 1979, IEEE Trans. Commun..

[5]  Anish Arora,et al.  Fault-tolerant reconfiguration of trees and rings in networks , 1994, Proceedings of ICNP - 1994 International Conference on Network Protocols.

[6]  Mohamed G. Gouda,et al.  The Triumph and Tribulation of System Stabilization , 1995, WDAG.

[7]  Mohamed G. Gouda,et al.  The Request Reply Family of Group Routing Protocols , 1997, IEEE Trans. Computers.

[8]  Mohamed G. Gouda,et al.  Stabilization of maximum flow trees , 1994 .

[9]  Adrian Segall,et al.  Distributed network protocols , 1983, IEEE Trans. Inf. Theory.