Detecção dinâmica de condições de disputa para programas "multi threaded" em JAVA (2000)
- Authors:
- Autor USP: SERAGIOTTO JUNIOR, CLOVIS - IME
- Unidade: IME
- Sigla do Departamento: MAC
- Assunto: LINGUAGEM DE PROGRAMAÇÃO
- Language: Português
- Abstract: Embora a programação concorrente tenha se popularizado, construir um programa concorrente correto é ainda uma tarefa muito difícil pois a falha exibida pelo programa pode ser dependente do escalonamento e apenas raramente se repetir. Nesta dissertação é descrita uma nova ferramenta, chamada Ladybug, capaz de detectar dinamicamente e existência de condições de disputa em programas Java. Ladybug rescreve classes Java já compiladas, inserindo invocações a métodos de monitoramento. O algoritmo utilizado pelos métodos de monitoramento (Ladyburg oferece dois), bem como sua implementação (privilegiando velocidade ou economia de melhoria), são escolhidos pelo usuário no momento da execução do programa escrito. Ladybug foi utilizadacom problemas cláasicos de concorrencia, programas de alunos de graduação da disciplina "Programação Concorrente", um servidor e um cliente HTTP, e pareceu ser efetiva na descoberta de condições de disputa
- Imprenta:
- Data da defesa: 06.11.2000
-
ABNT
SERAGIOTTO JUNIOR, Clóvis; SILVA, Dilma Menezes da. Detecção dinâmica de condições de disputa para programas "multi threaded" em JAVA. 2000.Universidade de São Paulo, São Paulo, 2000. -
APA
Seragiotto Junior, C., & Silva, D. M. da. (2000). Detecção dinâmica de condições de disputa para programas "multi threaded" em JAVA. Universidade de São Paulo, São Paulo. -
NLM
Seragiotto Junior C, Silva DM da. Detecção dinâmica de condições de disputa para programas "multi threaded" em JAVA. 2000 ; -
Vancouver
Seragiotto Junior C, Silva DM da. Detecção dinâmica de condições de disputa para programas "multi threaded" em JAVA. 2000 ;
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
