Accords tolérant les fautes dans les systèmes répartis synchrones et asynchrones

• Auteur / Autrice : Philippe Raîpin Parvedy
• Direction : Michel Raynal
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2004
• Etablissement(s) : Rennes 1

Mots clés

Mots clés contrôlés

Tolérance aux fautes (informatique)

Traitement réparti

Mots clés libres

Grille de calcul

Consensus (informatique)

Résumé

Nous étudions la tolérance aux fautes dans les systèmes répartis. Nous nous intéressons à la résolution de problèmes d'accord utiles à la gestion de ces systèmes. Parmi ces problèmes, nous recensons la gestion du groupe des entités ou encore la diffusion atomique. Tous les problèmes d'accord ont un sous-problème commun: celui du consensus. Pour gérer un système réparti, il faut donc l'y résoudre. Dans les systèmes synchrones, nous proposons des protocoles optimaux le résolvant dans divers modèles de fautes. Dans les systèmes asynchrones, il n'a pas de solution. Nous étudions deux approches pour contourner cette impossibilité. L'une consiste à restreindre son espace de définition. Nous faisons une étude probabiliste d'un protocole basé sur cette approche. L'autre consiste à enrichir le système de détecteurs de défaillances. Nous étudions les limites de tolérance des systèmes munis de détecteurs <>Sx. Nous présentons aussi, le système Paradis pilotant une grille de calcul.