丹尼·多列夫;辛西娅·德沃克;拉里·斯托克迈耶 分布式共识所需的最小同步。 （英语） Zbl 0631.68022号 J.协会计算。机器。 34, 77-97 (1987). 达成协议是分布式计算的基础。虽然这在理想的无故障环境中没有问题，但它对实际系统的能力施加了某些限制：只有当系统允许存在对某些故障具有容错能力的共识协议时，系统才是可行的。Fischer等人已经证明，在一个完全异步的模型中，即使是一个故障也不能被容忍。本文扩展了他们的工作：识别了几个关键系统参数，包括各种同步条件，并研究了这些参数的变化如何影响可容忍的故障数量。这些证明揭示了一般的启发式原则，解释了为什么在某些模型中共识是可能的，但在其他模型中不可能。 引用于1审查引用于63文件 MSC公司： 68N25号 操作系统理论 关键词：协议问题;异步系统;Byzantine将军问题;提交问题;共识问题;容错;可靠性;分布式计算 PDF格式BibTeX公司 XML格式引用 \textit{D.Dolev}等人，J.协会计算。机器。34、77——97（1987年；Zbl 0631.68022） 全文： 内政部