Stabilisation progressive

Résumé : Cet article est un résumé étendu de (Altisen et al., Euro-Par 2016) dans lequel nous nous intéressons à des réseaux pouvant subir des changements topologiques transitoires. Nous proposons une nouvelle spécialisation de l'autostabilisation adaptée à ce type de réseau : la stabilisation progressive. Un algorithme est progressivement stabilisant sous hypothèse de (τ, ρ)-dynamicité s'il est autostabilisant et satisfait la propriété supplémentaire suivante : après au plus τ pas dynamiques vérifiant la condition ρ et se produisant à partir d'une configuration légitime, l'algorithme converge rapidement vers une configuration où une spécification plus faible est satisfaite ; puis il continue à converger progressivement vers des configurations où des spécifications de plus en plus fortes sont vérifiées, et ce, jusqu'à retrouver une configuration légitime vérifiant la spécification initiale du problème. Nous illustrons cette nouvelle propriété en proposant un algorithme progressivement stabilisant de synchronisation d'horloges.
Complete list of metadatas

Cited literature [3 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01779963
Contributor : Anaïs Durand <>
Submitted on : Friday, April 27, 2018 - 10:00:21 AM
Last modification on : Monday, November 18, 2019 - 10:42:02 AM

File

algotel.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01779963, version 1

Citation

Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit. Stabilisation progressive. ALGOTEL 2018 - 20èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2018, Roscoff, France. ⟨hal-01779963⟩

Share

Metrics

Record views

171

Files downloads

36