FenixEdu™

Dissertação

NF Composition Synthesis EVALUATED

Detalhes: Diversos trabalhos têm explorado funções de rede implementadas em software (NFs) que permitem o processamento de pacotes, permitindo assim que servidores comuns substituam equipamentos de rede inflexíveis. Desenvolver NFs com alta taxa de processamento de pacotes tem sido um desafio, mas técnicas recentes, como o uso de bibliotecas que permitem contornar o kernel, permitiram o processamento de pacotes a taxas de 10s de Gbit/s e latências de 100s de ns, tornando essas opções competitivas com hardware dedicado. Em alguns casos, os desenvolvedores podem desejar usar uma NF que combine recursos de várias NFs. Assim, os mesmos enfrentam o desafio de combinar o código de ambas, uma tarefa na qual precisam de se familiarizar com o código de cada NF constituinte e construir uma nova enquanto incorporam e melhoram trechos de código para sintetizar a funcionalidade desejada. Isso é ainda mais complicado pelo esforço necessário para manter o código à medida que as NFs evoluem o seu próprio código ao longo do tempo. Trabalhos recentes na verificação de NFs exploraram análise simbólica para construir uma representação precisa e completa de todo o comportamento de uma NF. Nesse caso, essa representação foi usada para verificar o comportamento em relação a uma especificação de modo a encontrar erros. Nesta tese, propomos usar esta técnica para fundir duas ou mais NFs para combinar as suas funcionalidades. Esta fusão pode ser totalmente automatizada, caso as funcionalidades de ambas as NFs sejam ortoginais. No entanto, para casos mais complexos, desenvolvemos novas formas de resolução de conflitos.
Keywords: Funções de rede em software, Análise de programas, Síntese de programas

Discussão: novembro 16, 2023, 13:0