In Search of an Understandable Consensus Algorithm — Ongaro & Ousterhout (2014)

Consenso para humanos

Paxos fue durante décadas el algoritmo canónico de consenso distribuido, pero tenía un problema fundamental: casi nadie lo entendía bien. La descripción original de Lamport era notoriamente difícil de seguir, y las implementaciones prácticas se desviaban tanto del paper que se convertían en "Paxos" solo de nombre. Diego Ongaro y John Ousterhout decidieron que la comprensibilidad debía ser un objetivo de diseño de primera clase y crearon Raft.

Raft descompone el problema de consenso en tres subproblemas relativamente independientes:

• Elección de líder: un nodo es elegido como líder y se encarga de gestionar el log replicado
• Replicación de log: el líder acepta entradas de los clientes y las replica a los demás nodos
• Seguridad: garantías de que si un nodo aplicó una entrada en un índice dado, ningún otro nodo aplicará una entrada diferente en ese mismo índice

Esta descomposición hace que cada parte sea comprensible de forma aislada. El paper incluyó un estudio con estudiantes de Stanford que demostró que Raft era significativamente más fácil de entender que Paxos. Hoy, Raft es el motor de consenso detrás de etcd, CockroachDB, Consul y docenas de sistemas de producción críticos. La lección más valiosa del paper no es técnica sino metodológica: en ingeniería de sistemas, la claridad no es un lujo — es un requisito.