[en] EVENTMANAGER: A TOOL FOR ANALYSING CONCURRENT PROGRAMS

• Ano de defesa: 2022
• Autor(a) principal: ANNA LETICIA ALEGRIA P DE OLIVEIRA
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: MAXWELL
• Palavras-chave em Português: [pt] LINGUAGENS DE DOMINIO ESPECIFICO; [pt] APRENDIZAGEM DE CONCORRENCIA; [pt] TESTES DE PROGRAMAS; [pt] PROGRAMACAO CONCORRENTE; [en] DOMAIN-SPECIFIC LANGUAGES; [en] CONCURRENCY LEARNING; [en] PROGRAM TESTS; [en] CONCURRENT PROGRAMMING
• Link de acesso: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=60794&idi=1; https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=60794&idi=2; http://doi.org/10.17771/PUCRio.acad.60794

[pt] Alunos aprendendo programação concorrente muitas vezes têm dificuldades de testar seus programas por conta do não-determinismo presente no escalonamento de threads. Em geral, é difícil testar cenários específicos e mais difícil ainda repetir um determinado cenário para testar mudanças do código. Nesta tese, apresentamos a EventManager: uma ferramenta que criamos para permitir que um usuário instrumente seu programa, marcando eventos no código e especificando sequências de eventos através de uma linguagem de domínio específico (DSL). Esta linguagem restringe o escalonamento das threads para que obedeça as sequências permitidas para estes eventos. Descrevemos a implementação da EventManager para aplicações baseadas em threads POSIX. Investigamos a aplicação da ferramenta em soluções de problemas clássicos de concorrência para averiguar a expressividade da linguagem que criamos.