Descripción
|
|
---|---|
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. | |
Internacional
|
No |
Nombre congreso
|
The Ninth Asian Symposium on Programming Languages and Systems, APLAS 2011 |
Tipo de participación
|
960 |
Lugar del congreso
|
Kenting, Taiwan |
Revisores
|
Si |
ISBN o ISSN
|
978-3-642-25317-1 |
DOI
|
10.1007/978-3-642-25318-8_19 |
Fecha inicio congreso
|
05/12/2011 |
Fecha fin congreso
|
07/12/2011 |
Desde la página
|
238 |
Hasta la página
|
254 |
Título de las actas
|
Procedings of The Ninth Asian Symposium on Programming Languages and Systems, APLAS 2011 |