Paxos
Paxos est le protocole de consensus proposé par Lamport, garantissant l'accord sur une valeur tant qu'une majorité de nœuds survit ; la pierre angulaire des systèmes distribués.
Objectif
Comprendre les fondements théoriques du consensus distribué et ses implémentations d'ingénierie, afin de concevoir des services de cohérence tolérants aux pannes.
Mécanisme
Un Proposer propose : 1) envoyer Prepare(n) à une majorité d'Acceptors ; 2) après la promesse de la majorité, envoyer Accept(n,v) à la majorité. Les Learners apprennent la valeur décidée auprès d'une majorité d'Acceptors. Multi-Paxos optimise le consensus sur un journal continu.
Cas d’usage
- Consensus distribué
- Réplication de journaux
- Machines à états tolérantes aux pannes