[논문 리뷰] The Weakest Failure Detector for Eventual Consistency

Swan Dubois, Rachid Guerraoui외 3명|arXiv (Cornell University)|2015. 05. 13.

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

한 줄 요약

이 논문은 메시지 전달 시스템에서 최소 일관성 보장을 구현하기 위해 필요한 가장 약한 장애 감지기(장애 감지기)를 규명한다: 최종 리더 장애 감지기 Ω. 이는 Ω가 최종 총순서 브로드캐스트와 최종 공감에 대해 必要하고도 충분함을 증명하며, 강한 일관성과 최종 일관성 간의 유일한 계산적 차이가 Ω가 아니라 추가로 필요한 Quorum 장애 감지기 Σ에 있음을 규명한다. 이 결과는 다수의 정상 프로세스가 존재하는 환경에 국한되지 않고, 모든 장애 가정 조건에서 일반적으로 성립한다.

ABSTRACT

In its classical form, a consistent replicated service requires all replicas to witness the same evolution of the service state. Assuming a message-passing environment with a majority of correct processes, the necessary and sufficient information about failures for implementing a general state machine replication scheme ensuring consistency is captured by the Ω failure detector. This paper shows that in such a message-passing environment, Ω is also the weakest failure detector to implement an eventually consistent replicated service, where replicas are expected to agree on the evolution of the service state only after some (a priori unknown) time. In fact, we show that Ω is the weakest to implement eventual consistency in any message-passing environment, i.e., under any assumption on when and where failures might occur. Ensuring (strong) consistency in any environment requires, in addition to Ω, the quorum failure detector Σ. Our paper thus captures, for the first time, an exact computational difference be- tween building a replicated state machine that ensures consistency and one that only ensures eventual consistency.

연구 동기 및 목표

• 분산 시스템에서 최종 일관성을 실현하기 위해 필요한 최소한의 장애 감지기 정보를 규명하는 것.
• 메시지 전달 환경에서 강한 일관성과 최종 일관성 간의 계산적 요구사항을 공식적으로 구분하는 것.
• Ω가 최종 일관성에 대해 가장 약한 장애 감지기임을 증명하며, 다수의 정상 프로세스가 존재하지 않는 환경에서도 성립함을 보장하는 것.
• 강한 일관성과 최종 일관성 간의 유일한 차이가 Σ 장애 감지기의 필요성에 있음을 보여주는 것.

제안 방법

• 저자들은 메시지 순서에 대한 최종 합의를 허용하는 총순서 브로드캐스트의 일반화인 최종 총순서 브로드캐스트(ETOB)의 추상화를 도입한다.
• 그들은 합의 도달 시간이 유한하지만 알려지지 않은 정체기(정체 시간)를 거쳐야 하는 합의의 완화된 형태인 최종 공감(EC)을 정의한다.
• CHT 증명 기법의 일반화된 버전을 사용하여 국소 시뮬레이션 실행에서 valency를 분석함으로써, EC에 대해 Ω가 반드시 필요함을 증명한다.
• ETOB와 EC 간의 동치성을 증명함으로써, ETOB가 최종 일관성 있는 복제된 상태 기계를 실현하는 데 충분함을 보여준다.
• 선형화 가능성과 최종 선형화 가능성과의 공식적 비교를 통해, Ω가 메시지 전달 시스템에서 최종 선형화 가능성에 대해 가장 약한 장애 감지기임을 규명한다.
• 시간 복잡도 격차를 분석하여, ETOB는 두 단계의 통신으로 완료되지만 강한 일관성은 세 단계가 필요함을 보여주며, 최종 일관성의 한 단계의 이점이 드러난다.

실험 결과

연구 질문

• RQ1 메시지 전달 시스템에서 최종 일관성을 실현하기 위해 필요한 가장 약한 장애 감지기란 무엇인가?
• RQ2 장애 감지기 요구사항 측면에서 최종 일관성과 강한 일관성 간의 계산 비용은 어떻게 비교되는가?
• RQ3 다수의 정상 프로세스가 존재하지 않는 시스템에서도 Ω가 최종 일관성에 충분한가?
• RQ4 장애 감지 가정 측면에서 강한 일관성과 최종 일관성 간의 정확한 차이는 무엇인가?
• RQ5 최종 선형화 가능성은 최종 일관성과 동일한 장애 감지기를 사용해 달성할 수 있는가?

주요 결과

• Ω는 최종 총순서 브로드캐스트(ETOB)를 실현하기 위해 필요한 가장 약한 장애 감지기이며, 이는 메시지 순서에 대한 최종 합의를 보장한다.
• 논문은 Ω가 최종 공감(EC)에 대해 반드시 필요하고도 충분함을 증명하며, 다수의 정상 프로세스가 존재하지 않는 임의의 장애 환경에서도 성립함을 보였다.
• 강한 일관성을 위해 추가로 필요한 유일한 장애 감지기는 Σ이며, 이는 교차하는 Quorum를 제공하여 결국에는 오직 정상 프로세스만 포함하게 된다.
• 강한 일관성과 최종 일관성 간의 계산적 격차는 정확히 Σ에 의해 규정된다: Ω만으로도 최종 일관성이 가능하지만, 강한 일관성을 위해서는 Ω+Σ가 필요하다.
• 통신 복잡도 측면에서 ETOB는 두 번의 메시지 단계로 완료되지만, 강한 일관성은 세 단계가 필요하므로, 최종 일관성은 한 단계의 이점이 있다.
• 결과적으로 Ω는 메시지 전달 시스템에서 최종 선형화 가능성에 대해 가장 약한 장애 감지기임을 암시하며, 공유 메모리 모델에서의 이전 결과를 보완한다.