A self-stabilizing distributed algorithm for spanning tree construction in wireless ad hoc networks

Spanning trees help removing cycles and establishing short paths between a given node and the rest of the nodes in a network. In ad hoc mobile computing networks, however, transient node failures occur due to being out of range or powered off. Therefore, we present a self-stabilized distributed algorithm based on homogeneous agents for constructing a random spanning tree. Our approach makes use of distributed random walks as a network traversal scheme, in order to handle dynamic topology changes in ad hoc wireless networks. Each random walk is represented by a mobile agent annexing a territory over the underlying network. These multiple random walks collapse into a final one that defines the random spanning tree. It will be shown that, compared to deterministically predetermined spanning trees, our algorithm is more resilient to transient failures that occur in ad hoc mobile networks.

[1]  Lisa Higham,et al.  Meeting Times of Random Walks on Graphs , 1999, Inf. Process. Lett..

[2]  Ernest J. H. Chang,et al.  Echo Algorithms: Depth Parallel Operations on General Graphs , 1982, IEEE Transactions on Software Engineering.

[3]  Stephan Olariu,et al.  Randomized Initialization Protocols for Ad Hoc Networks , 2000, IEEE Trans. Parallel Distributed Syst..

[4]  Ivan Lavallée,et al.  A Fully Distributed (Minimal) Spanning Tree Algorithm , 1986, Inf. Process. Lett..

[5]  John B. Shoven,et al.  I , Edinburgh Medical and Surgical Journal.

[6]  Peter Winkler,et al.  On a random walk problem arising in self-stabilizing token management , 1991, PODC '91.

[7]  Hichem Baala Vague récursive distribuée : application aux arbres de jeux et aux matrices , 1999 .

[8]  Ajoy Kumar Datta,et al.  Randomized adaptive routing based on mobile agents , 1999, Proceedings Fourth International Symposium on Parallel Architectures, Algorithms, and Networks (I-SPAN'99).

[9]  M. Karonski Collisions among Random Walks on a Graph , 1993 .

[10]  Dwight Deugo Mobile agents for electing a leader , 1999, Proceedings. Fourth International Symposium on Autonomous Decentralized Systems. - Integration of Heterogeneous Systems -.

[11]  Peter Winkler,et al.  Mixing times for uniformly ergodic Markov chains , 1997 .

[12]  Russ Bubley,et al.  Randomized algorithms , 1995, CSUR.

[13]  Shay Kutten,et al.  A sub-linear time distributed algorithm for minimum-weight spanning trees , 1993, Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science.

[14]  Peter Winkler,et al.  Collisions Among Random Walks on a Graph , 1993, SIAM J. Discret. Math..

[15]  Ivan Lavallée,et al.  Recursive distributed programming schemes , 1993, Proceedings ISAD 93: International Symposium on Autonomous Decentralized Systems.

[16]  Edsger W. Dijkstra,et al.  Termination Detection for Diffusing Computations , 1980, Inf. Process. Lett..

[17]  Pierre A. Humblet,et al.  A Distributed Algorithm for Minimum-Weight Spanning Trees , 1983, TOPL.

[18]  Peter Winkler Dependent percolation and colliding random walks , 2000, Random Struct. Algorithms.

[19]  Amos Israeli,et al.  Token management schemes and random walks yield self-stabilizing mutual exclusion , 1990, PODC '90.

[20]  Shay Kutten,et al.  A modular technique for the design of efficient distributed leader finding algorithms , 1990, TOPL.

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

[22]  Edsger W. Dijkstra,et al.  Self-stabilizing systems in spite of distributed control , 1974, CACM.

[23]  Ran El-Yaniv,et al.  More on the Power of Random Walks: Uniform Self-Stabilizing Randomized Algorithms (Preliminary Report) , 1991, WDAG.