Raft
termonuvemprogramação
Um algoritmo de consenso desenhado para ser compreensível, dando as mesmas garantias do Paxos por meio de um líder explícito, um log apenas-acréscimo e uma eleição definida.
Sua contribuição é pedagógica, e isso não é pouco: um algoritmo sobre o qual o operador consegue raciocinar é um que ele configura certo, e a maioria das quedas de consenso é configuração, e não matemática. Ele separa o problema em eleição de líder, replicação de log e segurança, o que também se mapeia no que um sistema de monitoração consegue mostrar. Se você roda etcd, Consul ou um repositório distribuído moderno, é isso que está rodando, e a regra prática que decorre é a conhecida - número ímpar de membros, e uma minoria que para.