How to improve snap-stabilizing point-to-point communication space complexity ? - Archive ouverte HAL
Communication Dans Un Congrès Année : 2009

How to improve snap-stabilizing point-to-point communication space complexity ?

Résumé

A snap-stabilizing protocol, starting from any configuration, always behaves according to its specification. In this paper, we are interested in 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 information given by a routing algorithm. By the context of stabilization (in particular, the system starts in any configuration), this information can be corrupted. In [1], authors show that there exists snap-stabilizing algorithms for this problem (in the state model). That implies that we can ask the system to begin forwarding messages without losses even if routing informations are initially corrupted. In this paper, we propose another snap-stabilizing algorithm for this problem which improves the space complexity of the one of [1].

Dates et versions

inria-00628081 , version 1 (30-09-2011)

Identifiants

Citer

Alain Cournier, Swan Dubois, Vincent Villain. How to improve snap-stabilizing point-to-point communication space complexity ?. SSS 2009 - 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2009, Lyon, France. pp.195-208, ⟨10.1007/978-3-642-05118-0_14⟩. ⟨inria-00628081⟩
89 Consultations
0 Téléchargements

Altmetric

Partager

More