Algorithmique de fiabilisation de systemes repartis

par EMMANUELLE ANGEAUME

Thèse de doctorat en Sciences appliquées

Sous la direction de Pierre Rolin.

Soutenue en 1993

à Paris 11 .

    mots clés mots clés


  • Résumé

    Cette these intitulee algorithmique de fiabilisation des systemes repartis est centree sur la contribution de la tolerance aux fautes a la fiabilisation. Toute solution tolerante aux fautes est basee sur l'utilisation de la redondance. L'occurrence d'une defaillance (non reception atomique d'une entree par tous les modules redondants), peut conduire a une desynchronisation des traitements effectues par tous les modules redondants. Il y a donc necessite de resynchronisation. Cette these propose deux types de solutions. La premiere solution est basee sur une redondance pseudo-active avec synchronisation leader/suiveurs. La seconde est basee sur une redondance active avec diffusion atomique au sein des modules redondants. Une etude approfondie des protocoles de diffusion atomique existants a permis de mettre en evidence le non respect de cinq proprietes fondamentales (diffusions spontanees, diffusions concurrentes, nombre minimal d'annulations de messages, pars d'exclusion abusive et non contamination du groupe de diffusion). C'est la raison pour laquelle le protocole de diffusion atomique abp (atomic broadcast protocol) est defini. Abp tolere les defaillances par arret et par omission en milieu borne. L'evaluation des performances de abp est realisee par simulation. Le modele de simulation est valide par double confrontation: confrontation aux performances validees de amp (atomic multicast protocol, protocole utilise dans le projet esprit delta-4), et confrontation analytique. L'evaluation de performances a permis de mettre en evidence l'influence des parametres tels que la longueur des messages, la charge, la taille du groupe de diffusion, la taille de la fenetre d'emission, et la concurrence. Dans un environnement defaillant, la duree de vie du groupe, le nombre d'annulations, le nombre de validations sont donnes pour un protocole de diffusion atomique simple et pour abp: ils quantifient l'importance des cinq proprietes


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 44 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-011186
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.