Resumen:
El estudio cuantitativo de requerimientos de memoria, es decir, predecir la cantidad de memoria necesaria para ejecutar un programa, es al día de hoy un problema desafiante. Existen diferentes técnicas para tratar dicho problema, las cuales encaran problemáticas tales como: escalabilidad, precisión, etc. Una alternativa posible para abordar el problema de escalabilidad es definir un algoritmo composicional para la inferencia de cotas paramétricas del consumo de memoria. Por ejemplo, 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 realiza) y de la especificación de consumo de los métodos llamados por m. Una forma de aproximar dicha cota es observar los efectos que la ejecución de m tiene sobre el heap, en otras palabras, analizar a los objetos creados durante su ejecución. Para esto podemos distinguir dos tipos de objetos: los creados por m y los creados por los métodos invocados por m. Los objetos pueden ser catalogados como temporales o residuales en función de su tiempo de vida. Esto permite distinguir la memoria que puede ser liberada al analizar la ejecución de m de la que no puede serlo. El enfoque mencionado requiere además disponer de reglas de composición que permitan relacionar la especificación de consumo de un método invocado con el punto de invocación. Es decir, estas reglas deben encargarse de resolver problemas que surgen a la hora de considerar el contexto de invocación, entre ellas aliasing y la cantidad de veces que se realiza una invocación (en presencia de un loop, etc). Esta tesis presenta un algoritmo de análisis composicional el cual utiliza el enfoque mencionado implementando las reglas necesarias. El algoritmo es capaz de soportar diferentes instanciaciones de análisis que aproximan el tiempo de vida de los objetos, ayudando al estudio cuantitativo de requerimientos de memoria en programas Java. Además, aborda la problemática de analizar programas con llamados polimórficos, característica esencial del paradigma de programación orientado a objetos. Por último, presenta el diseño e implementación de un prototipo que fue utilizado para evaluar este algoritmo, el cual pretende mejorar la precisión de trabajos anteriores y es evaluado utilizando diferentes programas, uno de ellos de tamaño medio que involucra 36 clases.
Citación:
---------- APA ----------
Grunberg, Matías; Krasny, Gastón. (2010). Un análisis composicional para la inferencia de resúmenes de consumo de memoria. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000343_Grunberg
---------- CHICAGO ----------
Grunberg, Matías; Krasny, Gastón. "Un análisis composicional para la inferencia de resúmenes de consumo de memoria". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2010.https://hdl.handle.net/20.500.12110/seminario_nCOM000343_Grunberg
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000343_Grunberg.pdf
Distrubución geográfica
