Object-sensitive cost analysis for concurrent objects (pages 218–271)
Elvira Albert, Puri Arenas, Jesús Correas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla and Guillermo Román-Díez
Article first published online: 4 MAR 2015 | DOI: 10.1002/stvr.1569
This article presents a novel cost analysis framework for concurrent objects. Cost analysis aims at automatically approximating the resource consumption of executing a program in terms of its input parameters. We address this problem by means of a novel form of object-sensitive recurrence equations that use cost centers in order to keep the resource usage assigned to the different components separate.