Análise estática de código para detecção de certas condições de corrida

Albuquerque, João Felipe Porto de

Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/9194

Type:	Trabalho de conclusão de graduação
Title:	Análise estática de código para detecção de certas condições de corrida
Author(s)/Inventor(s):	Albuquerque, João Felipe Porto de
Advisor:	Rossetto, Silvana
Abstract:	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.
Keywords:	Programação corrente Análise estática de código Concurrent programming Static code analysis
Subject CNPq:	CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Production unit:	Instituto de Computação
Publisher:	Universidade Federal do Rio de Janeiro
Issue Date:	26-Jul-2019
Publisher country:	Brasil
Language:	por
Right access:	Acesso Aberto
Appears in Collections:	Ciência da Computação

Files in This Item:

File	Description	Size	Format
JFPAlbuquerque.pdf		687.78 kB	Adobe PDF	View/Open

Show full item record Recommend this item View Statistics

Pantheon Institutional repository