Maurice-Djibril Faye ; Eddy Caron ; Ousmane Thiare - A self-stabilizing algorithm for a hierarchical middleware self-adaptive deployment : specification, proof, simulations

arima:1473 - Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, December 12, 2016, Volume 25 - 2016 - Special issue CNRIA 2015 - https://doi.org/10.46298/arima.1473
A self-stabilizing algorithm for a hierarchical middleware self-adaptive deployment : specification, proof, simulationsArticle

Authors: Maurice-Djibril Faye 1,2; Eddy Caron ORCID2; Ousmane Thiare ORCID1

  • 1 Laboratoire d'Analyse Numérique et Informatique [Sénégal]
  • 2 Algorithms and Software Architectures for Distributed and HPC Platforms

[en]
ABSTRACT. An effective solution to deal with this dynamic nature of distributed systems is to implement a self-adaptive mechanism to sustain the distributed architecture. Self-adaptive systems can autonomously modify their behavior at run-timein response to changes in their environment. Our paper describes the self-adaptive algorithm that we developed for an existing middleware. Once the middleware is deployed, it can detects a set of events which indicate an unstable deployment state. When an event is detected, some instructions are executed to handle the event. We have proposed a sketch proof of the self-stabilizing property of the algorithm. We have designed a simulator to have a deeper insights of our proposed self-adaptive algorithm. Results of our simulated experiments validate the safe convergence of the algorithm.

[fr]
RÉSUMÉ.Dans cet article, nous nous intéressons aux moyens de rendre le déploiement d’un intergiciel auto-adaptatif. Le type d’intergiciel que nous avons considéré ici est hiérarchique (structure de graphe) et distribué. Les infrastructures de grilles/cloud étant dynamiques (perte et ajout de nœuds),un déploiement statique n’est pas la solution idéale car en cas de panne, il est souvent nécessaire de reprendre tout le processus de déploiement; or cette opération est très coûteuse. Nous avons donc proposé un algorithme auto-stabilisant pour que l’intergiciel puisse retrouver un état stable sans intervention extérieure, au bout d’un temps fini, lorsqu’il est confronté à des pannes transitoires. Pouravoir une idée plus précise des caractéristiques de l’algorithme, nous avons conçu un simulateur. Lesrésultats des simulations montrent qu’un déploiement, sujet à des pannes transitoires, s’auto-adapte.


Volume: Volume 25 - 2016 - Special issue CNRIA 2015
Published on: December 12, 2016
Accepted on: December 7, 2016
Submitted on: December 7, 2016
Keywords: [INFO]Computer Science [cs], [en] Middleware, Distributed Computing, diet middleware, Cloud, software deployment, Finite State Machine, Simulation, Self-stabilization, Autonomic System; [fr] déploiement, Machine à états finis, simulateur, DIET, Systèmes distribués, auto-stabilisation, intergiciel

Consultation statistics

This page has been seen 870 times.
This article's PDF has been downloaded 717 times.