Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Journal articles

Reliable Self-deployment of Distributed Cloud Applications

Xavier Etchevers 1 Gwen Salaün 2 Fabienne Boyer 3 Thierry Coupaye 1 Noël de Palma 3 
2 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
3 ERODS - Efficient and Robust Distributed Systems
LIG - Laboratoire d'Informatique de Grenoble
Abstract : Cloud applications consist of a set of interconnected software elements distributed over several virtual machines, themselves hosted on remote physical servers. Most existing solutions for deploying such applications require human intervention to configure parts of the system, do not conform to functional dependencies among elements that must be respected when starting them, and do not handle virtual machine failures that can occur when deploying an application. This paper presents a self-deployment protocol that was designed to automatically configure a set of software elements to be deployed on different virtual machines. This protocol works in a decentralized way, i.e., there is no need for a centralized server. It also starts the software elements in a certain order, respecting important architectural invariants. This protocol supports virtual machine and network failures, and always succeeds in deploying an application when faced with a finite number of failures. Designing such highly parallel management protocols is difficult, therefore formal modeling techniques and verification tools were used for validation purposes. The protocol was implemented in Java and was used to deploy industrial applications.
Complete list of metadata
Contributor : Radu Mateescu Connect in order to contact the contributor
Submitted on : Friday, June 30, 2017 - 3:16:52 PM
Last modification on : Wednesday, July 6, 2022 - 4:22:48 AM
Long-term archiving on: : Thursday, January 18, 2018 - 1:10:24 AM


Files produced by the author(s)



Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noël de Palma. Reliable Self-deployment of Distributed Cloud Applications. Software: Practice and Experience, Wiley, 2017, 47 (1), pp.3-20. ⟨10.1002/spe.2400⟩. ⟨hal-01290465⟩



Record views


Files downloads