[论文解读] Bounds on Worst-Case Responsiveness for Agreement Algorithms

Ittai Abraham, Kartik Nayak|arXiv (Cornell University)|Jan 1, 2020

Distributed systems and fault tolerance参考文献 32被引用 8

一句话总结

本文提出 1∆-BA、1∆-BB 和 1∆-SMR 协议，用于在同步认证模型中实现拜占庭一致性、广播和状态机复制，实现接近最优的正常情况延迟 ∆ + 2δ，且具有最优容错能力 f < n/2。这些协议避免了同步步进执行，基于实际延迟 δ 采用自适应定时机制，并通过将正常情况延迟从 2∆ 降低至 ∆ + 2δ，改进了先前工作，反驳了 2∆ 为最优的猜想。

ABSTRACT

This paper investigates the problem good-case latency of Byzantine agreement, broadcast and state machine replication in the synchronous authenticated setting. The good-case latency measure captures the time it takes to reach agreement when all non-faulty parties have the same input (or in BB/SMR when the sender/leader is non-faulty) and all messages arrive instantaneously. Previous result implies a lower bound showing that any Byzantine agreement or broadcast protocol tolerating more than n/3 faults must have a good-case latency of at least Δ. Our first result is a matching tight upper bound for a family of protocols we call 1Δ. We propose a protocol 1Δ-BA that solves Byzantine agreement in the synchronous and authenticated setting with optimal good-case latency of Δ and optimal resilience f < n/2. We then extend our protocol and present 1Δ-BB and 1Δ-SMR for Byzantine fault tolerant broadcast and state machine replication, respectively, in the same setting and with the same optimal good-case latency of Δ and f < n/2 fault tolerance.

研究动机与目标

• 解决同步步进拜占庭一致性协议因等待固定轮次而造成的时间浪费等实际局限性。
• 定义并优化正常情况延迟作为比最坏情况延迟更相关于现实世界 BFT SMR 系统的度量标准。
• 弥合已知的 ∆ 下界与先前拜占庭一致性及广播协议中 2∆ 上界之间在正常情况延迟上的差距。
• 将协议扩展至更弱的模型，支持移动链路故障和移动迟滞故障，同时保持接近最优的正常情况延迟。

提出的方法

• 设计非同步步进协议，一旦接收到足够消息即开始执行，避免固定轮次延迟。
• 引入一种定时模型，区分保守边界 ∆ 与实际延迟 δ，以实现自适应进度。
• 使用认证通信和门限签名确保一致性，并在 f < n/2 故障下防止双重承诺。
• 通过中间副本中继消息的方式，将 1∆ 方法适配以处理移动链路故障，维持连接性。
• 通过增加仅影响最坏情况延迟、不影响正常情况延迟的额外通信轮次，将协议扩展以容忍移动迟滞故障。
• 通过在所有考虑模型中对抗性策略下的形式化分析，证明协议的容错能力与正确性。

实验结果

研究问题

• RQ1 在同步认证模型中，拜占庭一致性与广播协议能否实现低于 2∆ 的正常情况延迟？
• RQ2 在 f < n/2 故障下，∆ + 2δ 是否为拜占庭一致性协议的最优正常情况延迟？
• RQ3 1∆ 协议族能否在不降低正常情况延迟的前提下，扩展以处理移动链路故障和移动迟滞故障？
• RQ4 在存在网络延迟的情况下，缺乏同步步进执行如何影响协议性能与正确性？
• RQ5 将 ∆（保守边界）与 δ（实际延迟）分离，对协议响应速度有何影响？

主要发现

• 本文建立了任何容忍 f ≥ n/3 故障的拜占庭一致性或广播协议的正常情况延迟下界为 ∆。
• 所提出的 1∆-BA 协议在最优容错能力 f < n/2 下实现 ∆ + 2δ 的正常情况延迟，优于先前的 2∆ 上界。
• 1∆-BB 和 1∆-SMR 协议继承相同的 ∆ + 2δ 正常情况延迟与 f < n/2 容错能力，实现接近最优的状态机复制性能。
• 这些协议为非同步步进式，基于消息接收进度，避免不必要的等待，提升实际响应速度。
• 该方法被扩展以处理移动链路故障和移动迟滞故障，仅带来通信复杂度的轻微增加，且正常情况延迟未受影响。
• 研究结果反驳了 2∆ 是同步认证模型中拜占庭协议最优正常情况延迟的猜想。