DSpace UNL

RUN >
Faculdade de Ciências e Tecnologia (FCT) >
FCT Departamentos >
FCT: Departamento de Informática >
FCT: DI - Dissertações de Mestrado >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10362/6311

Título: Verificação prática de anomalias em programas de memória transaccional
Autor: Pessanha, Vasco
Orientador: Lourenço, João
Palavras-chave: Violações de atomicidade
High-level datarace
Análise estática
Concorrência
Memória transaccional por software
Issue Date: 2011
Editora: Faculdade de Ciências e Tecnologia
Resumo: A 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.
Descrição: Dissertação para obtenção do Grau de Mestre em Engenharia Informática
URI: http://hdl.handle.net/10362/6311
Appears in Collections:FCT: DI - Dissertações de Mestrado

Files in This Item:

File Description SizeFormat
Pessanha_2011.pdf1,82 MBAdobe PDFView/Open
Statistics
FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpaceOrkut
Formato BibTex mendeley Endnote Logotipo do DeGóis 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Universidade Nova de Lisboa  - Feedback
Promotores do RCAAP   Financiadores do RCAAP

Fundação para a Ciência e a Tecnologia Universidade do Minho   Governo Português Ministério da Educação e Ciência PO Sociedade do Conhecimento (POSC) Portal oficial da União Europeia