Fever：最优响应式视图同步

视图同步是部分同步模型中许多现代拜占庭容错状态机复制（SMR）系统的重要组件。粗略而言，视图同步的效率衡量为从一个正确领导者的视图同步状态转移到下一个正确领导者视图同步状态所需的字复杂度与延迟。视图同步的效率已成为整个 SMR 系统效率的主要瓶颈。一个关键问题悬而未决：是否存在具有渐近最优二次最坏情况字复杂度，且在连续正确领导者间切换时获得线性消息复杂度和响应式的视图同步协议？我们以一种新的部分同步视图同步协议（称为 Fever，假设最小时钟同步）肯定地回答了该问题。若 $n$ 为处理器数量，$t$ 为小于 $n/3$ 的最大整数，则 Fever 具有弹性 $t$，且在至多 $0\leq f\leq t$ 个拜占庭方、GST 后网络延迟至多 $\delta \leq \Delta$（其中 $f$ 与 $\delta$ 未知）的所有执行中，Fever 的最坏情况字复杂度为 $O(fn+n)$，最坏情况延迟为 $O(\Delta f + \delta)$。