Tesis doctoral de Cristina Barrado Muxi
La ejecucion eficiente de los programas es el objetivo de la fase de optimizacion de un compilador.En particular, para poder optimizar el uso de los multiples elementos de calculo de los computadores actuales, el compilador puede realizar una fase de paralelizacion de forma invisible al programador o bien con su ayuda. Dependiendo del nivel del paralelismo de la aplicacion y de la arquitectura destino la forma de paralelizacion optima varia. en este trabajo nos centramos en paralelismo de medio y bajo nivel (paralelizacion de bucles a nivel de instruccion) extraido de forma automatica por el compilador. Para ello se toma como base la tecnica de paralelizacion de bucles graph traverse scheduling (gts) (aygu89). Dicha tecnica permite generar codigo paralelo a partir de una recurrencia hamiltoniana del grafo de dependencias de un bucle. las aportaciones de las que consta el trabajo son de dos tipos: en primer lugar de metodología y en segundo lugar de realizaciones concretas de la misma para diversas arquitecturas. la metodología propuesta divide la paralelizacion de bucles en dos fases. Una primera fase, la fase de schduling, toma una definicion de arquitectura y un grafo de dependencias y genera un scheduling intentando maximizar el paralelismo extraido. En esta fase se resuelve el problema np-completo de generacion del scheduling con limitacion de recursos aplicando algoritmos heuristicos. A diferencia de otros metodos, el schduling generado se representa con arcos en el propio grafo de dependencias, arcos que denominamos de scheduling. Estos arcos modelan las restricciones impuestas por el algoritmo de scheduling de forma similar a como los arcos originales representan restricciones impuestas por la semantica del programa. Una segunda fase toma el grafo de dependencias extendido con los arcos de scheduling y genera el codigo paralelo de forma automatica y con coste lineal. ambas fases son dependientes de la arquitectura:
Datos académicos de la tesis doctoral «Paralelizacion de bucles basada en recurrencias de scheduling.«
- Título de la tesis: Paralelizacion de bucles basada en recurrencias de scheduling.
- Autor: Cristina Barrado Muxi
- Universidad: Politécnica de catalunya
- Fecha de lectura de la tesis: 01/01/1997
Dirección y tribunal
- Director de la tesis
- Jesús José Labarta Mancho
- Tribunal
- Presidente del tribunal: Juan Navarro Guerrero
- Francisco Tirado (vocal)
- Fernando Saez Vacas (vocal)
- Ana María Ripoll Aracil (vocal)