Paper Info
Title
Object-sensitive cost analysis for concurrent objects
Abstract
AbstractThis article presents a novel cost analysis framework for concurrent objects. Concurrent objects form a well-established model for distributed concurrent systems. In this model, objects are the concurrency units that communicate among them via asynchronous method calls. Cost analysis aims at automatically approximating the resource consumption 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 of cost analysis in a concurrent setting are as follows. First, inferring precise size abstractions for data in the program in the presence of shared memory. This information is essential for bounding the number of iterations of loops. Second, distribution suggests that analysis must infer the cost of the diverse distributed components separately. We handle this by means of a novel form of object-sensitive recurrence equations that use cost centres in order to keep the resource usage assigned to the different components separate. We have implemented our analysis and evaluated it on several small applications that are classical examples of concurrent and distributed programming. Copyright © 2015John Wiley & Sons, Ltd.
Year
DOI
Venue
2015
10.1002/stvr.1569
Periodicals
Keywords
Field
DocType
static analysis,resource usage analysis,cost analysis,concurrency,distributed systems,object-sensitive analysis
Abstraction,Concurrency control,Shared memory,Concurrency,Computer science,Static analysis,Theoretical computer science,Concurrent object-oriented programming,Asynchronous method invocation,Bounding overwatch,Distributed computing
Journal
Volume
Issue
ISSN
25
3
0960-0833
Citations 
PageRank 
References 
14
0.73
29
Authors
7
Name
Order
Citations
PageRank
Elvira Albert1110068.19
P. Arenas21174.80
Jesús Correas Fernández3414.28
Samir Genaim489144.31
Miguel Gómez-Zamalloa525117.64
Germán Puebla6147876.38
Guillermo Román-Díez7938.92