Generais Bizantinos

O PROBLEMA DOS GENERAIS BIZANTINOS APLICADO À
SIMULAÇÃO DE UM DDoS
Autores:
Alexandre Pereira Prado RA 007958
Fernando Mendonça Maranho RA 016089
João Paulo Fernandes Ventura RA 024115
Mário César Sam Felice RA 024645
Peterson Katarigi Zilli RA 024854
ABSTRACT
Este trabalho trata do problema de falhas bizantinas em um sistema distribuído. Falhas bizantinas são quaisquer tipos de falhas arbitrárias que um componente pode apresentar, como por exemplo, enviar informações conflitantes para diferentes partes do sistema. O problema é modelado abstratamente como o Problema dos Generais
Bizantinos. A aplicação que iremos desenvolver sobre este problema é a simulação de um DDoS, ou seja, um conjunto de nós que devem concordar sobre um horário de ataque e um nó de ataque.
Inicialmente, apresentamos e discutimos a descrição do problema alvo, a aplicação e o cronograma do projeto. Em seguida, explicamos em detalhes o algoritmo de Lamport,
Shostak e Pease que soluciona o problema dos generais bizantinos (tanto a versão iterativa quanto a versão recursiva do algoritmo). Ainda sobre o algoritmo, discutimos as mudanças que são necessárias para trabalhar com grafos gerais, uma vez que o algoritmo básico presupõe que o grafo é completo. Por fim, apresentamos o plano de testes que será realizado e discutimos algumas dificuldades previstas para o projeto.
INTRODUÇÃO
Um sistema computacional confiável deve ser capaz de lidar com falhas de um ou mais de seus componentes. Um componente com falha pode apresentar um comportamento que é frequentemente negligenciado: enviar informações conflitantes para diferentes partes do sistema. Esta situação pode ser expressada abstratamente em termos de um grupo de generais do exército Bizantino acampados com suas tropas em torno de uma cidade inimiga. Comunicando-se apenas via mensagens, os generais devem concordar em um plano de batalha comum. No entanto, um ou mais dos generais podem ser traidores que tentarão