发热：最佳响应式视图同步
摘要：视图同步是现代拜占庭容错状态机复制（SMR）系统中的一个重要组成部分，在部分同步模型中。粗略而言，视图同步的效率可以通过从在一个正确的领导者视图中同步到下一个正确的领导者视图所需的字复杂度和延迟来衡量。 视图同步的效率已成为整个SMR系统效率的一个主要瓶颈。一个关键问题仍然未解决：存在具有渐近最优的二次最坏情况字复杂度、在移动到连续的正确领导者之间时获得线性消息复杂度和响应能力的视图同步协议吗？ 我们用一种新的视图同步协议Fever回答了这个问题，该协议在假设最小的时钟同步的情况下适用于部分同步。如果n是处理器的数量，t是小于n/3的最大整数，则Fever具有弹性t，并且在最多有0<=f<=t个拜占庭方和在GST之后最多有delta <= Delta的网络延迟的所有执行中（其中f和delta是未知的），Fever的最坏情况字复杂性是O(fn + n)，最坏情况延迟是O(Delta f + delta)。
作者：Andrew Lewis-Pye, Ittai Abraham
论文ID：2301.09881
分类：Distributed, Parallel, and Cluster Computing
分类简称：cs.DC
提交时间：2023-05-11