A tree-based algorithm for distributed mutual exclusion
ACM Transactions on Computer Systems (TOCS)
Stabilizing Communication Protocols
IEEE Transactions on Computers - Special issue on protocol engineering
Self-stabilization by local checking and correction (extended abstract)
SFCS '91 Proceedings of the 32nd annual symposium on Foundations of computer science
ACM Computing Surveys (CSUR)
Self-stabilization by counter flushing
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Self-stabilizing systems in spite of distributed control
Communications of the ACM
Competitive concurrent distributed queuing
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing
The Arrow Distributed Directory Protocol
DISC '98 Proceedings of the 12th International Symposium on Distributed Computing
The Aleph Toolkit: Support for Scalable Distributed Shared Objects
CANPC '99 Proceedings of the Third International Workshop on Network-Based Parallel Computing: Communication, Architecture, and Applications
Distributed Self-Stabilizing Algorithm for Minimum Spanning Tree Construction
Euro-Par '97 Proceedings of the Third International Euro-Par Conference on Parallel Processing
Time Optimal Self-Stabilizing Spanning Tree Algorithms
Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science
Self-Stabilization by Tree Correction
Self-Stabilization by Tree Correction
Ordered Multicast and Distributed Swap
ACM SIGOPS Operating Systems Review
Self-stabilization of dynamic systems assuming only read/write atomicity
Distributed Computing - Special issue: Self-stabilization
Dynamic analysis of the arrow distributed protocol
Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures
Self-Stabilizing Distributed Queuing
IEEE Transactions on Parallel and Distributed Systems
A pursuer-evader game for sensor networks
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
DCOSS'07 Proceedings of the 3rd IEEE international conference on Distributed computing in sensor systems
A hierarchy-based fault-local stabilizing algorithm for tracking in sensor networks
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
Distributed transactional memory for metric-space networks
DISC'05 Proceedings of the 19th international conference on Distributed Computing
| Hi-index | 0.00 |
Distributed queuing is a fundamental problem in distributed computing, arising in a variety of applications. In a distributed queuing protocol, each participating process informs its predecessor of its identity, and (when appropriate) learns the identity ofits successor.This paper presents a new, self-stabilizing distributed queuing protocol. This protocol adds self-stabilizing actions to the Arrow distributed queuing protocol, a simple path-reversal protocol that runs on a network spanning tree.The protocol is structured as a layer that runs on top ofan y selfstabilizing spanning tree protocol. This additional layer stabilizes in constant time, establishing that self-stabilizing distributed queuing is no more difficult than self-stabilizing spanning tree maintenance. The key idea is that the global predicate defining the legality of a protocol state can be written as the conjunction of many purely local predicates, one for each edge of the spanning tree.