Paxos Made Simple: El algoritmo de consenso que Lamport simplifica

Paxos Made Simple (2001)[pdf]

Leslie Lamport presenta el algoritmo Paxos, a menudo considerado difícil, como uno de los algoritmos distribuidos más simples y obvios. En este artículo, desglosa el algoritmo de consenso en su núcleo, explicando cómo elegir un valor entre procesos que proponen, garantizando seguridad y progreso. Lamport muestra que el algoritmo sigue casi inevitablemente de las propiedades deseadas, y luego describe la implementación completa mediante la aplicación directa del consenso a una máquina de estados. Una lectura esencial para entender los fundamentos de los sistemas distribuidos tolerantes a fallos.