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

Authors:
Shlomi Dolev;Swan Dubois;Maria Potop-Butucaru;Sébastien Tixeuil
Affiliations:
Department of Computer Science, Ben-Gurion University of the Negev, Beer-Sheva, 84105, Israel;UPMC Sorbonne Universités & INRIA, France;UPMC Sorbonne Universités & INRIA, France;UPMC Sorbonne Universités & IUF, France
Venue:
Information Processing Letters
Year:
2011

Citing 15
Cited 2

Stabilizing Communication Protocols

IEEE Transactions on Computers - Special issue on protocol engineering
Resource Bounds for Self-Stabilizing Message-Driven Protocols

SIAM Journal on Computing
Self-stabilization

Self-stabilization
Self-stabilizing systems in spite of distributed control

Communications of the ACM
Distributed Algorithms

Distributed Algorithms
Self-Stabilization by Counter Flushing

SIAM Journal on Computing
Finite-state self-stabilizing protocols in message-passing systems

ICDCS '99 Workshop on Self-stabilizing Systems
Self-stabilization of dynamic systems assuming only read/write atomicity

Distributed Computing - Special issue: Self-stabilization
Self-stabilization over unreliable communication media

Distributed Computing - Special issue: Self-stabilization
Stabilization and pseudo-stabilization

Distributed Computing - Special issue: Self-stabilization
A snap-stabilizing point-to-point communication protocol in message-switched networks

IPDPS '09 Proceedings of the 2009 IEEE International Symposium on Parallel&Distributed Processing
How to Improve Snap-Stabilizing Point-to-Point Communication Space Complexity?

SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Snap-stabilization in message-passing systems

Journal of Parallel and Distributed Computing
Snap-stabilizing linear message forwarding

SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
Empire of Colonies: self-stabilizing and self-organizing distributed algorithms

OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems

Pragmatic self-stabilization of atomic memory in message-passing systems

SSS'11 Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems
Self-stabilizing end-to-end communication in (bounded capacity, omitting, duplicating and non-FIFO) dynamic networks

SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems

Quantified Score

Hi-index	0.89

Visualization

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).