Silent Self-Stabilizing Scheme for Spanning-Tree-like Constructions
Résumé
We propose a general scheme, Algorithm Scheme, to compute spanning-tree-like data structures on arbitrary networks. Scheme is self-stabilizing and silent and, despite its generality, is also efficient. It is written in the locally shared memory model with composite atomicity assuming the distributed unfair daemon, the weakest scheduling assumption of the model. Its stabilization time is in O(n maxCC) rounds, where n maxCC is the maximum number of processes in a connected component. We also exhibit polynomial upper bounds on its stabilization time in steps that depend on the considered precise problem. We illustrate the versatility of our approach by proposing several instantiations of Scheme that efficiently solve classical problems.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...