Tesis doctoral de Manuel Carlos Arenaz Silva
En esta tesis se presenta un entorno de compilación para la detección de paralelismo de grano grueso en bucles que contienen computaciones complejas, tales como indirecciones y sentencias condicionales que introducen flujos de control complejos. El mecanismo de detección se lleva a cabo sobre la representación gsa (gated single assignment) del código fuente en dos fases. en primer lugar, se analizan las cadenas de uso-definición (use-def chains) entre las sentencias que forman cada una de las componentes fuertemente conexas (strongly connected components, sccs) del grafo gsa. De esta manera, se detecta el kernel básico computado en cada scc. en segundo lugar, con el fin de detectar los kernels computacionales más complejos (y potencialmente paralelos) ejecutados en el bucle, se realiza un análisis de las cadenas de uso-definición entre sentencias pertenecientes a distintas sccs. Este entorno proporciona un soporte de información para la aplicación de técnicas de optimización y paralelización para la aplicación de técncias de opitmización y paralelización de código. En concreto, en esta tesis se muestra su aplicación para la generación automática de código paralelo eficiente. Finalmente, se ha desarrollado un prototipo de la técnicas de detección y se ha verificado experimentalmente su efectividad sobre códigos reales mediante una comparativa exhaustiva con el copilador-paralelizador polaris.
Datos académicos de la tesis doctoral «Entorno de compilación para la detección automática de paralelismo a nivel de bucle«
- Título de la tesis: Entorno de compilación para la detección automática de paralelismo a nivel de bucle
- Autor: Manuel Carlos Arenaz Silva
- Universidad: A coruña
- Fecha de lectura de la tesis: 13/03/2003
Dirección y tribunal
- Director de la tesis
- Juan Touriño Domínguez
- Tribunal
- Presidente del tribunal: emilio Lopez zapata
- david Padua (vocal)
- eduard Ayguadé parra (vocal)
- óscar Plata gonzález (vocal)