Análise estática de código para detecção de certas condições de corrida
| dc.contributor.advisor | Rossetto, Silvana | |
| dc.contributor.advisorLattes | http://lattes.cnpq.br/0054098292730720 | pt_BR |
| dc.contributor.referee1 | Menasche, Daniel Sadoc | |
| dc.contributor.referee2 | Silva, Geraldo Zimbrão da | |
| dc.creator | Albuquerque, João Felipe Porto de | |
| dc.date.accessioned | 2019-08-22T12:57:26Z | |
| dc.date.available | 2026-05-16T03:01:10Z | |
| dc.date.issued | 2019-07-26 | |
| dc.description.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. | pt_BR |
| dc.embargo.terms | aberto | pt_BR |
| dc.identifier.uri | http://hdl.handle.net/11422/9194 | |
| dc.language | por | pt_BR |
| dc.publisher | Universidade Federal do Rio de Janeiro | pt_BR |
| dc.publisher.country | Brasil | pt_BR |
| dc.publisher.department | Instituto de Computação | pt_BR |
| dc.publisher.initials | UFRJ | pt_BR |
| dc.rights | Acesso Aberto | pt_BR |
| dc.subject | Concurrent programming | en |
| dc.subject | Static code analysis | en |
| dc.subject.cnpq | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO | pt_BR |
| dc.title | Análise estática de código para detecção de certas condições de corrida | pt_BR |
| dc.type | Trabalho de conclusão de graduação | pt_BR |