Accord byzantin dans les systemes repartis

Abstract

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]).