Universidad Complutense de Madrid
E-Prints Complutense

Non-Cumulative Resource Analysis (Author’s version)



Último año

Albert Albiol, Elvira y Correas Fernández, Jesús y Román Díez, Guillermo (2015) Non-Cumulative Resource Analysis (Author’s version). In 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15), April 11-18, 2015, Londres, Reino Unido.

Vista previa

URL Oficial: http://link.springer.com/chapter/10.1007/978-3-662-46681-0_6#page-1


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. Noncumulative 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.

Tipo de documento:Ponencia o Póster de Seminario, Congreso,etc (Ponencia)
Información Adicional:

Publicado en Lecture Notes in Computer Science, vol. 9035

Materias:Ciencias > Informática > Software
Código ID:36323
Depositado:07 Abr 2016 10:42
Última Modificación:12 Abr 2016 18:02

Descargas en el último año

Sólo personal del repositorio: página de control del artículo