Static analysis of cloud elasticity - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

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 (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.
Fichier principal
Vignette du fichier
VM-conf.pdf (428.32 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01229424 , version 1 (16-11-2015)



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⟩
112 View
191 Download



Gmail Facebook Twitter LinkedIn More