Static analysis of cloud elasticity

Abel Garcia (1) , Cosimo Laneve (2, 3) , Michael Lienhardt (3, 2)

1 DISI - Department of Computer Science and Engineering [Bologna]
2 FOCUS - Foundations of Component-based Ubiquitous Systems
3 DISI - Department of Computer Science and Engineering [Bologna]

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.

Mots clés: Virtual machines creations and releases; transition relation; behavioural types; peak cost; net cost; cost equations

Domaines: Langage de programmation [cs.PL]

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⟩