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

https://hal.inria.fr/hal-01229424
Contributor : Laneve Cosimo <>
Submitted on : Monday, November 16, 2015 - 4:02:20 PM
Last modification on : Friday, October 30, 2020 - 12:04:03 PM
Long-term archiving on: : Friday, April 28, 2017 - 8:50:33 PM

File

VM-conf.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

247

Files downloads

344