[논문 리뷰] Brief Announcement: Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit

Hagit Attiya, Jennifer L. Welch|arXiv (Cornell University)|2023. 01. 01.

Distributed systems and fault tolerance인용 수 3

한 줄 요약

이 논문은 다가치 연결 공감대를 소개하며, 결정을 그래프의 정점으로 모델링하여 다가치 입력을 처리할 수 있도록 크루세이더 합의, 어댑트-커밋, 계급 브로드캐스트를 일반화하는 통합 프레임워크를 제안한다. 이 방법은 스파이더 그래프에서의 근사 합의를 사용하여 인접하거나 동일한 값으로 수렴하도록 보장하며, 결함 내성 및 브라운스티언 환경에서 최적의 복구 능력과 복잡도를 갖춘 알고리즘을 제시한다. 각 변종에 대해 복구 능력과 시간 복잡도의 상한을 공식적으로 증명한다.

ABSTRACT

Algorithms to solve fault-tolerant consensus in asynchronous systems often rely on primitives such as crusader agreement, adopt-commit, and graded broadcast, which provide weaker agreement properties than consensus. Although these primitives have a similar flavor, they have been defined and implemented separately in ad hoc ways. We propose a new problem called connected consensus that has as special cases crusader agreement, adopt-commit, and graded broadcast, and generalizes them to handle multi-valued inputs. The generalization is accomplished by relating the problem to approximate agreement on graphs. We present three algorithms for multi-valued connected consensus in asynchronous message-passing systems, one tolerating crash failures and two tolerating malicious (unauthenticated Byzantine) failures. We extend the definition of binding, a desirable property recently identified as supporting binary consensus algorithms that are correct against adaptive adversaries, to the multi-valued input case and show that all our algorithms satisfy the property. Our crash-resilient algorithm has failure-resilience and time complexity that we show are optimal. When restricted to the case of binary inputs, the algorithm has improved time complexity over prior algorithms. Our two algorithms for malicious failures trade off failure resilience and time complexity. The first algorithm has time complexity that we prove is optimal but worse failure-resilience, while the second has failure-resilience that we prove is optimal but worse time complexity. When restricted to the case of binary inputs, the time complexity (as well as resilience) of the second algorithm matches that of prior algorithms. The contributions of the paper are first, a deeper insight into the connections between primitives commonly used to solve the fundamental problem of fault-tolerant consensus, and second, implementations of these primitives that can contribute to improved consensus algorithms.

연구 동기 및 목표

• 크루세이더 합의, 어댑트-커밋, 계급 브로드캐스트와 같은 분리된 공감대 원칙들을 다가치 입력을 위한 단일 추상화로 통합하는 것.
• 특히 스파이더 그래프를 사용한 그래프에서의 근사 합의를 통해 이러한 원칙들을 일반화하여, 결정이 인접하거나 동일한 값으로 수렴하도록 모델링하는 것.
• 결함 내성 및 악성(브라운스티언) 결함 상황에서 최적의 복구 능력과 복잡도를 갖춘 알고리즘을 설계하고 공식적으로 증명하는 것.
• 이전에 이진 설정에서 연구된 바인딩 성질을 다가치 설정으로 확장하고, 제안된 모든 알고리즘에서 그 성질이 유지됨을 증명하는 것.
• 제안된 알고리즘이 최적의 결함 내성과 시간 복잡도를 달성하며, 이전의 이진 사례 대비 향상된 성능을 보임을 보여주는 것.

제안 방법

• 결정 공간을 그래프로 모델링하여, 프로세스들이 상호 거리 1 이내의 정점에서 결정을 내려야 하며, 결정이 입력의 볼록 hull에 속하도록 하는 것.
• 연결 공감대를 특정한 그래프 클래스, 즉 중심 클리크를 가진 스파이더 그래프에 국한된 근사 합의의 일반화로 정의하는 것.
• 최적의 결함 내성(n > 3f)과 시간 복잡도(O(1) 라운드)를 확보하는 결함 내성 알고리즘을 설계하고, 불가구별성 추론을 통해 그 최적성 증명하는 것.
• 두 가지 브라운스티언 내성 알고리즘을 개발: 하나는 최적의 시간 복잡도(O(1) 라운드)를 갖지만 더 약한 복구 능력(n > 5f)을 요구하고, 다른 하나는 최적의 복구 능력(n > 5f)을 갖지만 더 높은 시간 복잡도를 갖는 것.
• 불가구별성 추론과 메시지 수신 패턴을 사용하여, 입력이 극단적으로 기울어져 있을 경우 결정이 0 또는 1여야 하며, 입력이 균형을 이루고 있을 경우 결정이 ⊥이 되어야 함을 증명하는 것.
• 확장된 실행에서 결정이 임의로 분리될 수 없음을 보여주는 방식으로 바인딩 성질이 성립함을 증명하며, 적응형 공격자 행동 조건에서도 성립함을 보장하는 것.

실험 결과

연구 질문

• RQ1 크루세이더 합의, 어댑트-커밋, 계급 브로드캐스트는 다가치 입력으로 일반화되는 단일 추상화 아래 통합될 수 있는가?
• RQ2 어떤 그래프 기반 모델이 이러한 원칙들을 통합적으로 다루면서도 핵심 합의 성질을 유지할 수 있는가?
• RQ3 결함 내성 및 브라운스티언 결함 상황에서 연결 공감대의 최적 복구 능력과 시간 복잡도 상한은 무엇인가?
• RQ4 이전에 이진 공감대에서 정의된 바인딩 성질은 다가치 설정으로 어떻게 확장되고 유지될 수 있는가?
• RQ5 제안된 알고리즘은 복구 능력과 시간 복잡도 측면에서 최적 성능을 달성할 수 있으며, 이전의 연구와 비교해 어떤가?

주요 결과

• 결함 내성 알고리즘은 최적의 결함 내성(n > 3f)과 최적의 시간 복잡도(O(1) 라운드)를 확보하며, 이전의 이진 알고리즘 대비 향상된 성능을 보인다.
• 첫 번째 브라운스티언 내성 알고리즘은 최적의 시간 복잡도(O(1) 라운드)를 달성하지만, n > 5f 가 필요하며, 이는 논문에서 증명된 최소 복구 능력 상한이다.
• 두 번째 브라운스티언 내성 알고리즘은 최적의 복구 능력(n > 5f)을 달성하지만 더 높은 시간 복잡도를 갖는다. 이는 이진 사례에서 이전 알고리즘과 일치한다.
• 논문은 R = 1 인 모든 균일한 연결 공감대 알고리즘에 대해 n ≥ 3f + 2 가 필수적임을 증명하며, f ≥ n/3 인 이종 시스템에서는 공감대를 해결할 수 없음을 보여준다.
• 모든 제안된 알고리즘에서 바인딩 성질이 유지되며, 적응형 공격자 행동 조건에서도 결정이 일관되게 유지됨을 보장한다. 이는 다가치 설정에서도 마찬가지다.
• 다른 메시지 지연 조건에서 한 프로세스가 ⊥을 결정하고 다른 프로세스들이 0 또는 1을 결정하는 실행의 존재는 바인딩 성질이 자동으로 성립하지 않음을 증명하며, 따라서 명시적인 강제 조치가 필요함을 보여준다.