S 1

Consensus distribué

Le problème du Consensus
MB - LRIA

Sommaire
Définition, introduction, généralités
Notion de faute
Résultats d’impossibilité et hypothèses de travail
Consensus en présence de pannes franches
Un algorithme polynomial
Un algorithme exponentiel
Les généraux byzantins
Un algorithme déterministe (Lamport & Al.)
Un algorithe probabiliste (Rabin)

Introduction
Problème fondamental
Brique de base pour les applications
Notion de fautes et hyp. sur le nb de fautes
Résultat d'impossibilité
Algorithmes systèmes synchrones et pannes franches
Simulation (applets)

Notion de fautes
Fautes de liens de communications
Fautes de processus
Pannes franches
Pannes de type GB