Anais - Engenharia de Redes de Comunicação - UnB

Apesar das suas vantagens, as redes P2P apresentam desafios para o provimento
de garantias de confiabilidade. Essas redes normalmente são formadas dinamicamente
por nós totalmente autônomos que podem entrar e sair do sistema a qualquer momento.
Essas características de dinamismo tornam difícil manter a consistência das informações
distribuídas no sistema. Ademais, essas redes não possuem uma gerência global, sendo
redes de pares normalmente abertas. Devido a essa característica, as redes P2P podem
conter participantes maliciosos que colocam em risco o funcionamento das aplicações.
Neste trabalho, é apresentada uma infraestrutura tolerante a intrusões para
memórias compartilhadas em sistemas de larga escala. Esta infraestrutura faz uso das
funcionalidades de um overlay P2P estruturado e tolerante a intrusões, sobre o qual é
introduzido o conceito de segmentação tomando como base a divisão do espaço de
chaves da rede P2P e a aplicação de técnicas de Replicação Máquina de Estados (RME)
[Schneider 1990]. A partir de segmentos é possível garantir consistência e tolerar uma
quantidade de participantes maliciosos em um sistema de memória compartilhada. A
segmentação do overlay depende do fornecimento de uma técnica de indexação, isto é,
um mapeamento de objetos para chaves, pela aplicação de memória compartilhada.
O restante do artigo está organizado da seguinte forma: a seção 2 enumera as
premissas do modelo de sistema adotado, a seção 3 introduz a solução proposta neste
trabalho, a seção 4 contém discussões sobre as propostas de nosso trabalho e coloca
problemas em aberto. A seção 5 examina os trabalhos relacionados e conforta os
mesmos diante de nossas soluções. A seção 6 traz as conclusões do artigo.
2. Modelo de Sistema
Consideramos um sistema distribuído formado por um conjunto finito de processos
(ou nós) extraídos de um universo , interconectados por uma rede. Cada nó possui um
endereço único de rede e pode enviar mensagens para qualquer outro nó, desde que
conheça seu endereço. Um nó é considerado correto se age de acordo com a
especificação dos protocolos nos quais participa. Um nó malicioso (ou bizantino
[Lamport et al. 1982]) pode agir de maneira arbitrária ou simplesmente parar em certos
momentos. O sistema proposto tolera certo número de nós maliciosos durante sua
execução. Assume-se que em qualquer momento da execução, no máximo nós
faltosos estão presentes no sistema. O parâmetro é global e conhecido por todos os
nós do sistema.
Imediatamente acima da rede, encontram-se duas camadas independentes que
serão usadas para construir a camada de segmentação proposta neste trabalho. A
camada de overlay, descrita na Seção 2.1, implementa uma rede P2P sobre o sistema,
com busca eficiente de nós distribuídos, e a camada de suporte à replicação, descrita na
Seção 2.2, que fornece uma abstração de Replicação Máquina de Estados (RME)
[Schneider 1990] usada para garantir a disponibilidade e consistência das informações
contidas no sistema. Em geral, os custos da RME não permitem que essa técnica seja
aplicada a uma grande quantidade de nós, portanto neste trabalho dividimos o sistema
Tabela 1: Camadas do Sistema
Segmentação
Overlay
Suporte à Replicação
Rede
156