Un algorithme auto-stabilisant pour le déploiement auto-adaptatif d'un intergiciel hiérarchique : spécification, preuve, simulations - Archive ouverte HAL Access content directly
Journal Articles Revue Africaine de Recherche en Informatique et Mathématiques Appliquées Year : 2016

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

Abstract

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 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. Pour avoir une idée plus précise des caractéristiques de l’algorithme, nous avons conçu un simulateur. Les résultats des simulations montrent qu’un déploiement, sujet à des pannes transitoires, s’auto-adapte.
Fichier principal
Vignette du fichier
ARIMA-Vol25-Faye.pdf (2.11 Mo) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01311153 , version 1 (03-05-2016)
hal-01311153 , version 2 (01-08-2016)
hal-01311153 , version 3 (23-11-2016)

Licence

Identifiers

Cite

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. Revue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2016, ARIMA Journal, Volume 25 - 2016 - Special issue CNRIA 2015 (Special Issue, CNRIA 2015), pp. 1-20. ⟨10.46298/arima.1473⟩. ⟨hal-01311153v3⟩
421 View
1070 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More