Détection de terminaison silencieuse, anonyme, stabilisante instantanément - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Détection de terminaison silencieuse, anonyme, stabilisante instantanément

Résumé

Nous abordons le problème de la détection de terminaison (TD) dans les réseaux asynchrones. Un algorithme qui résout ce problème détecte si un algorithme distribué observé A a convergé vers une configuration qui satisfait un prédicat particulier. Il est connu que TD ne peut pas être résolu dans le contexte de l'auto-stabilisation, sauf si l'algorithme est instantanément stabilisant (snap-stabilization), c'est-à-dire qu'il se comporte toujours conformément à sa spécification, indépendamment de la configuration initiale. Un algorithme déterministe instantanément stabilisant pour TD est donné dans [7] pour les réseaux enracinés, autrement dit les réseaux où tous les noeuds exécutent le même algorithme, sauf un. Dans cet article, nous proposons un algorithme générique, déterministe, silencieux, instantanément stabilisant, qui détecte la terminaison d'un algorithme observé A, auto-stabilisant, silencieux et terminant. Notre algorithme ne nécessite pas de structure sous-jacente, ni de topologie spécifique et fonctionne dans des réseaux anonymes. Plus précisément notre algorithme n'utilise aucune hypothèse permettant de distinguer un ou plusieurs processus, de plus, il fonctionne sous les hypothèses de l'ordonnanceur le plus faible, l'ordonnanceur inéquitable. Construite audessus de n'importe quel unisson asynchrone auto-stabilisant sous-jacent U, notre solution requiert comme espace mémoire supplémentaire uniquement O(log D) bits par noeud, où D est le diamètre du réseau. Puisqu'il n'existe aucun algorithme d'unisson avec une meilleure complexité spatiale, l'espace mémoire supplémentaire de notre solution est comparable à la complexité spatiale de l'algorithme d'unisson sous-jacent. Notre algorithme fournit une réponse positive en O(max(k, k , D)) rounds, où k et k sont les complexités respectives en temps de stabilisation de A et U.
Fichier principal
Vignette du fichier
DetectionTerminaison.pdf (93.88 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03651261 , version 1 (25-04-2022)
hal-03651261 , version 2 (02-05-2022)

Identifiants

  • HAL Id : hal-03651261 , version 1

Citer

Lélia Blin, Colette Johnen, Gabriel Le Bouder, Franck Petit. Détection de terminaison silencieuse, anonyme, stabilisante instantanément. AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France. ⟨hal-03651261v1⟩
94 Consultations
46 Téléchargements

Partager

Gmail Facebook X LinkedIn More