Computer Science – Data Structures and Algorithms
Scientific paper
2002-06-07
Computer Science
Data Structures and Algorithms
Typographical errors fixed
Scientific paper
It is well known that the consensus problem cannot be solved deterministically in an asynchronous environment, but that randomized solutions are possible. We propose a new model, called noisy scheduling, in which an adversarial schedule is perturbed randomly, and show that in this model randomness in the environment can substitute for randomness in the algorithm. In particular, we show that a simplified, deterministic version of Chandra's wait-free shared-memory consensus algorithm (PODC, 1996, pp. 166-175) solves consensus in time at most logarithmic in the number of active processes. The proof of termination is based on showing that a race between independent delayed renewal processes produces a winner quickly. In addition, we show that the protocol finishes in constant time using quantum and priority-based scheduling on a uniprocessor, suggesting that it is robust against the choice of model over a wide range.
No associations
LandOfFree
Fast Deterministic Consensus in a Noisy Environment does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Fast Deterministic Consensus in a Noisy Environment, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Fast Deterministic Consensus in a Noisy Environment will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-522367