Skip to Main content Skip to Navigation
Conference papers

Asynchronous Coordination of Stateful Autonomic Managers in the Cloud

Rim Abid 1, 2 Gwen Salaün 1 Noel de Palma 2 Soguy Mak-Karé 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
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.
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download
Contributor : Rim Abid Connect in order to contact the contributor
Submitted on : Friday, December 18, 2015 - 10:21:05 AM
Last modification on : Wednesday, July 6, 2022 - 4:19:19 AM
Long-term archiving on: : Saturday, April 29, 2017 - 6:48:11 PM


Files produced by the author(s)


  • HAL Id : hal-01245754, version 1


Rim Abid, Gwen Salaün, Noel de Palma, Soguy Mak-Karé 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. ⟨hal-01245754⟩



Record views


Files downloads