[논문 리뷰] Bounds on Worst-Case Responsiveness for Agreement Algorithms

Ittai Abraham, Kartik Nayak|arXiv (Cornell University)|2020. 01. 01.

Distributed systems and fault tolerance참고 문헌 32인용 수 8

한 줄 요약

이 논문은 동기화된 인증 모델에서 바이진틴 합의, 브로드캐스트, 상태 기계 복제를 위한 1∆-BA, 1∆-BB, 1∆-SMR 프로토콜을 제안하며, 최적의 내성성 f < n/2를 유지하면서 양호한 경우 지연 시간이 ∆ + 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 동기화된 인증 모델에서 바이진틴 합의 및 브로드캐스트 프로토콜이 f ≥ n/3 장애를 견디는 조건에서 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의 내성성을 유지하여 거의 최적의 SMR 성능를 가능하게 한다.
• 프로토콜들은 락스텝이 아니며 메시지 수신에 기반해 진행하므로 불필요한 대기를 방지하고 실용적인 반응성을 향상시킨다.
• 통신 복잡성은 약간 증가하지만 양호한 경우 지연 시간에 영향을 주지 않고 모바일 링크 장애 및 모바일 느린 장애를 처리할 수 있도록 확장된다.
• 결과적으로 2∆가 동기화된 인증 모델에서 바이진틴 프로토콜의 최적의 양호한 경우 지연 시간이라는 추측을 반증한다.