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

Full metadata record

DC Field	Value	Language
dc.contributor.advisor	Rossetto, Silvana	-
dc.contributor.author	Albuquerque, João Felipe Porto de	-
dc.date.accessioned	2019-08-22T12:57:26Z	-
dc.date.available	2023-12-21T03:00:32Z	-
dc.date.issued	2019-07-26	-
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.rights	Acesso Aberto	pt_BR
dc.subject	Programação corrente	pt_BR
dc.subject	Análise estática de código	pt_BR
dc.subject	Concurrent programming	en
dc.subject	Static code analysis	en
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
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.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.publisher.country	Brasil	pt_BR
dc.publisher.department	Instituto de Computação	pt_BR
dc.publisher.initials	UFRJ	pt_BR
dc.subject.cnpq	CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO	pt_BR
dc.embargo.terms	aberto	pt_BR
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 simple item record Recommend this item View Statistics

Pantheon Institutional repository