论文标题
关于FLP不可能的不同观点
Different Perspectives on FLP Impossibility
论文作者
论文摘要
我们证明了在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.
