BDBComp
Parceria:
SBC
Analise automatica de acessos concorrentes a dados para refatoracao de codigo sequencial em codigo paralelo OpenMP

Dionatan Kitzmann TietzmannAndrea Schwertner Charão

A transformac¸ ~ao manual de programas sequenciais em c´odigo paralelo requer muitoesforc¸o e atenc¸ ~ao do programador, que corre grande risco de introduzir erros. Umproblema fortemente ligado `a programac¸ ~ao paralela com mem´oria compartilhada ´e acondic¸ ~ao de corrida, que ocorre em virtude da manipulac¸ ~ao concomitante realizada pormais de uma thread sobre uma vari´avel compartilhada.Alguns trabalhos abordam esta problem´atica, propondo algoritmos e ferramentasque auxiliam o programador durante a paralelizac¸ ~ao, focando em uma linguagem e/ouambiente de programac¸ ~ao paralela espec´?ficos [Basupalli et al. 2011]. O presente trabalhosegue nesta linha, propondo a identificac¸ ~ao automatizada vari´aveis que podem vir a terproblemas de condic¸ ~ao de corrida. Para tanto, foi projetado e implementado um algoritmode verificac¸ ~ao baseado no acesso `as vari´aveis em programas Fortran. As sec¸ ~oes seguintesapresentam uma vis~ao geral sobre o algoritmo, juntamente com alguns resultados obtidos.Mais detalhes encontram-se na dissertac¸ ~ao original [Tietzmann 2011].

http://www.lbd.dcc.ufmg.br/colecoes/erad-rs/2012/008.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD