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

• Autor(a) principal: Albuquerque, João Felipe Porto de
• Data de Publicação: 2019
• Tipo de documento: Trabalho de conclusão de curso
• Idioma: por
• Título da fonte: Repositório Institucional da UFRJ
• Texto Completo: http://hdl.handle.net/11422/9194
• topic: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO; Programação corrente; Análise estática de código; Concurrent programming; Static code analysis

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.