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

An approach to building reliable services in distributed systems

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

Mots clés

Mots clés libres

Sciences appliquees

Informatique, automatique theorique, systemes

Memoire stable transactionnelle

Tolerance aux fautes

Systeme ouvert

Serveur fiable

Point de reprise

Construction dynamique d'action atomique

Micro-noyau

Memoire virtuelle fiable

Résumé

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