Asynchronous synthesis techniques for coordinating autonomic managers in the cloud

Rim Abid 1 Gwen Salaün 1 Noël 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 computing allows the delivery of on-demand computing resources over the internet on a pay-for-use basis. From a technical point of view, cloud applications usually consist of several software components deployed on remote virtual machines. Managing such applications is a challenging problem because 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. An autonomic manager observes the environment , detects changes, and reconfigures dynamically the application. Multiple autonomic managers can be deployed in the same system and must make consistent decisions. Using them without coordination may lead to inconsistencies and error-prone situations. In this article, we first present a simple language for expressing coordination constraints given a set of auto-nomic managers. Second, given a coordination expression written with that language, we propose new synthesis techniques for automatically generating an asynchronous controller. These synthesis techniques work in two steps by successively generating a model of the controller and a Java object corresponding to this model. This Java code is finally used for deploying the generated controller. As far as evaluation is concerned, we validated our approach by using it for coordinating real-world cloud applications.
Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2017, 146, pp.87 - 103. 〈10.1016/j.scico.2017.05.005〉
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger
Contributeur : Radu Mateescu <>
Soumis le : mercredi 8 novembre 2017 - 09:14:49
Dernière modification le : jeudi 6 décembre 2018 - 15:43:25
Document(s) archivé(s) le : vendredi 9 février 2018 - 12:50:19


Fichiers produits par l'(les) auteur(s)



Rim Abid, Gwen Salaün, Noël De Palma. Asynchronous synthesis techniques for coordinating autonomic managers in the cloud. Science of Computer Programming, Elsevier, 2017, 146, pp.87 - 103. 〈10.1016/j.scico.2017.05.005〉. 〈hal-01630717〉



Consultations de la notice


Téléchargements de fichiers