Resistance aux fautes dans les algorithmes repartis : auto-stabilisation et tolerance aux fautes

par SYNNOVE KEKKONEN MONETA

Thèse de doctorat en Sciences appliquées

Sous la direction de Joffroy Beauquier.

Soutenue en 1998

à Paris 11 .

    mots clés mots clés


  • Résumé

    Les fautes qui peuvent entrainer le dysfonctionnement d'un systeme reparti sont classees, selon leurs effets, en des fautes de processus (causant la corruption d'algorithmes) et des fautes systemiques (causant la corruption de donnees). Cette classification obtenue, nous definissons un modele formel et precis pour representer les executions d'un algorithme reparti en presence de fautes de processus et/ou fautes systemiques. Ce modele est ensuite utilise pour verifier des proprietes de resistance aux fautes de nos algorithmes. Dans une premiere partie, nous nous interessons a des algorithmes auto-stabilisants qui restituent automatiquement le comportement correct du systeme apres une faute systemique. Nos deux algorithmes auto-stabilisants (le premier probabiliste et le second deterministe) illustrent ce nouveau paradigme de programmation. Dans une seconde partie, nous nous focalisons sur des algorithmes simultanement tolerants aux fautes de processus et auto-stabilisants (k-ftss) qui, malgre la presence de jusqu'a k processus en faute et en l'absence de nouvelles fautes systemiques, garantissent que les processus corrects (i) atteignent le comportement correct a partir d'un etat quelconque et (ii) maintiennent alors le comportement correct. Nous demontrons tout d'abord un resultat d'impossibilite important pour des algorithmes k-ftss ; ce resultat nous permet de verifier si un probleme est resoluble de maniere k-ftss ou non. Ensuite, nous prouvons plusieurs solutions k-ftss deterministes et probabilistes a des problemes k-ftss-solubles. En fin, nous explorons des hypotheses qui permettent de resoudre de maniere k-ftss un probleme qui n'est pas autrement k-ftss-soluble.

  • Titre traduit

    On failure resilience of distributed protocols : self-stabilization and fault-tolerance


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 151 P.
  • Annexes : 62 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Disponible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-013726
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.