Pantheon Repositório Institucional da UFRJ
Coleta, preserva e divulga a produção acadêmica digital em todas as áreas do conhecimento.
São os ativos do repositório, além de teses e dissertações da UFRJ, artigos científicos, livros eletrônicos, capítulos de livros e trabalhos apresentados em eventos por professores, pesquisadores, funcionários administrativos e alunos de mestrado e doutorado.
Use este identificador para citar ou linkar para este item:
http://hdl.handle.net/11422/9194
| Tipo: | Trabalho de conclusão de graduação |
| Título: | Análise estática de código para detecção de certas condições de corrida |
| Autor(es)/Inventor(es): | Albuquerque, João Felipe Porto de |
| Orientador: | Rossetto, Silvana |
| Resumo: | Programação concorrente se mostra cada vez mais presente em diversas áreas da computação. Junto com o crescimento dessa área, a presença de ferramentas capazes de auxiliar no aprendizado e no desenvolvimento de aplicações concorrentes se mostra cada vez maior. O presente trabalho tem como objetivo criar uma ferramenta direcionada aos alunos da disciplina de Computação Concorrente (DCC/UFRJ), capaz de auxiliá-los na identificação de possíveis condições de corrida com variáveis globais e estáticas. A partir de uma análise estática do código fornecido pelo aluno, a ferramenta se propõe a identificar quais são as variáveis passíveis de sofrer uma condição de corrida e retornar essa informação ao aluno. Com esse conhecimento em mãos, espera-se que o aluno reveja o código com olhos mais críticos, prestando atenção especial às variáveis citadas, de forma a fortalecer os conhecimentos de lógica de programação de forma geral, e, em particular, dos mecanismos de sincronização usados na programação concorrente. |
| Palavras-chave: | Programação corrente Análise estática de código Concurrent programming Static code analysis |
| Assunto CNPq: | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
| Unidade produtora: | Instituto de Computação |
| Editora: | Universidade Federal do Rio de Janeiro |
| Data de publicação: | 26-Jul-2019 |
| País de publicação: | Brasil |
| Idioma da publicação: | por |
| Tipo de acesso: | Acesso Aberto |
| Aparece nas coleções: | Ciência da Computação |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| JFPAlbuquerque.pdf | 687.78 kB | Adobe PDF | Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.