Stabilisation progressive - Archive ouverte HAL Access content directly
Conference Papers Year : 2018

Stabilisation progressive

Karine Altisen
  • Function : Author
Franck Petit
  • Function : Author
  • PersonId : 778299
  • IdRef : 050783238

Abstract

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.
Fichier principal
Vignette du fichier
algotel.pdf (131.96 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01779963 , version 1 (27-04-2018)

Identifiers

  • HAL Id : hal-01779963 , version 1

Cite

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⟩
149 View
33 Download

Share

Gmail Facebook X LinkedIn More