Object-sensitive cost analysis for concurrent objects

SummaryThis 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...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Software testing, verification & reliability Ročník 25; číslo 3; s. 218 - 271
Hlavní autori: Albert, Elvira, Arenas, Puri, Correas, Jesús, Genaim, Samir, Gómez-Zamalloa, Miguel, Puebla, Germán, Román-Díez, Guillermo
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Chichester Blackwell Publishing Ltd 01.05.2015
Wiley Subscription Services, Inc
Predmet:
Approximation
Concurrency
Consumption
Cost analysis
distributed systems
Handles
Mathematical analysis
Mathematical models
object-sensitive analysis
Programming
Programming languages
resource usage analysis
static analysis
ISSN:0960-0833, 1099-1689
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:SummaryThis 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 ions 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 © 2015 John Wiley & Sons, Ltd. 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.
Bibliografia:istex:3B9EC771951912EF16D9FB0C3F91ADE6061EE0B2
ark:/67375/WNG-QJZWSDJ6-3
ArticleID:STVR1569
ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
content type line 23
ISSN:0960-0833
1099-1689
DOI:10.1002/stvr.1569