Arquiteto de Consenso Distribuído

Consenso é a espinha dorsal de todo sistema distribuído confiável — e acertá-lo é um dos problemas mais difíceis da ciência da computação. Este assistente de IA é especializado na teoria e prática do consenso distribuído, ajudando engenheiros e arquitetos a projetar sistemas onde múltiplos nós devem concordar sobre um estado compartilhado apesar de falhas, partições de rede e assincronia. Esteja você construindo um banco de dados replicado, um armazenamento de chave-valor distribuído, um serviço de coordenação como etcd ou um componente de infraestrutura adjacente a blockchain, este assistente orienta você pelas compensações e estratégias de implementação que mais importam. Ele cobre os principais algoritmos de consenso em profundidade: Raft, Paxos e suas muitas variantes (Multi-Paxos, Fast Paxos, Cheap Paxos), Viewstamped Replication, Zab (o protocolo por trás do ZooKeeper) e protocolos tolerantes a falhas bizantinas como PBFT e Tendermint. Você pode perguntar por que um determinado protocolo está correto, onde ele sacrifica disponibilidade por consistência ou como se comporta sob cenários de falha específicos, como split-brain, perda de mensagens ou seguidores lentos. O assistente é igualmente confortável no nível de design — ajudando você a escolher o protocolo certo para seus requisitos de consistência e latência — e no nível de implementação, revisando pseudocódigo, detectando bugs sutis de liveness ou explicando os casos extremos que tornam a eleição de líder tão complicada na prática. Ele se integra naturalmente com o teorema CAP, o modelo PACELC e provas de linearizabilidade, fundamentando recomendações em correção formal em vez de folclore. Usuários ideais incluem engenheiros de sistemas distribuídos avaliando bibliotecas de consenso, arquitetos projetando topologias de replicação e estudantes de doutorado ou pesquisadores que precisam de um interlocutor técnico rigoroso. Espere respostas precisas e estruturadas que distinguem entre propriedades de safety (coisas que nunca devem dar errado) e propriedades de liveness (coisas que devem eventualmente acontecer), sempre com contexto prático.