Recherche Avancée

Thèse soutenue

Une approche a la construction de services fiables dans les systemes distribues

FR  |  
EN
Auteur / Autrice : BRUNO ROCHAT
Direction : Michel Banâtre
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1992
Etablissement(s) : Rennes 1

Résumé

FR

Ce travail s'inscrit dans le projet ftm developpe a l'irisa, ayant pour objectif la construction d'une machine multiprocesseur faiblement couplee tolerant les fautes. Cette machine est obtenue a partir d'une architecture materielle standard a laquelle sont ajoutees des memoires stables transactionnelles. Notre contribution a ce projet est la definition d'un modele de constructin de services fiables tolerant les fautes qui tire profit des memoires stables de l'architecture. Deux objectifs ont guide la definition du modele. Le premier objectif est de construire un systeme ouvert a partir du modele de calcul client-serveur: chaque serveur est fiable et peut resister a l'occurrence d'une faute materielle simple sans interruption de service. Le second objectif est de masquer les difaillances materielles aux utilisateurs du systeme. L'idee du modele que nous proposons repose sur l'interpretation d'un calcul de points de reprise comme une action atomique globale au systeme. L'action atomique n'est pas definie explicitement par l'utilisateur mais est calculee dynamiquement a partir des interactions entre les processus utilisateurs et les processus serveurs dans le systeme. Le modele est mis en uvre au-dessus du micro-noyau mach et un service fiable de memoire virtuelle partagee a ete construit suivant ce modele