Paxos

Resumen

Paxos, formulado por Leslie Lamport en 1989, es el algoritmo canónico para resolver el problema del consenso en sistemas distribuidos con fallas. Su objetivo: que un conjunto de nodos acuerde un valor único, incluso si algunos fallan o los mensajes se pierden.

Paxos es notoriamente difícil de entender —el paper original usa una metáfora de un parlamento griego—. Raft fue creado explícitamente como alternativa más comprensible. Sin embargo, Paxos es la base teórica de casi todo sistema de consenso: Zookeeper (Zab, una variante), Google Chubby y Spanner.

Alcance y supuestos

Cubre Paxos como algoritmo de consenso, sus roles (proposer, acceptor, learner) y su importancia histórica. Asume familiaridad con el problema del consenso.

Modelo mental

Una asamblea legislativa donde un proyecto de ley necesita mayoría para aprobarse. Un legislador propone, los demás votan, y si la mayoría vota a favor, la ley se aprueba. Si el presidente de la asamblea se desmaya, otro legislador toma la palabra. Paxos es el reglamento que garantiza que nunca se aprueben dos leyes contradictorias, incluso con desmayos y gritos.

Uso práctico

• ✅ Base teórica de sistemas de consenso en producción.
• ❌ Rara vez implementado directamente; se usan variantes como Raft.

Ejemplo trabajado: Paxos en acción

Tres nodos A, B, C. A propone valor X. B y C aceptan. Mayoría alcanzada → X es el valor consensuado. Si A falla antes de confirmar, B puede proponer un valor más alto y lograr consenso. El papel original de Lamport explica este baile de mensajes con precisión matemática.

Evidencia

• Wikipedia, Paxos documenta el algoritmo y sus variantes (Multi-Paxos, Fast Paxos, EPaxos).