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 hardware o software monitoriza la ejecución y corrige eventuales violaciones de dependencia. A lo largo de este artículo se mostrará un mecanismo software para llevar a cabo la paralelización citada, en concreto, una extensión del motor de paralelización especulativa desarrollado por Cintra y Llanos, que solventa algunas de sus limitaciones actuales.