Self-stabilization over unreliable communication media

Authors:
Yehuda Afek;Geoffrey M. Brown
Affiliations:
Computer Science Department, Tel-Aviv University and AT&T Bell Laboratories;School of Electrical Engineering, 334 Engineering and Theory Center Building, Cornell University, Ithaca, NY
Venue:
Distributed Computing - Special issue: Self-stabilization
Year:
1993

Citing 10
Cited 29

The mutual exclusion problem: partII—statement and solutions

Journal of the ACM (JACM)
End-to-end communication in unreliable networks

PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
Data link layer: two impossibility results

PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
Uniform self-stabilizing rings

ACM Transactions on Programming Languages and Systems (TOPLAS)
Token Systems That Self-Stabilize

IEEE Transactions on Computers
Self-stabilizing extensions for message-passing systems

PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Stabilizing Communication Protocols

IEEE Transactions on Computers - Special issue on protocol engineering
Self-stabilizing systems in spite of distributed control

Communications of the ACM
A note on reliable full-duplex transmission over half-duplex links

Communications of the ACM
Stabilization and Pseudo-Stabilization

Stabilization and Pseudo-Stabilization

Crash failures can drive protocols to arbitrary states

PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Self-stabilizing sliding window ARQ protocols

IEEE/ACM Transactions on Networking (TON)
Self-stabilizing algorithms for synchronous unidirectional rings

Proceedings of the seventh annual ACM-SIAM symposium on Discrete algorithms
Self-stabilizing unidirectional network algorithms by power-supply

SODA '97 Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms
The fault span of crash failures

Journal of the ACM (JACM)
Local stabilizer

Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Finite-state self-stabilizing protocols in message-passing systems

Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Tolerating transient and intermittent failures

Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
A Self-stabilizing Token-Based k-out-of-l Exclusion Algorithm

Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Communication Adaptive Self-Stabilizing Group Membership Service

WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
A New Efficient Tool for the Design of Self-Stabilizing l-Exclusion Algorithms: The Controller

WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
Universal dynamic synchronous self-stabilization

Distributed Computing
Unifying Stabilization and Termination in Message-Passing Systems

ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Communication Adaptive Self-Stabilizing Group Membership Service

IEEE Transactions on Parallel and Distributed Systems
A fault-tolerant message passing algorithm and its hardware implementation

Advances in Engineering Software
Unifying stabilization and termination in message-passing systems

Distributed Computing
Snap-stabilization in message-passing systems

Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing
Fault tolerance in wireless sensor networks through self-stabilisation

International Journal of Communication Networks and Distributed Systems
Snap-Stabilization in Message-Passing Systems

ICDCN '09 Proceedings of the 10th International Conference on Distributed Computing and Networking
A fault-tolerant message passing algorithm and its hardware implementation

Advances in Engineering Software
Separation of Circulating Tokens

SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
A new self-stabilizing k-out-of-l exclusion algorithm on rings

SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
Snap-stabilization in message-passing systems

Journal of Parallel and Distributed Computing
Self-stabilizing algorithms

Algorithms and theory of computation handbook
Stabilizing data-link over non-FIFO channels with optimal fault-resilience

Information Processing Letters
On distributed verification

ICDCN'06 Proceedings of the 8th international conference on Distributed Computing and Networking
Self-stabilization with r-operators revisited

SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
Self-stabilizing (k,r)-clustering in clock rate-limited systems

SIROCCO'12 Proceedings of the 19th international conference on Structural Information and Communication Complexity
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.00

Visualization

Abstract

A self-stabilizing system has the property that it will converge to a desirable state when started from any state. Most previous researchers assumed that processes in self-stabilizing systems may communicate through shared variables while those that studied message passing systems allowed messages with unbounded size. This paper discusses the development of self-stabilizing systems which communicate through message passing, and in which messages may be lost in transit. The systems presented all use fixed size message headers. First, a self-stabilizing version of the Alternating Bit Protocol, a fundamental communication protocol for transmitting data across an unreliable communication medium, is presented. Secondly, the alternating-bit protocol is used to construct a self-stabilizing token ring.