Desarrollo de un motor de paralelización especulativa con soporte para aritmética de punteros

Abstract

La paralelización especulativa es una técnica que permite extraer paralelismo de bucles no analizables en tiempo de compilación. Esta técnica se basa en ejecutar de forma optimista el bucle en paralelo, mientras un sistema monitoriza la ejecución y corrige eventuales violaciones de dependencia. El grupo de investigación Trasgo utilizaba el motor SpecEngine, cuyo uso conlleva ciertas limitaciones, como por ejemplo la necesidad de especular sobre un solo tipo de datos y no utilizar aritmética de punteros. Partiendo de la arquitectura original del motor especulativo, hemos desarrollado una nueva arquitectura que soluciona las principales limitaciones existentes en la versión original. El nuevo motor especulativo permite la especulación sobre datos de diferente tipo en la misma aplicación y aritmética de punteros.