Raft: el algoritmo de consenso diseñado para que los humanos podamos entenderlo

Ongaro y Ousterhout partieron de una premisa insólita en un paper: la comprensibilidad como requisito de diseño de primer orden. El resultado es el algoritmo de consenso que hoy corre dentro de etcd o Consul, y un paper que se puede leer de verdad. Me convenció de que la claridad es una propiedad de ingeniería tan real como el rendimiento, con consecuencias medibles en adopción.

Abrir el original ↗pdf0 visitas · 0 lectores

Diego Ongaro y John Ousterhout · raft.github.io

MIMarco Ibáñez

Conexiones

Trazadas y explicadas por personas: la razón es lo que las hace valiosas.

«De Raft a Dijkstra se aprende que la comprensibilidad y las convenciones justificadas —no la tradición— son decisiones de ingeniería: explicarlas y razonar sobre ellas (p. ej. empezar a contar en 0) mejora corrección, mantenibilidad y adopción del software.»
MIMarco Ibáñez
Dijkstra explica en dos páginas por qué contamos desde ceroArtículo
«Pasar de Raft a la Constitución de IA muestra que imponer comprensibilidad como requisito de diseño —protocolos claros en sistemas distribuidos— otorga las mismas ganancias en IA: reglas legibles que mejoran trazabilidad, debate público, gobernanza y adopción segura.»
MIMarco Ibáñez
Una constitución para la máquina: alinear IA con principios escritos, no solo votosPDF