Compilation techniques based on shape analysis for pointer-based programs
Adrián Tineo Cabello · Dialnet (Universidad de la Rioja) · 2009
En esta tesis doctoral exploramos el uso de una precisa herramienta de caracterizacion del heap (memoria asignada en tiempo de ejecucion), para el proposito de la deteccion de paralelismo en aplicaciones cientificas basadas en punteros, Hemos realizado el diseno, caracterizacion y evaluacion de una novedosa estrategia de analisis de forma, o shape analysis, para obtener precisas representaciones de las estructuras de datos que se crean y manipulan en tiempo de ejecucion. Hemos utilizado y validado experimentalmente esta herramienta para el analisis de un gran rango de estructuras de datos y recorridos de la mismas. Para ello hemos afrontado y propuesto soluciones a problemas que son un desafio para el estado del arte en herramientas de caracterizacion del heap en general, y de analisis de forma en particular. Finalmente, hemos disenado y validado experimentalmente varias tecnicas de analisis de dependencias en aplicaciones basadas en punteros, utilizando nuestro analizador de forma como herramienta clave para registrar los posibles conflictos debidos a las operaciones de acceso al heap. El conocimiento acerca de las dependencias de datos obtenido por nuestra tecnica supone una destacable contribucion al problema de la paralelizacion automatica de aplicaciones cientificas, en concreto, de las aplicaciones de punteros que manipulan memoria dinamica.