Proposta de dissertação do MEI Título: Resolução automática de bloqueios em programas concorrentes Proponente(s): António Ravara Créditos: 42 ECTS Área científica: Software Construction and Analysis Início preferencial: Qualquer semestre URL: ctp.di.fct.unl.pt/~aravara/ Já estão em curso trabalhos preliminares executados pelo alunos: Breve descrição: Num sistema concorrente com recursos partilhados, a competição pelo acesso a estes recursos por vários processos pode levar a situações de bloqueio. A detecção de tais bloqueios num sistema a funcionar é difícil e a sua resolução ainda mais. Sistemas reais como o Apache HADOOP reportam centenas de tais erros e estimam em anos o tempo necessáro para os resolver. É fundamental desenvolver formas de detectar precocemente este tipo de erros e de os resolver. O objectivo do trabalho é o desenvolvimento de técnicas para não só encontrar em tempo de compilação as situações perigosas, mas também para, em vez de simplesmente rejeitar os programas com bugs, propor automaticamente como os transformar em código sem erros. Observações: Este trabalho insere-se num projecto com a Universidade de Malta.