Synchronisation dans les Réseaux Dynamiques
Résumé
Le problème appelé "firing squad" consiste à synchroniser les noeuds d'un système distribué. Ce problème a été originellement originellement étudié pour unechaîne d'automates communicantsà états finis. Au départ, tous les noeuds de la chaîne sont passifs excepté un des deux noeud extrémités chargé d'envoyer un message d'activation aux autres noeuds. Sur réception d'un message d'activation, un noeud devient actif et retransmet ce message à ses voisins. Lorsque tous les noeuds sont devenus actifs, ils doivent "faire feu" (i.e., entrer dans unétatunétat particulier) simultanément. Ceproblème se généralise au cas où chaque noeud peut devenir actif lorsqu'il le souhaite, sans devoir impérativement répondre à la sollicitation d'un autre noeud déjà actif. Les noeuds ne sont alors autorisés autorisésà faire feu que s'ils sont tous actifs. Nousétudions cette généralisation du "firing squad" lorsque les noeuds correspondent à des machines de Turing (avec un nombre d'´ etat infini) et que la topologie est un graphe dynamique avec des arrêtes qui peuvent changer arbitrairement au cours du temps. Notre principal résultat est une caractérisation des graphes dynamiques pour lesquels leproblème du firing squad est résoluble. Nousétudions aussi comment une information sur le diamètre du réseau ou encore la randomisation permettent d'améliorer les solutions algorithmique à ce problème
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...