Optimal Provisioning in the Cloud. Technical report of the Aeolus project

Roberto Di Cosmo (1) , Michaël Lienhardt (1, 2) , Ralf Treinen (1) , Stefano Zacchiroli (1) , Jakub Zwolakowski (1)

1 PPS - Preuves, Programmes et Systèmes
2 FOCUS - Foundations of Component-based Ubiquitous Systems

Complex distributed systems are classically assembled by deploying several existing software components to multiple servers. Building such systems is a challenging problem that requires a significant amount of problem solving as one must i) ensure that all inter-component dependencies are satisfied; ii) ensure that no conflicting components are deployed on the same machine; and iii) take into account replication and distribution to account for quality of service, or possible failure of some services. We propose a tool, Zephyrus, that automates to a great extent assembling complex distributed systems. Given i) a high level specification of the desired system architecture, ii) the set of available components and their requirements) and iii) the current state of the system, Zephyrus is able to generate a formal representation of the desired system, to place the components in an optimal manner on the available machines, and to interconnect them as needed.

Mots clés: cloud; provisioning; optimization; components; packages

Domaines: Génie logiciel [cs.SE]

Roberto Di Cosmo, Michaël Lienhardt, Ralf Treinen, Stefano Zacchiroli, Jakub Zwolakowski. Optimal Provisioning in the Cloud. Technical report of the Aeolus project. 2013. ⟨hal-00831455⟩