Static analysis of cloud elasticity

We propose a static analysis technique that computes upper bounds of virtual machine usages in a concurrent language with explicit acquire and release operations of virtual machines. In our language it is possible to delegate other (ad-hoc or third party) concurrent code to release virtual machines...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Science of computer programming Ročník 147; s. 27 - 53
Hlavní autoři: Garcia, Abel, Laneve, Cosimo, Lienhardt, Michael
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier B.V 01.11.2017
Elsevier
Témata:
Behavioural type system
Cloud computing
Computation and Language
Computer Science
Concurrent programming
Logic in Computer Science
Programming Languages
Resource consumption analysis
Subject reduction
Cloud computing
Behavioural type system
Subject reduction
Resource consumption analysis
Concurrent programming
ISSN:0167-6423, 1872-7964
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:We propose a static analysis technique that computes upper bounds of virtual machine usages in a concurrent language with explicit acquire and release operations of virtual machines. In our language it is possible to delegate other (ad-hoc or third party) concurrent code to release virtual machines (by passing them as arguments of invocations). Our technique is modular and consists of (i) a type system associating programs with behavioural types that record relevant information for resource usage (creations, releases, and concurrent operations), (ii) a translation function that takes behavioural types and returns cost equations, and (iii) an automatic off-the-shelf solver for the cost equations. A soundness proof of the type system establishes the correctness of our technique with respect to the cost equations. We have experimentally evaluated our technique using a cost analysis solver and we report some results. •A technique for the static analysis of resource utilization is proposed.•The analysis relies on a static type system that records program's resources behaviour.•The proposed approach supports concurrency and explicit release operations.•A proof of soundness of the proposed type system and of the analysis is provided.
ISSN:0167-6423
1872-7964
DOI:10.1016/j.scico.2017.03.008