A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property

Abstract : The minimum spanning tree (MST) construction is a classical problem in Distributed Computing for creating a globally minimized structure distributedly. Self-stabilization is versatile technique for forward recovery that permits to handle any kind of transient faults in a unified manner. The loop-free property provides interesting safety assurance in dynamic networks where edge-cost changes during operation of the protocol. We present a new self-stabilizing MST protocol that improves on previous known approaches in several ways. First, it makes fewer system hypotheses as the size of the network (or an upper bound on the size) need not be known to the participants. Secondly, it is loop-free in the sense that it guarantees that a spanning tree structure is always preserved while edge costs change dynamically and the protocol adjusts to a new MST. Finally, time complexity matches the best known results, while space complexity results show that this protocol is the most efficient to date
Liste complète des métadonnées

https://hal.sorbonne-universite.fr/hal-01269828
Contributeur : Sébastien Tixeuil <>
Soumis le : vendredi 5 février 2016 - 12:47:48
Dernière modification le : mercredi 5 décembre 2018 - 01:29:40

Identifiants

Citation

Lélia Blin, Maria Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil. A New Self-Stabilizing Minimum Spanning Tree Construction with Loop-Free Property. The Computer Journal, Oxford University Press (UK), 2016, 59 (2), pp.225-243. 〈http://comjnl.oxfordjournals.org/content/59/2/225.abstract〉. 〈10.1093/comjnl/bxv110〉. 〈hal-01269828〉

Partager

Métriques

Consultations de la notice

531