Stabilisation progressive - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

Stabilisation progressive

Karine Altisen
Franck Petit
  • Fonction : Auteur
  • PersonId : 778299
  • IdRef : 050783238

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.
Fichier principal
Vignette du fichier
algotel.pdf (131.96 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01779963 , version 1

Citer

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⟩
245 Consultations
90 Téléchargements

Partager

More