A snap-stabilizing point-to-point communication protocol in message-switched networks

Abstract : A snap-stabilizing protocol, starting from any configuration, always behaves according to its specification. In this paper, we present a snap-stabilizing protocol to solve the message forwarding problem in a message-switched network. In this problem, we must manage resources of the system to deliver messages to any processor of the network. In this purpose, we use informations given by a routing algorithm. By the context of stabilization (in particular, the system starts in any configuration), these informations can be corrupted. So, the existence of a snap-stabilizing protocol for the message forwarding problem implies that we can ask the system to begin forwarding messages even if routing informations are initially corrupted. In this paper, we propose a snap-stabilizing algorithm (in the state model) for the following specification of the problem: Any message can be generated in a finite time. Any emitted message will be delivered to its destination once and only once in a finite time. This implies that our protocol can deliver any emitted message regardless of the state of routing tables in the initial configuration.
Type de document :
Communication dans un congrès
IPDPS 2009 - 23th IEEE International Parallel & Distributed Processing Symposium, May 2009, Rome, Italy. IEEE, pp.1-11, 2009, 〈10.1109/IPDPS.2009.5160997〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00628083
Contributeur : Swan Dubois <>
Soumis le : vendredi 30 septembre 2011 - 13:36:58
Dernière modification le : vendredi 31 août 2018 - 09:25:53

Identifiants

Collections

Citation

Alain Cournier, Swan Dubois, Vincent Villain. A snap-stabilizing point-to-point communication protocol in message-switched networks. IPDPS 2009 - 23th IEEE International Parallel & Distributed Processing Symposium, May 2009, Rome, Italy. IEEE, pp.1-11, 2009, 〈10.1109/IPDPS.2009.5160997〉. 〈inria-00628083〉

Partager

Métriques

Consultations de la notice

83