实现最终一致性的最弱故障检测器

在经典形式中，一致的复制服务要求所有副本见证服务状态的相同演化。假设一个消息传递环境中有多数正确进程，实现确保一致性的通用状态机复制方案所需的关于故障的必要且充分信息由 $\Omega$ 故障检测器捕获。本文表明，在这样的消息传递环境中，$\Omega$ 也是实现最终一致复制服务的最弱故障检测器，其中副本仅在某些（先验未知的）时间之后才期望就服务状态的演化达成一致。事实上，我们表明 $\Omega$ 是在任何消息传递环境中实现最终一致性最弱的检测器，即在关于故障可能发生的时间和位置的任何假设下都是如此。在任何环境中确保（强）一致性，除了 $\Omega$ 外还需要法定人数故障检测器 $\Sigma$。因此，我们的论文首次刻画了构建确保一致性的复制状态机与仅确保最终一致性的复制状态机之间的精确计算差异。