Um Mecanismo de Reexecução Determinística de Programas Paralelos

A depuração de um programa paralelo é um atarefa complexa. Os programas paralelos possuem uma natureza iminentemente não determinística. Muitas das metodologias de depuração aplicadas aos programas sequenciais não se adequam aos programas paralelos.Esta característica tem estimulado o desenvolvimento de mecanismos que controlam a execução dos programas paralelos, eliminando o caráter não determinístico. Um dos mecanismos de reexecução mais destacados é o denominado Instant Replay. Este trabalho se destina a programas paralelos usando memória compartilhada e apresenta um impacto bastante reduzido no desempenho dos sistemas. O objetivo deste trabalho de tese é apresentar o projeto e a avaliação de um mecanismo de reexecução determinística voltado para programas paralelos em memória distribuída. Os fundamentos que inspiraram o seu desenvolvimento foram extraídos do Instant Replay. A implementação dos algoritmos envolvidos foi feita na linguagem de programação occam e os testes conduzidos em um hiper cubo formado por 8 processadores do tipo transputer.