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.
Type de document :
Communication dans un congrès
17th International Symposium on Principles and Practice of Declarative Programming, Jul 2015, Siena, Italy. pp.12, 2015, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming. 〈10.1145/2790449.2790524〉
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01229424
Contributeur : Laneve Cosimo <>
Soumis le : lundi 16 novembre 2015 - 16:02:20
Dernière modification le : mercredi 10 octobre 2018 - 10:08:57
Document(s) archivé(s) le : vendredi 28 avril 2017 - 20:50:33

Fichier

VM-conf.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Abel Garcia, Cosimo Laneve, Michael Lienhardt. Static analysis of cloud elasticity. 17th International Symposium on Principles and Practice of Declarative Programming, Jul 2015, Siena, Italy. pp.12, 2015, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming. 〈10.1145/2790449.2790524〉. 〈hal-01229424〉

Partager

Métriques

Consultations de la notice

123

Téléchargements de fichiers

75