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

TL;DR

This paper introduces a novel self-stabilizing data-link protocol that ensures reliable FIFO communication over unreliable, non-FIFO channels, addressing a gap in existing self-stabilization research.

Contribution

It presents the first design of a self-stabilizing message passing algorithm for non-FIFO channels, achieving optimal fault resilience and reliable communication.

Findings

Provides a fault-send-deliver stabilizing data-link layer

Emulates reliable FIFO channels over unreliable non-FIFO channels

Achieves optimal fault resilience in the proposed protocol

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 a fault-send-deliver optimal stabilizing data-link layer that emulates a reliable FIFO communication channel over unreliable capacity bounded non-FIFO channels.