Detecção dinâmica de conflito de dados para programação com threads

Resumo

Um mecanismo de concorrência que vem recebendo muita atenção recentemente é multithreading, isto é, o uso de múltiplos fluxos de controle dentro de um mesmo programa. Programação com múltiplos threads é considerada sofisticada, estando sujeita a muitos erros de difícil localização e dependentes de fatores relacionados ao escalonamento de processos e disponibilidade de recursos. Neste trabalho focalizaremos nos erros relacionados a conflito de dados (data race). É muito comum que erros simples no protocolo de sincronização resultem em acesso indevido a dados compartilhados, tornando muito trabalhosa a tarefa de depuração (debugging). Os objetivos deste trabalhos são estudar as técnicas recentemente divulgadas na literatura, investigando o escopo da aplicabilidade de tais técnicas, e adicionar suporte para detecção de conflitos de dados ao modelo de threads da linguagem Java. (AU)