时间不是治愈者，但它确实使事后诸葛亮变得清晰。
摘要：分布式计算领域在20世纪80年代出现了三个相关的不可能性结果。首先，Fischer、Lynch和Paterson证明了在异步消息传递系统中，当一个进程可能发生崩溃时，确定性共识是无法实现的。随后，Loui和Abu-Amara证明了在异步共享内存系统中实现共识是不可行的，假设可能发生一个崩溃停止故障。最后，Santoro和Widmayer证明了在同步消息传递系统中，当每个回合只有一个进程经历发送遗漏故障时，共识是不可能的。 在本文中，我们重新审视了这些开创性的结果。首先，我们观察到所有这些系统在实现上是等价的。然后，我们证明了Santoro和Widmayer的同步系统中共识的不可能性，该系统在推理上最容易理解。受Volzer的证明珍珠和Borowski-Gafni模拟的启发，我们获得了一个非常简单的证明。 我们认为，教授这些结果的当代教学方法应该首先讨论系统的等价性，然后在最明显的系统中证明共识的不可能性。
作者：Eli Gafni and Giuliano Losa
论文ID：2305.02295
分类：Distributed, Parallel, and Cluster Computing
分类简称：cs.DC
提交时间：2023-05-04