Gradual Stabilization under τ-Dynamics - Archive ouverte HAL
Rapport (Rapport Technique) Année : 2015

Gradual Stabilization under τ-Dynamics

Karine Altisen
Stéphane Devismes
Anaïs Durand

Résumé

We introduce the notion of gradually stabilizing algorithm as any self-stabilizing algorithm achieving the following additional feature. Assuming that at most τ dynamic steps occur starting from a legitimate configuration, a gradually stabilizing algorithm first quickly recover to a configuration from which a specification offering a minimum quality of service is satisfied. It then gradually converges to specifications offering stronger and stronger safety guarantees until fully recovering to its initial (strong) specification. We illustrate this new property by considering three variants of a synchronization problem respectively called strong, weak, and partial weak unison. We propose a self-stabilizing algorithm which is also gradually stabilizing in the sense that after one dynamic step from a legitimate configuration, it immediately satisfies the specification of partial weak unison, then converges to the specification of weak unison in at most one round, and finally retrieves the specification of strong unison after at most (µ + 1)D 1 + 1 rounds, where D 1 is the diameter of the network after the dynamic step and µ is a parameter which should be greater than or equal to sum of n (the initial size of the network) and # J (an upper bound on the number of processes that join the system during the dynamic step).
Fichier principal
Vignette du fichier
unison.pdf (399.95 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01215190 , version 1 (13-10-2015)
hal-01215190 , version 2 (16-10-2015)
hal-01215190 , version 3 (23-10-2015)
hal-01215190 , version 4 (27-01-2016)
hal-01215190 , version 5 (02-02-2017)

Identifiants

  • HAL Id : hal-01215190 , version 1

Citer

Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit. Gradual Stabilization under τ-Dynamics. [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France; LIP6 UMR 7606, INRIA, UPMC Sorbonne Universités, France. 2015. ⟨hal-01215190v1⟩
911 Consultations
439 Téléchargements

Partager

More