A self-stabilizing algorithm for a hierarchical middleware self-adaptive deployment : specification, proof, simulations
Un algorithme auto-stabilisant pour le déploiement auto-adaptatif d'un intergiciel hiérarchique : spécification, preuve, simulations
Résumé
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-time
in 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.
RÉSUMÉ. Dans cette 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 on risque de tout reprendre à zéro, ce qui est coûteux. 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. Pour évaluer ces algorithmes, nous avons conçu un simulateur. Les résultats des simulations montrent qu'un déploiement, sujet à des pannes transitoires, s'auto-adapte.
Origine : Fichiers produits par l'(les) auteur(s)
