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

• Processo: 99/00172-7
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de maio de 1999
• Data de Término da vigência: 30 de novembro de 2000
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Dilma Menezes da Silva
• Beneficiário: Clovis Seragiotto Junior
• Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Programação concorrente Escalonamento de processos
• Palavra(s)-Chave do Pesquisador: Locks | Multithreaded Programming | Programacao Concorrente | Race Detection

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)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

SERAGIOTTO JUNIOR, Clovis. Detecção dinâmica de condições de disputa para programas 'multi threaded' em JAVA. 2000. Dissertação de Mestrado - Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME/SBI) São Paulo.