Defensa Tesis Licenciatura Martin Rouaux

• Titulo: Predicción paramétrica de requerimientos de memoria.Especificación modular
• Alumno: Martin Rouaux
• Directores: Diego Garbervetsky y Sergio Yovine.
• Jurado: Dra Flavia Bonomo, Lic. Juan Pablo Galeotti.

Resumen:

La adopción de lenguajes simil Java en el contexto de sistemas embebidos y de tiempo real requieren la solución de dos grandes problemas, la imprevisibilidad temporal causada por las interrupciones relacionadas a la administración de memoria y la capacidad de determinar requerimientos de memoria. El estudio cuantitativo de requerimientos de memoria es al día de hoy un problema desafiante. Existen diferentes técnicas para atacar este problema sin embargo pocas son orientadas a lenguajes imperativos. Y, en general, las que sí lo son tienen problemas de escalabilidad. Una alternativa interesante para atacar el problema de escalabilidad es definir un algoritmo composicional para la inferencia de cotas paramétricas del consumo de memoria. Es decir, dado un método m, queremos obtener una cota superior de la cantidad de memoria requerida para su ejecución a partir del análisis local de m (sin considerar las llamadas que m realiza) y de la especificación de consumo de los métodos llamados por m. Esta tesis presenta una técnica de análisis composicional para el estudio cuantitativo de requerimientos de memoria en programas Java. Para esto se utilizan técnicas de análisis de escape para inferir el tiempo de vida de los objetos, invariantes para describir el comportamiento de las instrucciones que generan consumo de memoria y un modelo de poliedros para inferir expresiones de consumo no lineales.