Paxos
L'algorithme de consensus de Leslie Lamport (1989) — permet à un groupe de nœuds peu fiables de s'accorder sur une valeur malgré des pannes partielles du réseau.
Deux phases : prepare/promise, puis accept/accepted. Une majorité (le quorum) doit répondre aux deux avant qu'une valeur soit validée. Multi-Paxos supprime la phase de préparation tant que le même leader reste stable, ce qui le rend utilisable en pratique.
Réputé difficile à comprendre — l'article « Paxos Made Simple », signé Lamport lui-même, est devenu une plaisanterie récurrente du milieu. Utilisé dans Google Chubby et Spanner ; la plupart des systèmes récents choisissent Raft, plus simple à enseigner mais fondamentalement équivalent.