Stabilisation des horloges de phases dans les syst?es distribu?

Nous ?tudions le probl?me de la synchronisation de phases, ? valeurs born?es par un entier K, dans le cadre de l'auto-stabilisation et de la stabilisation instantan?e. Dans un premier temps, nous pr?sentons trois algorithmes semi-uniformes pour syst?mes asynchrones. Ces trois algorithmes fonctionnent sur des arbres orient?s et sont stabilisants instantan?ment, c'est ? dire qu'ils v?rifient toujours la sp?cification du synchroniseur, quelle que soit la configuration initiale. Dans un second temps, nous ?tudions les syst?mes synchrones uniformes dans le cadre de l'auto-stabilisation. Nous proposons ensuite sur des arbres uniformes, le premier algorithme d?terministe qui fonctionne pour toute valeur de K. Son temps de stabilisation, D, en fait le plus rapide de la litt?rature sur les r?seaux ? m?moire born?e. Nous pr?sentons un dernier algorithme en 2K ?tats qui stabilise sur une cha?ne, pour toute valeur de K, en au plus 2D transitions. Il constitue le premier algorithme universel sur une cha?ne dont l'encombrement m?moire est ind?pendant du r?seau.

Author: Nolot-F

Publisher: Omniscriptum

Publication Date: Feb 28, 2018

Number of Pages: 144 pages

Binding: Paperback or Softback

ISBN-10: 6131540446

ISBN-13: 9786131540448