Stabilizing data-link over non-FIFO channels with optimal fault-resilience

Abstract : Self-stabilizing systems have the ability to converge to a correct behavior when started in any configuration. Most of the work done so far in the self-stabilization area assumed either communication via shared memory or via FIFO channels.This paper is the first to lay the bases for the design of self-stabilizing message passing algorithms over unreliable non-FIFO channels. We propose an optimal stabilizing data-link layer that emulates a reliable FIFO communication channel over unreliable capacity bounded non-FIFO channels (the channel capacity is known to the protocol).
Complete list of metadatas
Contributor : Swan Dubois <>
Submitted on : Thursday, September 29, 2011 - 3:16:39 PM
Last modification on : Wednesday, May 15, 2019 - 3:43:31 AM



Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil. Stabilizing data-link over non-FIFO channels with optimal fault-resilience. Information Processing Letters, Elsevier, 2011, 111 (18), pp.912-920. ⟨10.1016/j.ipl.2011.06.010⟩. ⟨inria-00627760⟩



Record views