Thèse soutenue

Analyse des performances temporelles et de tolérance aux fautes dans la synchronisation d'horloges

FR  |  
EN
Auteur / Autrice : Amor Bouzelat
Direction : Jean-Pierre ThomesseZoubir Mammeri
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1995
Etablissement(s) : Vandoeuvre-les-Nancy, INPL
Partenaire(s) de recherche : Laboratoire : Centre de recherche en informatique (Vandoeuvre-lès-Nancy, Meurthe-et-Moselle)
Jury : Rapporteurs / Rapporteuses : Dominique Seret, André Schaff, Michel Tréhel

Résumé

FR

Dans les systèmes temps réel et répartis, la synchronisation de tâches fait souvent référence au temps réel. Cependant, cette synchronisation ne peut être cohérente que si tous les nœuds ont la même perception du temps. La synchronisation des horloges locales des nœuds s'impose alors pour que l'ensemble des nœuds aient une vue globale cohérente du temps qu'ils manipulent. Dans cette thèse nous nous intéressons à ce problème de synchronisation d'horloges notamment sous les aspects suivants : proposition d'une approche permettant d'étudier les structures des algorithmes de synchronisation d'horloges en utilisant les mêmes modèles. Cette partie fait suite à la thèse de J. He soutenue en 1993. Analyse des performances temporelles (la précision d'accord et l'exactitude) et de complexité des algorithmes en termes de nombre de messages. Analyse des fautes traitées par les algorithmes de synchronisation d'horloges et proposition d'une démarche d'analyse de la tolérance aux fautes dans les algorithmes de synchronisation d'horloges. Étude d'implantation des algorithmes de synchronisation d'horloges. On s'intéresse notamment aux performances obtenues en plaçant la synchronisation des horloges au niveau M. A. C. (Medium Access Control) des réseaux