Aller au contenu principalAller à la recherche
Episciences
Revues en libre accès
|Connexion(nouvelle fenêtre)
Revue Africaine de Recherche en Informatique et Mathématiques Appliquées logo
Revue Africaine de Recherche en Informatique et Mathématiques Appliquées
Revue Africaine de Recherche en Informatique et Mathématiques Appliquées logo
Revue Africaine de Recherche en Informatique et Mathématiques Appliquées
|Connexion(nouvelle fenêtre)
Articles & volumes
Tous les articlesTous les articles acceptésTous les volumesDernier volumeVolumes spéciauxAuteurs/Autrices
À propos
La revueRéférencementActualitésStatistiques
Comités
Publier
Pour les auteurs/autricesCharte éthiquePour les relecteurs/relectricesProposer des numéros spéciaux
Submit
Revue Africaine de Recherche en Informatique et Mathématiques Appliquées logo
Contact
|
Crédits
eISSN 1638-5713
|
RSS
|
Atom
Episciences
Documentation
|
Remerciements
|
Politique de publication
Accessibilité : non conforme
|
Mentions légales
|
Déclaration de confidentialité
|
Termes d'utilisation
  1. Accueil > Articles & volumes >
  2. Articles >
  3. Un algorithme auto-s ...
Article

Un algorithme auto-stabilisant pour le déploiement auto-adaptatif d'un intergiciel hiérarchique : spécification, preuve, simulations

Maurice-Djibril Faye (1) (2), Eddy Caron ORCID (2), Ousmane Thiare ORCID (1)
(1) Laboratoire d'Analyse Numérique et Informatique [Sénégal]
(2) Algorithms and Software Architectures for Distributed and HPC Platforms
Télécharger l'article
Ouvrir sur HAL
Soumis le
December 7, 2016
Accepté le
December 7, 2016
Publié le
December 12, 2016
Modifié le
March 31, 2025
Volume spécial 25
Volume 25 - 2016 - Numéro spécial CNRIA 2015
DOI
10.46298/arima.1473
Licence
Attribution - Pas d'Utilisation Commerciale - Partage dans les Mêmes Conditions 4.0 International (CC BY-NC-SA 4.0)
Indicateurs
965
Vues
808
Téléchargements

Un algorithme auto-stabilisant pour le déploiement auto-adaptatif d'un intergiciel hiérarchique : spécification, preuve, simulations

Maurice-Djibril Faye (1) (2), Eddy Caron ORCID (2), Ousmane Thiare ORCID (1)
(1) Laboratoire d'Analyse Numérique et Informatique [Sénégal]
(2) Algorithms and Software Architectures for Distributed and HPC Platforms
Résumé
anglais
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.
français
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.
Mots-clés
français
  • [INFO]Computer Science [cs]
  • déploiement
  • Machine à états finis
  • simulateur
  • DIET
  • Systèmes distribués
  • auto-stabilisation
  • intergiciel
anglais
  • Middleware
  • Distributed Computing
  • diet middleware
  • Cloud
  • software deployment
  • Finite State Machine
  • Simulation
  • Self-stabilization
  • Autonomic System
Aperçu
Loading PDF preview...