Asynchronous Coordination of Stateful Autonomic Managers in the Cloud

Rim Abid 1, 2 Gwen Salaün 1 Noel De Palma 2 Soguy Mak-Kare Gueye 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 is now an omnipresent paradigm in modern programming. 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, auto-nomic 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 au-tonomic 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 paper, we present our 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.
Keywords : Coordination Cloud Computing Autonomic Management Controller Synthesis Asynchronous Communication
Type de document :
Communication dans un congrès
12th International Symposium on Formal Aspects of Components and Systems FACS'2015, Oct 2015, Niterói, Rio de Janeiro, Brazil. 2015
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01245754
Contributeur : Rim Abid <>
Soumis le : vendredi 18 décembre 2015 - 10:21:05
Dernière modification le : mercredi 11 avril 2018 - 01:55:24
Document(s) archivé(s) le : samedi 29 avril 2017 - 18:48:11

Fichier

mainFACS.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01245754, version 1

Collections

LIG | CONVECS | INRIA | UGA | LIG_SRCPR

Citation

Rim Abid, Gwen Salaün, Noel De Palma, Soguy Mak-Kare Gueye. Asynchronous Coordination of Stateful Autonomic Managers in the Cloud. 12th International Symposium on Formal Aspects of Components and Systems FACS'2015, Oct 2015, Niterói, Rio de Janeiro, Brazil. 2015. 〈hal-01245754〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

477

Téléchargements de fichiers

126

Contact


archive-ouverte@inria.fr