Recherche en cours

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

format unimarc