Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO

TL;DR

This paper introduces a self-stabilizing communication protocol designed for non-reliable, non-FIFO channels, achieving optimal fault resilience by simulating reliable, FIFO communication with minimal message errors.

Contribution

It presents a novel self-stabilizing protocol that operates effectively over unreliable, non-FIFO channels, ensuring minimal message loss, duplication, creation, and reordering.

Findings

Protocol achieves optimal fault resilience.

Simulates reliable FIFO channels over unreliable links.

Ensures minimal message errors in non-FIFO environments.

Abstract

A self-stabilizing protocol has the capacity to recover a legitimate behavior whatever is its initial state. The majority of works in self-stabilization assume a shared memory model or a communication using reliable and FIFO channels. In this article, we interest in self-stabilizing systems using bounded but non reliable and non FIFO channels. We propose a stabilizing communication protocol with optimal fault resilience. In more details, this protocol simulates a reliable and FIFO channel and ensures a minimal number of looses, duplications, creations, and re-ordering of messages.