Skip to Main content Skip to Navigation
Journal articles

Static analysis of cloud elasticity

Abel Garcia 1, 2 Cosimo Laneve 2, 1 Michael Lienhardt 1 
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
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 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.
Complete list of metadata
Contributor : Laneve Cosimo Connect in order to contact the contributor
Submitted on : Tuesday, November 21, 2017 - 10:48:04 AM
Last modification on : Wednesday, February 2, 2022 - 3:56:18 PM

Links full text




Abel Garcia, Cosimo Laneve, Michael Lienhardt. Static analysis of cloud elasticity. Science of Computer Programming, Elsevier, 2017, 147, pp.27 - 53. ⟨10.1016/j.scico.2017.03.008⟩. ⟨hal-01643175⟩



Record views