Propostas para Dissertação

Mestrados no Departamento de Informática



Consultar ficha completa de uma proposta de dissertação

proponente: Nuno Machado e José Orlando Pereira
instituição/empresa: HASLab
tema/título: Detecção Automática de Data Races em Sistemas Distribuídos
área científica:
local:
curso de mestrado: Mestrado Integrado em Engenharia Informática
descrição:
Com a massificação do Big Data e da computação na nuvem, a fiabilidade dos sistemas
distribuídos tornou-se extremamente importante. Infelizmente, a complexidade inerente ao
desenvolvimento de sistemas distribuídos leva à existência de erros que, quando se manifestam em
produção, afectam gravemente a qualidade de serviço dos sistemas e trazem elevados custos
monetários. Dentro dos vários tipos de erros em sistemas distribuídos, os data races são considerados dos
mais problemáticos. Estes erros são causados por interações entre os nós do sistema que não
estão devidamente sincronizadas, podendo originar falhas tais como crashes e corrupções de
dados. Neste trabalho, pretende-se desenvolver uma técnica de detecção automática de data races para
sistemas distribuídos. A técnica será depois implementada no Minha, uma plataforma de teste e
simulação de sistemas de larga escala (recipiente de um Google Faculty Research Award), e
avaliada com aplicações reais com o intuito de descobrir novos erros.


Voltar...