Aller au contenu principal

Consensus

Progression

#Consensus

Atteindre un accord entre nœuds faillibles demande d’organiser propositions et acceptations de sorte que tous finissent par voir la même décision. Paxos et Raft formalisent ce processus. Raft sépare clairement élection du leader, réplication du log et sécurité des engagements. Les cœurs du protocole sont simples à dire mais exigeants à implémenter correctement, notamment sur les redémarrages et les re‑élections.

Le coût de la coordination est inévitable quand il faut une vue unique et immédiate. La bonne pratique consiste à la réserver aux rares zones critiques, tout en privilégiant ailleurs des structures qui tolèrent la divergence temporaire sans casser les invariants. Une fois adopté, un journal répliqué sert d’épine dorsale pour distribuer des machines d’état déterministes.

#Animation: carte mentale du consensus

Modèle
Processus, messages, pannes (crash, partitions)
Impossibilité
FLP: pas de consensus déterministe en asynchrone pur
Quorums
Majorités qui se recouvrent
Leader
Sérialiser les décisions (Paxos/Raft)
Safety/Liveness
Ne pas contredire / finir par décider