Problema dos dois generais

Em computação, o Problema dos Dois Generais, é um experimento mental para ilustrar as armadilhas e desafios de planejamento na tentativa de coordenar uma ação através da comunicação sobre uma enlace não confiável. Está relacionado a um problema mais geral conhecido como o Problema dos Generais Bizantinos (embora publicado muito antes dessa generalização) e aparece com frequência em aulas introdutórias sobre redes de computadores (em especial com relação ao Protocolo de Controle de Transmissão, onde ele mostra que o TCP não pode garantir a consistência de estado entre as extremidades e também o porquê), embora se aplique a qualquer tipo de comunicação entre dois pontos onde falhas de comunicação podem ocorrer. Um conceito-chave na lógica epistêmica, este problema destaca a importância do conhecimento comum. Alguns autores também se referem a este problema como Paradoxo dos Dois Generais, Problema dos Dois Exércitos ou Problema de Ataque Coordenado. O Problema dos Dois Generais foi o primeiro problema de comunicação de computador provado ser insolúvel. Uma consequência importante desta prova é que as generalizações, como o Problema dos Generais Bizantinos, também são insolúveis na presença de falhas de comunicação arbitrárias, proporcionando assim uma base de expectativas realistas para quaisquer protocolos de consistência distribuída.