关于FLP不可能性的不同视角

AI总结：

本文在FLP模型下通过引入新共识终止范式和算法，证明异步与进程崩溃条件下二进制共识可终止。

摘要：

我们展示了在Fischer、Lynch和Patterson（FLP）用于证明二进制共识不可能性的模型和条件下——即完全异步和可能的进程崩溃——通过两步实现二进制共识的终止。首先，我们引入了一种新的共识终止范式，并证明共识的不可能性并非终止不可能性的证据。接着，我们提出了一种共识算法，确保在进程初始输入上达成一致并实现终止。

英文摘要：

We demonstrate termination of binary consensus under the model and conditions used by Fischer, Lynch, and Patterson (FLP) to prove impossibility of binary agreement - in complete asynchrony and a possible process crash - in two steps. First, we introduce a new paradigm for consensus termination and show that impossibility of agreement is not evidence for impossibility to terminate. Next, we present a consensus algorithm that ensures termination with agreement about the initial input from the processes.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。