FenixEdu™

Dissertação

Robust Multicast Routing Protocol EVALUATED

Detalhes: Protocolos de encaminhamento multicast são uma solução eficiente para comunicações em grupo, fornecendo uma ligação lógica entre fontes e recetores multicast, através de uma ou mais árvores de distribuição. Vários protocolos de encaminhamento multicast foram propostos mas os protocolos PIM (PIM-DM e PIM-SM) são atualmente os preferidos, estando implementados na maioria dos equipamentos de rede. Estes protocolos são do tipo soft-state, apresentando várias limitações que usualmente são corrigidas através da reconstrução periódica das árvores de distribuição multicast. Este trabalho propõe uma versão hard-state do PIM-DM. Ao contrário do PIM-DM, mensagens de controlo são entregues de forma fiável e sequenciadas de acordo com a sua ordem de transmissão, e as árvores de distribuição multicast são formadas exclusivamente através de mensagens de controlo. Além disso, cada router monitoriza todos os seus vizinhos que podem potencialmente ser seus pais na árvore (i.e. que possam encaminhar dados multicast), uma característica que permite manter a árvore correta mesmo na presença de reconfigurações e falhas na rede. Adicionalmente, um processo de sincronização assegura que novos routers ao ligarem-se à rede, recebam de imediato o estado necessário para se conectarem às árvores já existentes. Finalmente, várias otimizações foram realizadas de maneira a reduzir a quantidade de estado armazenado e várias características foram incluídas de maneira a evitar ataques de segurança. A correção do protocolo foi assegurada usando argumentação lógica e model checking, através da linguagem Promela e a ferramenta SPIN. O protocolo foi implementado em Python e foi extensivamente testado num ambiente de rede emulado.
Keywords: protocolo de encaminhamento multicast, árvores de distribuição multicast, Dense Mode, hard-state, HPIM-DM, PIM-DM

Discussão: novembro 12, 2018, 15:0