Paxos
Paxos es el protocolo de consenso propuesto por Lamport, que garantiza el acuerdo sobre un valor mientras sobreviva una mayoría de nodos; la piedra angular de los sistemas distribuidos.
Propósito
Comprender los cimientos teóricos del consenso distribuido y sus implementaciones de ingeniería, diseñando servicios de consistencia tolerantes a fallos.
Mecanismo
Un Proposer propone: 1) envía Prepare(n) a una mayoría de Acceptors; 2) tras la promesa de la mayoría, envía Accept(n,v) a la mayoría. Los Learners aprenden el valor decidido de una mayoría de Acceptors. Multi-Paxos optimiza el consenso sobre un log continuo.
Casos de uso
- Consenso distribuido
- Replicación de logs
- Máquinas de estado tolerantes a fallos