Maurice-Djibril Faye ; Eddy Caron ; Ousmane Thiare - Un algorithme auto-stabilisant pour le déploiement auto-adaptatif d'un intergiciel hiérarchique : spécification, preuve, simulations

arima:1473 - Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 12 décembre 2016, Volume 25 - 2016 - Numéro spécial CNRIA 2015 - https://doi.org/10.46298/arima.1473
Un algorithme auto-stabilisant pour le déploiement auto-adaptatif d'un intergiciel hiérarchique : spécification, preuve, simulationsArticle

Auteurs : 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 - Numéro spécial CNRIA 2015
Publié le : 12 décembre 2016
Accepté le : 7 décembre 2016
Soumis le : 7 décembre 2016
Mots-clés : [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

Statistiques de consultation

Cette page a été consultée 753 fois.
Le PDF de cet article a été téléchargé 622 fois.