Advertisement

Maintaining a Spanning Forest in Highly Dynamic Networks: The Synchronous Case

  • Matthieu Barjon
  • Arnaud Casteigts
  • Serge Chaumette
  • Colette Johnen
  • Yessin M. Neggaz
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8878)

Abstract

Highly dynamic networks are characterized by frequent changes in the availability of communication links. Many of these networks are in general partitioned into several components that keep splitting and merging continuously and unpredictably. We present an algorithm that strives to maintain a forest of spanning trees in such networks, without any kind of assumption on the rate of changes. Our algorithm is the adaptation of a coarse-grain interaction algorithm (Casteigts et al., 2013) to the synchronous message passing model (for dynamic networks). While the high-level principles of the coarse-grain variant are preserved, the new algorithm turns out to be significantly more complex. In particular, it involves a new technique that consists of maintaining a distributed permutation of the set of all nodes IDs throughout the execution. The algorithm also inherits the properties of its original variant: It relies on purely localized decisions, for which no global information is ever collected at the nodes, and yet it maintains a number of critical properties whatever the frequency and scale of the changes. In particular, the network remains always covered by a spanning forest in which 1) no cycle can ever appear, 2) every node belongs to a tree, and 3) after an arbitrary number of edge disappearance, all maximal subtrees immediately restore exactly one token (at their root). These properties are ensured whatever the dynamics, even if it keeps going for an arbitrary long period of time. Optimality is not the focus here, however the number of tree per components – the metric of interest here – eventually converges to one if the network stops changing (which is never expected to happen, though). The algorithm correctness is proven and its behavior is tested through experimentation.

Keywords

Span Tree Dynamic Network Minimum Span Tree Span Forest Merging Operation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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
  2. 2.
    Aldous, D., Fill, J.: Reversible markov chains and random walks on graphs (2002)Google Scholar
  3. 3.
    Awerbuch, B., Cidon, I., Kutten, S.: Optimal maintenance of a spanning tree. J. ACM 55(4), 18:1–18:45 (2008)Google Scholar
  4. 4.
    Awerbuch, B., Even, S.: Efficient and reliable broadcast is achievable in an eventually connected network. In: Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, pp. 278–281. ACM (1984)Google Scholar
  5. 5.
    Baala, H., Flauzac, O., Gaber, J., Bui, M., El-Ghazawi, T.: A self-stabilizing distributed algorithm for spanning tree construction in wireless ad hoc networks. Journal of Parallel and Distributed Computing 63, 97–104 (2003)CrossRefzbMATHGoogle Scholar
  6. 6.
    Bar-Ilan, J., Zernik, D.: Random leaders and random spanning trees. In: Bermond, J.-C., Raynal, M. (eds.) WDAG 1989. LNCS, vol. 392, pp. 1–12. Springer, Heidelberg (1989)CrossRefGoogle Scholar
  7. 7.
    Barjon, M., Casteigts, A., Chaumette, S., Johnen, C., Neggaz, Y.M.: Maintaining a spanning forest in highly dynamic networks: The synchronous case. CoRR, abs/1410.4373 (2014)Google Scholar
  8. 8.
    Bernard, T., Bui, A., Sohier, D.: Universal adaptive self-stabilizing traversal scheme: Random walk and reloading wave. J. Parallel Distrib. Comput. 73(2), 137–149 (2013)CrossRefzbMATHGoogle Scholar
  9. 9.
    Burman, J., Kutten, S.: Time optimal asynchronous self-stabilizing spanning tree. In: Pelc, A. (ed.) DISC 2007. LNCS, vol. 4731, pp. 92–107. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  10. 10.
    Casteigts, A.: The JBotSim library. CoRR, abs/1001.1435 (2013), See also the project website at http://jbotsim.sourceforge.net
  11. 11.
    Casteigts, A., Chaumette, S., Guinand, F., Pigné, Y.: Distributed maintenance of anytime available spanning trees in dynamic networks. In: Cichoń, J., Gębala, M., Klonowski, M. (eds.) ADHOC-NOW 2013. LNCS, vol. 7960, pp. 99–110. Springer, Heidelberg (2013)Google Scholar
  12. 12.
    Casteigts, A., Flocchini, P., Mans, B., Santoro, N.: Shortest, fastest, and foremost broadcast in dynamic networks. CoRR, abs/1210.3277 (2014)Google Scholar
  13. 13.
    Ferreira, A.: On models and algorithms for dynamic communication networks: The case for evolving graphs. In: Proc. ALGOTEL (2002)Google Scholar
  14. 14.
    Israeli, A., Jalfon, M.: Token management schemes and random walks yield self-stabilizing mutual exclusion. In: Proceedings of the Ninth Annual ACM symposium on Principles of Distributed Computing, pp. 119–131. ACM (1990)Google Scholar
  15. 15.
    Kravchik, A., Kutten, S.: Time optimal synchronous self stabilizing spanning tree. In: Afek, Y. (ed.) DISC 2013. LNCS, vol. 8205, pp. 91–105. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  16. 16.
    Kuhn, F., Lynch, N., Oshman, R.: Distributed computation in dynamic networks. In: Proceedings of the 42nd ACM symposium on Theory of computing (STOC), pp. 513–522. ACM (2010)Google Scholar
  17. 17.
    Litovsky, I., Metivier, Y., Sopena, E.: Graph relabelling systems and distributed algorithms. In: Handbook of Graph Grammars and Computing by Graph Transformation. Citeseer (2001)Google Scholar
  18. 18.
    Scott, J., Gass, R., Crowcroft, J., Hui, P., Diot, C., Chaintreau, A.: Crawdad trace cambridge/haggle/imote/infocom (January 31, 2006), http://crawdad.cs.dartmouth.edu/cambridge/haggle/imote/infocom

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Matthieu Barjon
    • 1
  • Arnaud Casteigts
    • 1
  • Serge Chaumette
    • 1
  • Colette Johnen
    • 1
  • Yessin M. Neggaz
    • 1
  1. 1.LaBRIUniversity of BordeauxFrance

Personalised recommendations