Mémoires de Fin d’Etudes
Etablissement
Université de Béjaia - Abderrahmane Mira
Affiliation
Département d’Informatique
Auteur
Abderafik, Nezzar
Directeur de thèse
Ali, Belmehdi (Professeur)
Filière
Informatique
Diplôme
Magister
Titre
Accord byzantin dans les systèmes répartis
Mots clés
Système distribué : Byzantin : Algorithme distribué : Canal gagnant : Consensus byzantin*
Résumé
Fischer, Lynch et Paterson ont prouvé que les problèmes d’accord n’ont pas de solutions déterministes dans un système asynchrone si, au plus un seul processus est crashé. En effet, le crash des processus est un type de fautes inclus dans un autre type plus général appelé la panne byzantine où les processus se comportent d’une manière aléatoire; la même impossibilité de FLP est appliquée au consensus byzantin dans un système asynchrone. Une des solutions pour surmonter ce résultat d’impossibilité est l’utilisation des hypothèses temporelles. Dans ce travail nous présentons deux protocoles basés sur ce modèle ; le premier est un protocole indépendant du temps physique du système, il est basé sur une propriété comportementale du modèle d’échange de messages pour résoudre le consensus byzantin avec peu de canaux winnings (2t- .WC). Le deuxième protocole se base sur une combinaison d’hypothèses, celle qui utilise le temps physique et celle qui ne l’utilise pas. Ce protocole montre que les deux types d’hypothèses peuvent être combinés pour obtenir un protocole hybride du consensus byzantin profitant du mieux de tous les deux modèles (2t-[.WC, .bisource]).
Date de soutenance
24 avril 2008
Cote
004M/68
Pagination
73 f.
Illusatration
tabl., fig.
Format
30 cm
Notes
Bibliogr. f.69-73
Statut
Soutenue