Randomized protocols for asynchronous consensus
摘要
The famous Fischer, Lynch, and Paterson impossibility proof shows that it is impossible to solve the consensus problem in a natural model of an asynchronous distributed system if even a single process can fail. Since its publication, two decades of work on fault-tolerant asynchronous consensus algorithms have evaded this impossibility result by using extended models that provide (a) randomization, (b) additional timing assumptions, (c) failure detectors, or (d) stronger synchronization mechanisms than are available in the basic model. Concentrating on the first of these approaches, we illustrate the history and structure of randomized asynchronous consensus protocols by giving detailed descriptions of several such protocols.
引用
@article{arxiv.cs/0209014,
title = {Randomized protocols for asynchronous consensus},
author = {James Aspnes},
journal= {arXiv preprint arXiv:cs/0209014},
year = {2007}
}
备注
29 pages; survey paper written for PODC 20th anniversary issue of Distributed Computing