Skip to Main content Skip to Navigation
Conference papers

Static analysis of cloud elasticity

Abstract : 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 invo-cations). Our technique is modular and consists of (i) a type system associating programs with behavioural types that records relevant information for resource usage (creations, releases, and concurrent operations), (ii) a translation function that takes behavioural types and return 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. The experiments show that our analysis allows us to derive bounds for programs that are better than other techniques, such as those based on amortized analysis.
Document type :
Conference papers
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download
Contributor : Laneve Cosimo Connect in order to contact the contributor
Submitted on : Monday, November 16, 2015 - 4:02:20 PM
Last modification on : Wednesday, February 2, 2022 - 3:56:15 PM
Long-term archiving on: : Friday, April 28, 2017 - 8:50:33 PM


Files produced by the author(s)




Abel Garcia, Cosimo Laneve, Michael Lienhardt. Static analysis of cloud elasticity. 17th International Symposium on Principles and Practice of Declarative Programming, Moreno Falaschi; Elvira Albert, Jul 2015, Siena, Italy. pp.12, ⟨10.1145/2790449.2790524⟩. ⟨hal-01229424⟩



Record views


Files downloads