Abstract FR:

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