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.
Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2017, 147, pp.27 - 53. 〈10.1016/j.scico.2017.03.008〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01643175
Contributeur : Laneve Cosimo <>
Soumis le : mardi 21 novembre 2017 - 10:48:04
Dernière modification le : jeudi 11 janvier 2018 - 17:05:51

Identifiants

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

27