Cost analysis of concurrent OO programs
Asian Symposium on Programming Languages and Systems, 2011•Springer
Cost analysis aims at automatically approximating the resource consumption (eg, 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 …
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 …
Abstract
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.
Springer
Showing the best result for this search. See all results