Peak Cost Analysis of Distributed Systems (Author's version)


Downloads per month over past year




Downloads per month over past year

Albert Albiol, Elvira and Correas Fernández, Jesús and Román Díez, Guillermo (2014) Peak Cost Analysis of Distributed Systems (Author's version). In 21st International Symposium, SAS 2014, September 11-13, 2014, Munich (Germany).

[thumbnail of Preprint]
PDF (Preprint)

Official URL:


We present a novel static analysis to infer the peak cost of distributed systems. The different locations of a distributed system communicate and coordinate their actions by posting tasks among them. Thus, the amount of work that each location has to perform can greatly vary along the execution depending on: (1) the amount of tasks posted to its queue, (2) their respective costs, and (3) the fact that they may be posted in parallel and thus be pending to execute simultaneously. The peak cost of a distributed location refers to the maximum cost that it needs to carry out along its execution. Inferring the peak cost is challenging because it increases and decreases along the execution, unlike the standard notion of total cost which is cumulative. Our key contribution is the novel notion of quantified queue configuration which captures the worst-case cost of the tasks that may be simultaneously pending to execute at each location along the execution. A prototype implementation demonstrates the accuracy and feasibility of the proposed peak cost analysis.

Item Type:Conference or Workshop Item (Lecture)
Additional Information:

Lecture Notes in Computer Science. Vol. 8723

Subjects:Sciences > Computer science > Operating systems
ID Code:36923
Deposited On:08 Apr 2016 16:08
Last Modified:20 Apr 2016 14:42

Origin of downloads

Repository Staff Only: item control page