Coordination and Reconfiguration of Distributed Cloud Applications

Rim Abid 1
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Cloud applications consist of a set of interconnected software components running on multiple virtual machines. Thus, there is a need for protocols that can dynamically reconfigure such distributed applications. We present in the first part of this thesis a novel protocol, which can resolve dependencies in distributed cloud applications, by (dis)connecting and starting/stopping components in a particular order. The protocol also supports virtual machine failures. The virtual machines interact through a publish-subscribe communication media and reconfigure themselves upon demand in a decentralised fashion. Designing such protocols is an error-prone task. Therefore, we investigated the use of formal specification languages and verification techniques, in particular the LNT value-passing process algebra to specify the protocol and the model checking tools available in the CADP toolbox to verify it. Moreover, managing distributed cloud applications is a challenging problem because the manual administration is no longer realistic for these complex distributed systems. Thus, autonomic computing is a promising solution for monitoring and updating these applications automatically. This is achieved through the automation of administration functions and the use of control loops, called autonomic managers. Multiple autonomic managers can be deployed in the same system and must make consistent decisions. However, using them without coordination may lead to inconsistencies and error-prone situations. We propose a new approach for coordinating stateful autonomic managers, which relies on a simple coordination language, new techniques for asynchronous controller synthesis and Java code generation. We used our approach for coordinating real-world cloud applications.
Document type :
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Grenoble, 2015. English
Liste complète des métadonnées
Contributor : Radu Mateescu <>
Submitted on : Tuesday, January 19, 2016 - 2:44:03 PM
Last modification on : Thursday, January 21, 2016 - 1:09:47 AM
Document(s) archivé(s) le : Friday, November 11, 2016 - 12:16:51 PM


  • HAL Id : tel-01258795, version 1



Rim Abid. Coordination and Reconfiguration of Distributed Cloud Applications. Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Grenoble, 2015. English. <tel-01258795>



Record views


Document downloads