Abstract
We present a randomized algorithm for asynchronous wait-free consensus using multi-writer multi-reader shared registers. This
algorithm is based on earlier work by Chor, Israeli and Li (CIL) and is correct under the assumption that processes can performa random choice and a write operation in one atomic step. The expected total work for our algorithm is shown to be O(N log(logN)), compared with O(N2) for the CIL algorithm, and O(N logN) for the best known weak adversary algorithm. We also model check instances of our algorithm using the probabilistic modelchecking tool PRISM.
Users
Please
log in to take part in the discussion (add own reviews or comments).