Skip to main contentSkip to search
Episciences
Open Access Journals
|Sign in(new window)
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
|Sign in(new window)
Articles & Issues
All articlesAll accepted articlesAll volumesLast volumeSpecial issuesAuthors
About
The journalIndexingNewsStatistics
Boards
Publish
For authorsEthical charterFor reviewersProposing special issues
Submit
Revue Africaine de Recherche en Informatique et Mathématiques Appliquées logo
Contact
|
Credits
eISSN 1638-5713
|
RSS
|
Atom
Episciences
Documentation
|
Acknowledgements
|
Publishing policy
Accessibility: non-compliant
|
Legal mentions
|
Privacy statement
|
Terms of use
  1. Home > Articles & Issues >
  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
Download article
Open on HAL
Submitted on
December 7, 2016
Accepted on
December 7, 2016
Published on
December 12, 2016
Last modified on
March 31, 2025
Special issue 25
Volume 25 - 2016 - Special issue CNRIA 2015
DOI
10.46298/arima.1473
License
Attribution-Non Commercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
Indicators
965
Views
808
Downloads

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
Abstract
English
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.
French
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.
Keywords
English
  • [INFO]Computer Science [cs]
  • Middleware
  • Distributed Computing
  • diet middleware
  • Cloud
  • software deployment
  • Finite State Machine
  • Simulation
  • Self-stabilization
  • Autonomic System
French
  • déploiement
  • Machine à états finis
  • simulateur
  • DIET
  • Systèmes distribués
  • auto-stabilisation
  • intergiciel
Preview
Loading PDF preview...