[en] EVENTMANAGER: A TOOL FOR ANALYSING CONCURRENT PROGRAMS

Detalhes bibliográficos
Ano de defesa: 2022
Autor(a) principal: ANNA LETICIA ALEGRIA P DE OLIVEIRA
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: MAXWELL
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
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
Resumo: [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.
id PUC_RIO-1_50bd0130e1783c51cf20c737b4942ebb
oai_identifier_str oai:MAXWELL.puc-rio.br:60794
network_acronym_str PUC_RIO-1
network_name_str Repositório Institucional da PUC-RIO (Projeto Maxwell)
repository_id_str
spelling [en] EVENTMANAGER: A TOOL FOR ANALYSING CONCURRENT PROGRAMS[pt] EVENTMANAGER: UMA FERRAMENTA DE ANÁLISE DE PROGRAMAS CONCORRENTES[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[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.[en] Students learning concurrent programming often struggle with tests due to the non-deterministic nature of thread scheduling. It is in general hard to test specific scenarios and harder yet to repeat a given scenario for further tests after changes to the code. In this thesis, we present EventManager: a tool we developed that allows the user to instrument their program, marking events in the code and specifying valid event sequences using a domainspecific language. This language restricts thread scheduling to obey allowed sequences for these events. We describe the implementation of EventManager for applications based on POSIX threads. We investigate our tool applied on solutions of classical concurrency problems to verify the expressiveness of the created language.MAXWELLROBERTO IERUSALIMSCHYANNA LETICIA ALEGRIA P DE OLIVEIRA2022-10-10info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesishttps://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=60794&idi=1https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=60794&idi=2http://doi.org/10.17771/PUCRio.acad.60794porreponame:Repositório Institucional da PUC-RIO (Projeto Maxwell)instname:Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)instacron:PUC_RIOinfo:eu-repo/semantics/openAccess2022-10-10T00:00:00Zoai:MAXWELL.puc-rio.br:60794Repositório InstitucionalPRIhttps://www.maxwell.vrac.puc-rio.br/ibict.phpopendoar:5342022-10-10T00:00Repositório Institucional da PUC-RIO (Projeto Maxwell) - Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)false
dc.title.none.fl_str_mv [en] EVENTMANAGER: A TOOL FOR ANALYSING CONCURRENT PROGRAMS
[pt] EVENTMANAGER: UMA FERRAMENTA DE ANÁLISE DE PROGRAMAS CONCORRENTES
title [en] EVENTMANAGER: A TOOL FOR ANALYSING CONCURRENT PROGRAMS
spellingShingle [en] EVENTMANAGER: A TOOL FOR ANALYSING CONCURRENT PROGRAMS
ANNA LETICIA ALEGRIA P DE OLIVEIRA
[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
title_short [en] EVENTMANAGER: A TOOL FOR ANALYSING CONCURRENT PROGRAMS
title_full [en] EVENTMANAGER: A TOOL FOR ANALYSING CONCURRENT PROGRAMS
title_fullStr [en] EVENTMANAGER: A TOOL FOR ANALYSING CONCURRENT PROGRAMS
title_full_unstemmed [en] EVENTMANAGER: A TOOL FOR ANALYSING CONCURRENT PROGRAMS
title_sort [en] EVENTMANAGER: A TOOL FOR ANALYSING CONCURRENT PROGRAMS
author ANNA LETICIA ALEGRIA P DE OLIVEIRA
author_facet ANNA LETICIA ALEGRIA P DE OLIVEIRA
author_role author
dc.contributor.none.fl_str_mv ROBERTO IERUSALIMSCHY
dc.contributor.author.fl_str_mv ANNA LETICIA ALEGRIA P DE OLIVEIRA
dc.subject.por.fl_str_mv [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
topic [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
description [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.
publishDate 2022
dc.date.none.fl_str_mv 2022-10-10
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv 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
url 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
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv MAXWELL
publisher.none.fl_str_mv MAXWELL
dc.source.none.fl_str_mv reponame:Repositório Institucional da PUC-RIO (Projeto Maxwell)
instname:Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron:PUC_RIO
instname_str Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron_str PUC_RIO
institution PUC_RIO
reponame_str Repositório Institucional da PUC-RIO (Projeto Maxwell)
collection Repositório Institucional da PUC-RIO (Projeto Maxwell)
repository.name.fl_str_mv Repositório Institucional da PUC-RIO (Projeto Maxwell) - Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
repository.mail.fl_str_mv
_version_ 1856395960801820672

Registros relacionados