Paralelización especulativa y sus alternativas

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. En este artículo se describe los fundamentos de la paralelización especulativa basada en software y se describen algunos de nuestros resultados más relevantes. Se discute también el alcance de esta técnica, describiendo los problemas que quedan aún por resolver, sus limitaciones y anticipando algunas alternativas a los mecanismos de paralelización automática.