Observatorio de I+D+i UPM

Memorias de investigación
Artículos en revistas:
Non-cumulative Resource Analysis
Año:2015
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
Existing cost analysis frameworks have been defined for cumulative resources which keep on increasing along the computation. Traditional cumulative resources are execution time, number of executed steps, amount of memory allocated, and energy consumption. Non-cumulative resources are acquired and (possibly) released along the execution. Examples of non-cumulative cost are memory usage in the presence of garbage collection, number of connections established that are later closed, or resources requested to a virtual host which are released after using them.We present, to the best of our knowledge, the first generic static analysis framework to infer an upper bound on the peak cost for non-cumulative types of resources. Our analysis comprises several components: (1) a pre-analysis to infer when resources are being used simultaneously, (2) a program-point resource analysis which infers an upper bound on the cost at the points of interest (namely the points where resources are acquired) and (3) the elimination from the upper bounds obtained in (2) of those resources accumulated that are not used simultaneously. We report on a prototype implementation of our analysis that can be used on a simple imperative language.
Internacional
Si
JCR del ISI
No
Título de la revista
Tools and Algorithms for the Construction and Analysis of Systems
ISSN
0302-9743
Factor de impacto JCR
Información de impacto
Volumen
9035
DOI
Número de revista
Desde la página
85
Hasta la página
100
Mes
SIN MES
Ranking
CORE A
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Elvira Albert (Universidad Complutense de Madrid)
  • : Jesús Correas
  • Autor: Guillermo Roman Diez (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)