时间并非良医,却令后见之明清晰如初

在1980年代,分布式计算领域出现了三个相关的不可能性结果。首先,Fischer、Lynch和Paterson证明了在异步消息传递系统中,当单个进程可能崩溃-停止时,确定性共识无法达成。随后,Loui和Abu-Amara展示了在异步共享内存系统中,给定一次崩溃-停止故障的可能性,共识无法达成。最后,Santoro和Widmayer确立了在同步消息传递系统中,每轮有一个进程经历发送遗漏故障时共识的不可能性。本文中,我们重访这些开创性结果。首先,我们观察到所有这些系统在相互实现的意义上是等价的。然后,我们证明了Santoro和Widmayer的同步系统中共识的不可能性,该系统最易于推理。受V"olzer的证明精华与Borowski-Gafni模拟的启发,我们得到了一个异常简单的证明。我们认为,教授这些结果的当代教学路径应首先处理系统的等价性,再在最易显现该结果的系统中证明共识不可能性。