Desenvolvimento de aplicações paralelas a partir de modelos em gramática de grafos baseada em objetos

AUTOR(ES)

Fábio Pasini

DATA DE PUBLICAÇÃO

2006

RESUMO

No desenvolvimento de aplicações paralelas, além da análise de aspectos ligados ao desempenho, torna-se também importante a análise das propriedades funcionais do sistema para garantir, por exemplo, que a estratégia de paralelização escolhida é adequada ao problema sendo abordado, ou que ela pode convergir para um resultado esperado, ou mesmo para identificar a possibilidade de um cenário de bloqueio na computação. A garantia de correção sobre o modelo de uma aplicação paralela, além de aumentar o grau de confiança nos resultados, pode também ser um fator de economia, já que possibilita a redução no tempo despendido no desenvolvimento e depuração da aplicação. Porém, uma vez identificados os problemas e correções no modelo analisado, ainda existe a necessidade de se mapear as mudanças necessárias à aplicação original. Nesse sentido, verificação formal e geração automática de código podem ser utilizadas como ferramentas complementares durante o desenvolvimento, possibilitando tanto a análise do comportamento do sistema quanto a rápida geração do código correspondente ao modelo proposto. Este trabalho apresenta o uso de Gramática de Grafos Baseada em Objetos (GGBO) para a construção de aplicações paralelas, a partir da definição de um método de tradução de modelos GGBO para código C, utilizando MPI como plataforma de comunicação.

ASSUNTO(S)

programaÇÃo paralela informÁtica ciencia da computacao grafos, teoria dos modelagem de sistemas sistemas distribuÍdos

Documentos Relacionados

• Predição de desempenho de aplicações paralelas para máquinas agregadas utilizando modelos estocásticos
• Geração de sistemas supervisórios a partir de modelos orientados a objetos
• Particionamento de grafos de aplicações e mapeamento em grafos de arquiteturas heterogêneas
• Reconstrução 3D a partir de imagens de profundidade baseada em modelos deformaveis
• Recuperação de modelos de classes orientados a aspectos a partir de sistemas orientados a objetos usando refatorações de modelos