Implementation de mecanisme de detection de defaillances dans un environnement byzantin

Abstract

La conception d'algorithmes distribués est un problème difficile en raison de la possibilité d'existence de défaillances partielles. Pour résoudre ce problème, Chandra et Toueg ont suggéré une approche modulaire où la détection est encapsulée à l'intérieur d'un oracle spécifique appelé détecteur de défaillances. Cette approche modulaire simplifie le raisonnement au sujet de la correction des algorithmes d'accord, mais elle a été proposée dans un contexte de défaillances crashs. Une question naturelle vient à l'esprit : Est- il raisonnable de suivre une approche similaire dans le contexte de défaillances byzantines ? En d'autres termes, y a-t- il une notion du détecteur de défaillances byzantines qui permet également une bonne modulation ? Dans ce travail, nous nous intéressons à la conception des protocoles implémentant les détecteurs de défaillances. Nous présentons d'abord une synthèse sur les détecteurs de défaillances utilisés pour les systèmes asynchrones, puis nous donnons les deux protocoles implémentant les détecteurs de défaillances byzantines. Ensuite, nous proposons deux protocoles nouveaux implémentant le détecteur de défaillances Byzantine Omega. Le premier est basé sur des hypothèses de synchronie faible, et le deuxième est basé sur des hypothèses qui n'utilisent pas le temps physique.