Stabilisation des horloges de phases dans les systemes distribues

Nous tudions le problme de la synchronisation de phases, valeurs bornes par un entier K, dans le cadre de l'auto-stabilisation et de la stabilisation instantane. Dans un premier temps, nous prsentons trois algorithmes semi-uniformes pour systmes asynchrones. Ces trois algorithmes fonctionnent sur des arbres orients et sont stabilisants instantanment, c'est dire qu'ils vrifient toujours la spcification du synchroniseur, quelle que soit la configuration initiale. Dans un second temps, nous tudions les systmes synchrones uniformes dans le cadre de l'auto-stabilisation. Nous proposons ensuite sur des arbres uniformes, le premier algorithme dterministe qui fonctionne pour toute valeur de K. Son temps de stabilisation, D, en fait le plus rapide de la littrature sur les rseaux mmoire borne. Nous prsentons un dernier algorithme en 2K tats qui stabilise sur une chane, pour toute valeur de K, en au plus 2D transitions. Il constitue le premier algorithme universel sur une chane dont l'encombrement mmoire est indpendant du rseau.