inria-00383350, version 1
Stabilisation instantanée dans les systèmes à passage de messages
Sylvie Delaët 1Stéphane Devismes
a, 2Mikhail Nesterenko 3Sébastien Tixeuil 4
AlgoTel (2009)
Résumé : Nous abordons le problème de la \emph{stabilisation instantanée} dans les systèmes répartis à passage de messages. Notre contribution est double. Tout d'abord, nous montrons que la stabilisation instantanée est impossible pour la plupart des problèmes dans de tels systèmes si nous supposons que la capacité des canaux de communication est finie mais non bornée. Nous montrons ensuite que la stabilisation instantanée devient réalisable si nous connaissons une borne sur la capacité des canaux de communication. Cette dernière contribution est constructive : nous proposons les deux premiers protocoles répartis instantanément stabilisants dans le modèle à passage de messages.
- a – VERIMAG
- 1 : Laboratoire de Recherche en Informatique (LRI)
- CNRS : UMR8623 – Université Paris XI - Paris Sud
- 2 : VERIMAG (VERIMAG - IMAG)
- CNRS : UMR5104 – Université Joseph Fourier - Grenoble I – Institut National Polytechnique de Grenoble (INPG)
- 3 : Department of computer science
- Kent State University
- 4 : Laboratoire d'Informatique de Paris 6 (LIP6)
- CNRS : UMR7606 – Université Pierre et Marie Curie (UPMC) - Paris VI
- Domaine : Informatique/Algorithme et structure de données
- inria-00383350, version 1
- http://hal.inria.fr/inria-00383350
- oai:hal.inria.fr:inria-00383350
- Contributeur : Stéphane Devismes
- Soumis le : Mardi 12 Mai 2009, 22:12:00
- Dernière modification le : Mercredi 13 Mai 2009, 08:29:34