Abstract FR:

Le sujet de cette thèse est l'étude de la structuration des mécanismes de tolérance aux fautes matérielles dans les systèmes distribues a base de micronoyaux. Le système distribue Mach/NORMA, nous a servi de base de test et de validation pour les idées développées dans cette étude. Les pannes partielles dans un système distribue peuvent corrompre son état global et rendre ses services indisponibles. Nous étudions les différentes techniques qui permettent de détecter les pannes dans un système asynchrone d'une manière cohérente, d'identifier les dommages occasionnes par la panne et de réparer l'état du micro-noyau et des applications, en remettant le système dans un état global cohérent. Les changements de configuration d'un système distribue sont multiples: les pannes, les retraits volontaires, et l'adjonction de nœuds au système sont tous des évènements qui forcent le système a se reconfigurer. Nous traitons ces évènements dans un seul composant, le service d'adhésion, que nous identifions comme un service de base dans un système distribue tolérant les fautes. Les besoins de fiabilité varient d'une application a une autre. Nous décrivons une structuration des mécanismes de tolérance aux fautes qui permet d'accommoder les différents besoins des applications en supportant plusieurs techniques de recouvrement dans le système. Nous illustrons cette approche par la construction d'un mécanisme de recouvrement base sur les points de reprise coordonnes, au dessus du micro-noyau mach et avec un support minimum de ce dernier