TY - GEN
T1 - Cost analysis of concurrent OO programs
AU - Albert, Elvira
AU - Arenas, Puri
AU - Genaim, Samir
AU - Gómez-Zamalloa, Miguel
AU - Puebla, German
PY - 2011/12/26
Y1 - 2011/12/26
N2 - Cost analysis aims at automatically approximating the resource consumption (e.g., memory) of executing a program in terms of its input parameters. While cost analysis for sequential programming languages has received considerable attention, concurrency and distribution have been notably less studied. The main challenges (and our contributions) of cost analysis in a concurrent setting are: (1) Inferring precise size relations for data in the program in the presence of shared memory. This information is essential for bounding the number of iterations of loops. (2) Distribution suggests that analysis must keep the cost of the diverse distributed components separate. We handle this by means of a novel form of recurrence equations which are parametric on the notion of cost center, which represents a corresponding component. To the best of our knowledge, our work is the first one to present a general cost analysis framework and an implementation for concurrent OO programs.
AB - Cost analysis aims at automatically approximating the resource consumption (e.g., memory) of executing a program in terms of its input parameters. While cost analysis for sequential programming languages has received considerable attention, concurrency and distribution have been notably less studied. The main challenges (and our contributions) of cost analysis in a concurrent setting are: (1) Inferring precise size relations for data in the program in the presence of shared memory. This information is essential for bounding the number of iterations of loops. (2) Distribution suggests that analysis must keep the cost of the diverse distributed components separate. We handle this by means of a novel form of recurrence equations which are parametric on the notion of cost center, which represents a corresponding component. To the best of our knowledge, our work is the first one to present a general cost analysis framework and an implementation for concurrent OO programs.
UR - https://www.scopus.com/pages/publications/84055193165
U2 - 10.1007/978-3-642-25318-8_19
DO - 10.1007/978-3-642-25318-8_19
M3 - Conference contribution
AN - SCOPUS:84055193165
SN - 9783642253171
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 238
EP - 254
BT - Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Proceedings
T2 - 9th Asian Symposium on Programming Languages and Systems, APLAS 2011
Y2 - 5 December 2011 through 7 December 2011
ER -