• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Dissertação de Mestrado
DOI
https://doi.org/10.11606/D.45.2000.tde-20210729-122815
Documento
Autor
Nome completo
Clóvis Seragiotto Junior
E-mail
Unidade da USP
Área do Conhecimento
Data de Defesa
Imprenta
São Paulo, 2000
Orientador
Título em português
Detecção dinâmica de condições de disputa para programas 'multi threaded' em JAVA
Palavras-chave em português
Linguagem De Programação
Resumo em português
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
Título em inglês
not available
Resumo em inglês
Even though concurrent programming has become popular, building a correct concurrent program is still a very difficult task: the failure shown by the program may be scheduling dependent and it may only seldom recur. In this dissertation, a new tool called Ladybug is described. It can dynamically detect the presence of race conditions in Java programs by rewriting classes already compiled and inserting invocations to monitoring methods in them. The algorithm used by the monitoring methods (Ladybug offers two) as well as its implementation (one that privileges speed or saves memory) are chosen by the user when the program is started. Ladybug has been used with classical concurrent problems, programing assignments from undergraduate students of the Concurrent Programming course, an HTTP client and an HTTP server, and it appeared to be effective in finding race conditions
 
AVISO - A consulta a este documento fica condicionada na aceitação das seguintes condições de uso:
Este trabalho é somente para uso privado de atividades de pesquisa e ensino. Não é autorizada sua reprodução para quaisquer fins lucrativos. Esta reserva de direitos abrange a todos os dados do documento bem como seu conteúdo. Na utilização ou citação de partes do documento é obrigatório mencionar nome da pessoa autora do trabalho.
Data de Publicação
2021-07-29
 
AVISO: Saiba o que são os trabalhos decorrentes clicando aqui.
Todos os direitos da tese/dissertação são de seus autores
CeTI-SC/STI
Biblioteca Digital de Teses e Dissertações da USP. Copyright © 2001-2024. Todos os direitos reservados.