Towards the Typing of Resource Deployment - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2014

Towards the Typing of Resource Deployment

Résumé

In cloud computing, resources as files, databases, applica-tions, and virtual machines may either scale or move from one machine to another in response to load increases and decreases (resource deploy-ment). We study a type-based technique for analysing the deployments of resources in cloud computing. In particular, we design a type system for a concurrent object-oriented language with dynamic resource cre-ations and movements. The type of a program is behavioural, namely it expresses the resource deployments over periods of (logical) time. Our technique admits the inference of types and may underlie the optimisa-tion of the costs and consumption of resources.
Fichier principal
Vignette du fichier
LaneveIsola2014.pdf (360.43 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01091748 , version 1 (06-12-2014)

Identifiants

Citer

Elena Giachino, Cosimo Laneve. Towards the Typing of Resource Deployment. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Oct 2014, Corfu, Greece. pp.88 - 103, ⟨10.1007/978-3-662-45231-8_7⟩. ⟨hal-01091748⟩

Collections

INRIA INRIA2
171 Consultations
89 Téléchargements

Altmetric

Partager

More