2026-06-27T22:29:06Zhttps://docta.ucm.es/rest/oai/request
oai:docta.ucm.es:20.500.14352/361422024-08-21T12:09:54Zcom_20.500.14352_14col_20.500.14352_20
Docta Complutense author Albert Albiol, Elvira María author Correas Fernández, Jesús author Román Díez, Guillermo 2023-06-19T16:04:34Z 2023-06-19T16:04:34Z 2015 0302-9743 10.1007/978-3-662-46681-0_6 https://hdl.handle.net/20.500.14352/36142 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. eng Non-Cumulative Resource Analysis (Author’s version) conference paper URL https://docta.ucm.es/bitstreams/9cdf0da1-e68f-4c13-9f51-f30cc6afce8c/download File MD5 fc0d46aca4b44341854a73df4ae97cc4 458699 application/pdf Inference of field-sensitive.pdf URL https://docta.ucm.es/bitstreams/832708c1-32c7-4322-923d-0767e07090c0/download File MD5 e5714972c41c4c84dc3d1ab1a45f512a 48572 text/plain Inference of field-sensitive.pdf.txt