.png){kind=icon}
返回
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
摘要
En 中文
我们证明了基于事件的同步对于解决异步环境下的确定性容错一致性是充分的。主要结果是该算法在终止时达成有效的向量一致，因此具备安全性、活性以及对一次崩溃的容错能力。与FLP不可能性结果相协调，我们识别出：(i) 存在两种类型的一致性：与数据无关和与数据相关；(ii) FLP定理的正确性依赖于三个隐含假设。与数据相关一致性的共识不可能性取决于其中两个假设。而定理所述的针对所有类型一致性的不可能性则完全依赖于第三个假设。我们提供了实验结果，表明第三个假设缺乏支持证据。
Keyword:
Deterministic consensus
fault-tolerant consensus
consensus in asynchrony
binary agreement
vector agreement
termination with valid agreement
期刊
I
IF:
0.7
论文数:
50
被引数:
266
机构
暂无机构信息
.png){kind=icon}
查看更多内容