Portal InstitucionalUFPEL

08/11/2016 - 08/11/2019

Ciências Exatas e da Terra - Ciência da Computação

Algoritmos para implementar a abstração de memórias transacionais são geralmente desenvolvidos levando em consideração arquiteturas UMA (Uniform memory access) na qual todos os processadores tem um tempo de acesso uniforme à memória principal e.g. [6, 7, 8]. Porém, hoje em dia existem várias arquiteturas diferentes baseadas em multi-cores que também necessitam abstrações de alto nível para o desenvolvimento de programas, e.g., NUMAs, clusters, GRIDs etc. Dessa forma, o objetivo deste trabalho é desenvolver um sistema de memórias transacionais adaptativo, que dependendo da arquitetura paralela usada, modifique o algoritmo transacional para melhor explorar os recursos do(s) dispositivo(s). O trabalho irá se dividir em duas áreas principais: (1) desenvolvimento da linguagem de alto nível para expressar transações de memória e (2) desenvolvimento do sistema de tempo de execução adaptativo que dará suporte as abstrações. A linguagem de programação funcionará como uma linguagem de domínio específico para programação de transações e deverá ser compatível com qualquer linguagem orientada a objetos que possua características modernas como polimorfismo de tipos (ou tipos genéricos) e abstrações lambda (ou clousures). O que diferencia esta linguagem de outras linguagens para programação paralela usando memórias transacionais é: a linguagem irá proporcionar um alto nível de composição, ou seja, transações poderão ser compostas para gerar novas transações. Além disso a linguagem deverá permitir o acesso e interoperação de objetos concorrentes e distribuídos através de transações locais e remotas, o que será suportado por um sistema de tempo de execução adaptativo.