Verificação prática de anomalias em programas de memória transaccional

Detalhes bibliográficos
Autor(a) principal: Pessanha, Vasco
Data de Publicação: 2011
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10362/6311
Resumo: Dissertação para obtenção do Grau de Mestre em Engenharia Informática
id RCAP_c0478a65718925ad957b1d106214cb6e
oai_identifier_str oai:run.unl.pt:10362/6311
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Verificação prática de anomalias em programas de memória transaccionalViolações de atomicidadeHigh-level dataraceAnálise estáticaConcorrênciaMemória transaccional por softwareDissertação para obtenção do Grau de Mestre em Engenharia InformáticaA Memória Transaccional (MT) é uma nova abordagem ao controlo de concorrência, baseada no conceito de transacção dos sistemas de gestão de base de dados. Ao contrário dos modelos baseados em locks, em MT podem existir diversos processos a aceder optimística e simultaneamente à mesma região crítica. Assim, uma transacção executa como se fosse única no sistema sendo que, no final, os resultados tornam-se permanentes ou são descartados (rolled-back) consoante a existência ou não de conflitos. Apesar de potenciar um melhor desempenho e utilidade, a MT é ainda uma tecnologia prematura, carecendo de ferramentas e trabalho que comprovem o seu potencial. A programação concorrente é difícil e propensa a erros. Muitos destes erros são decorrentes de anomalias relacionadas com o acesso concorrente a dados partilhados. Apesar de alguns autores defenderem que os programas em MT são menos propensos a erros, estes também podem exibir anomalias concorrentes, tais como high-level dataraces, i.e., delimitações incorrectas do escopo das transacções, ou stale-value errors, que correspondem a transposições erróneas de variáveis de um bloco atómico para outro. Programas com este tipo de anomalias podem exibir comportamentos imprevisíveis ou erróneos, não cumprindo os objectivos para os quais foram concebidos. Este trabalho visa o desenvolvimento de algoritmos, baseados em análise estática, para a detecção de anomalias de programas escritos no paradigma transaccional. Estes algoritmos estão consolidados numa infraestrutura —MoTH — que agrega um conjunto de plugins que detectam anomalias específicas de programas Java ByteCode. Com este trabalho pretendemos provar que a utilização de análise estática na detecção de high-level dataraces e de stale-value errors é uma solução viável que permite obter resultados com um nível de precisão razoável.Faculdade de Ciências e TecnologiaLourenço, JoãoRUNPessanha, Vasco2011-12-13T12:31:02Z20112011-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10362/6311porinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-03-11T03:37:34Zoai:run.unl.pt:10362/6311Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T03:16:50.467737Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Verificação prática de anomalias em programas de memória transaccional
title Verificação prática de anomalias em programas de memória transaccional
spellingShingle Verificação prática de anomalias em programas de memória transaccional
Pessanha, Vasco
Violações de atomicidade
High-level datarace
Análise estática
Concorrência
Memória transaccional por software
title_short Verificação prática de anomalias em programas de memória transaccional
title_full Verificação prática de anomalias em programas de memória transaccional
title_fullStr Verificação prática de anomalias em programas de memória transaccional
title_full_unstemmed Verificação prática de anomalias em programas de memória transaccional
title_sort Verificação prática de anomalias em programas de memória transaccional
author Pessanha, Vasco
author_facet Pessanha, Vasco
author_role author
dc.contributor.none.fl_str_mv Lourenço, João
RUN
dc.contributor.author.fl_str_mv Pessanha, Vasco
dc.subject.por.fl_str_mv Violações de atomicidade
High-level datarace
Análise estática
Concorrência
Memória transaccional por software
topic Violações de atomicidade
High-level datarace
Análise estática
Concorrência
Memória transaccional por software
description Dissertação para obtenção do Grau de Mestre em Engenharia Informática
publishDate 2011
dc.date.none.fl_str_mv 2011-12-13T12:31:02Z
2011
2011-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10362/6311
url http://hdl.handle.net/10362/6311
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.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Faculdade de Ciências e Tecnologia
publisher.none.fl_str_mv Faculdade de Ciências e Tecnologia
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799137817460211712

Registros relacionados