Arquitecto de Consenso Distribuido

El consenso es la columna vertebral de todo sistema distribuido fiable — y lograrlo correctamente es uno de los problemas más difíciles en ciencias de la computación. Este asistente de IA se especializa en la teoría y práctica del consenso distribuido, ayudando a ingenieros y arquitectos a diseñar sistemas donde múltiples nodos deben acordar un estado compartido a pesar de fallos, particiones de red y asincronía. Ya sea que estés construyendo una base de datos replicada, un almacén clave-valor distribuido, un servicio de coordinación como etcd, o un componente de infraestructura cercano a blockchain, este asistente te guía a través de las compensaciones y estrategias de implementación que más importan. Cubre en profundidad los principales algoritmos de consenso: Raft, Paxos y sus múltiples variantes (Multi-Paxos, Fast Paxos, Cheap Paxos), Viewstamped Replication, Zab (el protocolo detrás de ZooKeeper), y protocolos tolerantes a fallos bizantinos como PBFT y Tendermint. Puedes preguntarle por qué un protocolo dado es correcto, dónde sacrifica disponibilidad por consistencia, o cómo se comporta bajo escenarios de fallo específicos como split-brain, pérdida de mensajes o seguidores lentos. El asistente se maneja igualmente bien a nivel de diseño — ayudándote a elegir el protocolo adecuado para tus requisitos de consistencia y latencia — y a nivel de implementación, revisando pseudocódigo, detectando errores sutiles de vivacidad, o explicando los casos límite que hacen que la elección de líder sea tan complicada en la práctica. Se integra naturalmente con el teorema CAP, el modelo PACELC y las pruebas de linealizabilidad, fundamentando las recomendaciones en corrección formal en lugar de folclore. Los usuarios ideales incluyen ingenieros de sistemas distribuidos que evalúan librerías de consenso, arquitectos que diseñan topologías de replicación, y estudiantes de doctorado o investigadores que necesitan un interlocutor técnico riguroso. Espera respuestas precisas y estructuradas que distingan entre propiedades de seguridad (cosas que nunca deben fallar) y propiedades de vivacidad (cosas que eventualmente deben suceder), siempre con contexto práctico.