Distributed Maintenance of Anytime Available Spanning Trees in Dynamic Networks
We address the problem of building and maintaining a forest of spanning trees in highly dynamic networks, in which topological events can occur at any time and any rate, and no stable periods can be assumed. In these harsh environments, we strive to preserve some properties such as cycle-freeness or existence of a unique root in each fragment regardless of the events, so as to keep these fragments functioning uninterruptedly to a possible extent. Our algorithm operates at a coarse-grain level, using atomic pairwise interactions akin to population protocol or graph relabeling systems. The algorithm relies on a perpetual alternation of topology-induced splittings and computation-induced mergings of a forest of trees. Each tree in the forest hosts exactly one token (also called root) that performs a random walk inside the tree, switching parent-child relationships as it crosses edges. When two tokens are located on both sides of a same edge, their trees are merged upon this edge and one token disappears. Whenever an edge that belongs to a tree disappears, its child endpoint regenerates a new token instantly. The main features of this approach is that both merging and splitting are purely localized phenomenons. This paper presents the algorithm and establishes its correctness in arbitrary dynamic networks. We also discuss aspects related to the implementation of this general principle in fine-grain models, as well as embryonic elements of analysis. The characterization of the algorithm performance is left open, both analytically and experimentally.
KeywordsRandom Walk Span Tree Dynamic Network Mobile Agent Span Tree Problem
Unable to display preview. Download preview PDF.
- 1.Abbas, S., Mosbah, M., Zemmari, A.: Distributed computation of a spanning tree in a dynamic graph by mobile agents. In: Proc. of IEEE Int. Conference on Engineering of Intelligent Systems (ICEIS), pp. 1–6 (2006)Google Scholar
- 4.Awerbuch, B., Kutten, S., Mansour, Y., Patt-Shamir, B., Varghese, G.: Time optimal self-stabilizing synchronization. In: Proc. of the 25th ACM Symp. on Theory of Computing (STOC), New York, USA, pp. 652–661 (1993)Google Scholar
- 7.Cooper, C., Elsässer, R., Ono, H., Radzik, T.: Coalescing random walks and voting on graphs. In: Proc. of the 31st ACM Symp. on Principles of Distributed Computing (PODC), pp. 47–56 (2012)Google Scholar
- 8.Fall, K.: A delay-tolerant network architecture for challenged internets. In: Proc. of Int. Conf. on Applications, Technologies, Architectures, and Protocols for Computer Communications (SIGCOMM), pp. 27–34 (2003)Google Scholar
- 10.Gaertner, F.C.: A Survey of Self-Stabilizing Spanning-Tree Construction Algorithms. Technical report, EPFL (2003)Google Scholar
- 11.Litovsky, I., Métivier, Y., Sopena, E.: Graph relabelling systems and distributed algorithms. In: Handbook of Graph Grammars and Computing by Graph Transformation, vol. III, pp. 1–56. World Scientific Publishing (1999)Google Scholar
- 12.Peleg, D.: Distributed computing: a locality-sensitive approach. Society for Industrial and Applied Mathematics (2000)Google Scholar