FLP不可能性的不同观点
摘要：二进制共识模型和条件的可能性是我们所演示的-根据Fischer，Lynch和Patterson（FLP）用来证明二进制共识不可能性的模型和条件-在完全异步和最多一个未经公告的进程崩溃失败的条件下。我们还表明：i）每个进程汇集一个包含各个进程初始值的数据集是二进制共识不可避免的阶段；ii）对该数据集达成一致对于准二进制共识是足够的。关键发现：完全异步和解决共识的不可能性之间没有直接因果关系。不可能性是由于协议一致取决于初始值的内容造成的。
作者：Ivan Klianev
论文ID：2210.02695
分类：Distributed, Parallel, and Cluster Computing
分类简称：cs.DC
提交时间：2023-07-21