Explorando a equivalência entre uma máquina química abstrata e computação dataflow

• Autor(a) principal: Mello Junior, Rui Rodrigues de
• Data de Publicação: 2022
• Tipo de documento: Tese
• Idioma: por
• Título da fonte: Repositório Institucional da Produção Científica da Marinha do Brasil (RI-MB)
• Texto Completo: https://www.repositorio.mar.mil.br/handle/ripcmb/845501
• topic: Gamma; Dataflow; Computação paralela; Equivalência computacional; Engenharia de computação

Atualmente, a busca por desempenho computacional, tanto em aplicações de computação científica quanto em aplicações de uso geral, aponta para a computação paralela como área de interesse para sobrepor as dificuldades encontradas nos paradigmas computacionais utilizados tradicionalmente. Dentre os modelos computacionais paralelos onde programas podem ser desenvolvidos de maneira natural e transparente, Gamma e Dataflow apresentam uma surpreendente similaridade. Entretanto, a implementação do paradigma computacional Gamma apresenta vários desafios no que diz respeito ao escalonamento decorrente para a adequação às arquiteturas disponíveis. Neste trabalho demonstramos pela primeira vez a equivalência entre os modelos computacionais Gamma e Dataflow, onde além da apresentação da similaridade, apresentamos as provas formais de equivalência entre os modelos. Por ocasião desta equivalência, também propomos a implementação da primeira ferramenta de conversão entre os modelos Dataflow e Gamma, o GFlow. Diante dos desafios relacionados às implementações de Gamma, propomos o GSink. Trata-se da primeira implementação de um ambiente de execução de programas Gamma que permite a execução paralela de instâncias de diversas reações. Para tanto, utilizamos um mecanismo de escalonamento baseado em reversão de arestas de sinks de um grafo dirigido acíclico. Através de resultados experimentais demonstramos a corretude tanto das conversões propostas pelo GFlow, quanto dos resultados de execução do GSink.