Consensus byzantin et hypothèses de synchronie
Abstract
Parmi les nombreux intérêts de l'informatique répartie, un des principaux est de permettre l'existence de services tolérants aux fautes. En effet, supposons qu'un service (le site d'une banque par exemple) ne s'exécute que sur une seule machine, la probabilité que cette dernière soit défaillante (à cause de problèmes matériels par exemple) est relativement grande. Et donc la probabilité que le site ne soit plus accessible est, en pratique, beaucoup trop importante. Il est donc courant que les services informatiques s'exécutent sur de nombreuses machines. Ainsi, si l'une d'entre elles tombe en panne, le service continuera de manière transparente pour l'utilisateur. Cependant, cette approche apporte un nouveau problème non trivial : les différentes machines doivent proposer des services cohérents. Nous nous concentrerons dans ce rapport tout particulièrement sur le problème du consensus en présence de processus byzantins avec l'utilisation de signatures (à base de cryptographie asymétrique). Les processus byzantins sont souvent utilisés pour modéliser des processus malicieux qui tentent de faire échouer le consensus. Ces derniers ne suivent donc pas forcément le même protocole que les processus corrects.
Loading...