L'objectif de ce projet est la réalisation de 3 applets Java simulant des protocoles distribués et auto-stabilisants.
Les trois protocoles à simuler sont tous des protocoles de circulation de jeton sur un anneau. Leur but est d'assurer la circulation d'un unique jeton sur l'anneau, dans un cadre distribué. Dans un cadre distribué, un noeud sur l'anneau communique uniquement avec ces deux voisins, il n'a donc qu'une connaissance locale de l'état globale de l'anneau. Une connaissance locale n'est pas que la seule difficulté que doit traiter les protocoles. Ces protocoles convergent automatiquement en un nombre de pas de calcul borné vers un état où un seul jeton circule même si initialement l'anneau avait zéro, un ou plusieurs jetons.
Cadre de travail :
Trois applets simulant des protocoles auto-stabilisants sur un anneau ont été réalisés utilisant une même architecture logiciel http://www.labri.fr/perso/johnen/simulation.html.Feuille de route :
si my_valeur ≠ voisin_gauche.my_valeur alors my_valeur := voisin_gauche.my_valeur
La règles pour le leader est :si my_valeur == voisin_gauche.my_valeur alors my_valeur := (voisin_gauche.my_valeur + 1) mod K
Le protocole est auto-stabilisant uniquement dans le cas où K > N (N étant la taille de l'anneau). référence bibliographique de cet protocole : [EWD 391 : Self-stabilizing systems in spite of distributed control, E.W. Dijkstra 1973], il a aussi été publié dans Selected Writings on Computing: A Personal Perspective, Edsger W. Dijkstra, page 41-46 Springer-Verlag, 1982. ISBN 0–387–90652–5.Nom de l'encadrant : Colette Johnen
URL : www.labri.fr/~johnen
Adresse électronique : johnen@labri.fr
Téléphone : 05.40.00.60.47
Bureau : 319