Paxos
El algoritmo de consenso de Leslie Lamport (1989) — permite que un grupo de nodos poco fiables se pongan de acuerdo en un valor aunque parte de la red esté caída.
Dos fases: prepare/promise y accept/accepted. Una mayoría (quórum) debe responder a ambas para que un valor se confirme. Multi-Paxos se ahorra la fase de prepare cuando el mismo líder se mantiene estable, que es lo que lo hace utilizable en la práctica.
Famoso por lo difícil de entender — el propio paper de Lamport "Paxos Made Simple" acabó siendo un chiste interno. Se usó en Google Chubby y Spanner; hoy la mayoría de sistemas nuevos eligen Raft, pedagógicamente más simple pero en el fondo equivalente.