Formal Design of Dynamic Reconfiguration Protocol for Cloud Applications

Rim Abid 1, 2 Gwen Salaün 1 Noel De Palma 2
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
2 ERODS - Efficient and Robust Distributed Systems
LIG - Laboratoire d'Informatique de Grenoble, UJF - Université Joseph Fourier - Grenoble 1
Abstract : Cloud applications are complex applications composed of a set of interconnected software components running on different virtual machines, hosted on remote physical servers. Deploying and reconfiguring this kind of applications are very complicated tasks especially when one or multiple virtual machines fail when achieving these tasks. Hence, there is a need for protocols that can dynamically reconfigure and manage running distributed applications. In this article, we present a novel protocol, which aims at reconfiguring cloud applications. This protocol is able to ensure communication between virtual machines and resolve dependencies by exchanging messages, (dis)connecting, and starting/stopping components in a specific order. The interaction between machines is assured via a publish-subscribe messaging system. Each machine reconfigures itself in a decentralized way. The protocol supports virtual machine failures, and the reconfiguration always terminates successfully even in the presence of a finite number of failures. Due to the high degree of parallelism inherent to these applications, the protocol was specified using the LNT value-passing process algebra and verified using the model checking tools available in the CADP toolbox. The use of formal specification languages and tools helped to detect several bugs and to improve the protocol.
Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2016, 117, pp.1-16. <10.1016/j.scico.2015.12.001>
Liste complète des métadonnées


https://hal.inria.fr/hal-01246152
Contributeur : Rim Abid <>
Soumis le : vendredi 18 décembre 2015 - 10:25:00
Dernière modification le : vendredi 6 janvier 2017 - 01:24:41
Document(s) archivé(s) le : samedi 29 avril 2017 - 21:02:21

Fichier

main-scp13.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Rim Abid, Gwen Salaün, Noel De Palma. Formal Design of Dynamic Reconfiguration Protocol for Cloud Applications. Science of Computer Programming, Elsevier, 2016, 117, pp.1-16. <10.1016/j.scico.2015.12.001>. <hal-01246152>

Partager

Métriques

Consultations de
la notice

347

Téléchargements du document

111