[논문 리뷰] Self-Stabilizing Paxos

Peva Blanchard, Shlomi Dolev외 2명|arXiv (Cornell University)|2013. 05. 18.

Distributed systems and fault tolerance참고 문헌 15인용 수 3

한 줄 요약

이 논문은 이질적 메시지 전달 시스템에서 임의의 일시적 장故로부터 자동으로 복구할 수 있는, 비동기식 메시지 전달 환경을 위한 첫 번째 자기안정성 있는 Paxos 알고리즘을 제안한다. 사전에 정의된 초기 구성이 필요 없이도 자기안정성 있는 상태로 복구할 수 있다. 자기안정성 있는 유한한 타임스탬프와 내성적인 메시지 처리 방식을 통합함으로써, 최종적으로 합의 도달과 상태머신 일치를 보장하며, 일시적 장애 발생 후 안정성과 활동성이 회복되는 실용적인 자기안정성 모델을 달성한다.

ABSTRACT

We present the first self-stabilizing consensus and replicated state machine for asynchronous message passing systems. The scheme does not require that all participants make a certain number of steps prior to reaching a practically infinite execution where the replicated state machine exhibits the desired behavior. In other words, the system reaches a configuration from which it operates according to the specified requirements of the replicated state-machine, for a long enough execution regarding all practical considerations.

연구 동기 및 목표

• 기본 Paxos에서 자기안정성이 부족하여 시간 타임스탬프가 손상된 일시적 장애로부터 복구할 수 없다는 문제를 해결하기 위해.
• 초기 구성 일관성이 보장되지 않는 이질적 메시지 전달 환경에서 자기안정성 있는 합의 및 복제된 상태머신을 설계하기 위해.
• 임의의 초기 구성에서부터도 정상적인 동작으로 수렴하도록 보장하여, 일시적 장애 발생 후 최종적으로 안정성과 활동성이 확보되도록 하기 위해.
• 기존 자기안정성 있는 공유 메모리 합의의 한계를 극복하고, 임의의 메시지 집합과 레이블 값에 적합하도록 메시지 전달 환경에 적용하기 위해.
• 실제 시스템에서 장애 발생 후에도 실용적으로 정상적이고 안정된 구성에 도달하는 실용적인 자기안정성 모델을 제공하기 위해.

제안 방법

• 임의의 초기 값이 존재하더라도 일관된 순서를 보장하는 자기안정성 있는 유한 타임스탬프 메커니즘을 통합하여 제안된 순서를 보장한다.
• 안정성과 활동성을 보장하기 위해 메시지 태깅과 상태 추적을 수행하는 두 단계 프로토콜(1단계: 준비, 2단계: 수락)을 사용한다.
• 수신된 메시지 기반으로 명령어 이력과 제안 순서를 처리하기 위해 함수 ν^s와 ν^t를 사용하는 동적 상태 업데이트 메커니즘을 구현한다.
• 모든 레플리카 간 일관성을 확보하기 위해 현재 단계 값에 맞추어 명령어 시퀀스를 정렬하는 단절 절차를 구현한다.
• 제안이 대체되거나 상태 변화가 감지될 경우 제안자가 다시 1단계로 복귀하는 예측 가능한 결정 메커니즘을 구현한다.
• 일관성과 순서에 따라 들어오는 제안을 수락하거나 거부할지 결정하기 위해 메시지 필터링 및 조건 검사(C+ 및 C−)를 활용한다.

실험 결과

연구 질문

• RQ1 초기 구성이 없는 이질적 메시지 전달 환경에서 자기안정성 있는 합의 알고리즘을 설계할 수 있는가?
• RQ2 여러 제안자 간에 자기안정성 있는 유한 타임스탬프를 어떻게 구성하여 사건의 최종 엄격한 순서를 보장할 수 있는가?
• RQ3 어떻게 하면 임의의 일시적 장애, 예를 들어 손상된 타임스탬프 값이나 메시지 일관성 문제가 발생했을 때 시스템이 복구할 수 있는가?
• RQ4 초기 일관성이 보장되지 않는 메시지 전달 의미 체계 하에서 복제된 상태머신을 어떻게 자기안정적으로 구현할 수 있는가?
• RQ5 이 맥락에서 '실용적인 자기안정성'은 무엇을 의미하며, 실제 시스템에서 기존 자기안정성과 어떻게 다를까?

주요 결과

• 제안된 알고리즘은 실용적인 자기안정성을 달성하여, 임의의 초기 상태에서부터도 정상적이고 안정된 구성으로 수렴함으로써 실질적인 목적에서 안정성과 활동성을 보장한다.
• 시작 상태가 사전에 정의되지 않거나 타임스탬프 값이 손상된 일시적 장애 발생 후에도 재시작이나 사전 설정된 초기 상태 없이 복구할 수 있다.
• 자기안정성 있는 유한 타임스탬프 통합 덕분에 초기 레이블이 임의적이거나 일관성이 없더라도 제안의 정확한 순서를 보장할 수 있다.
• 모든 정상 레플리카가 최종적으로 동일한 명령어 시퀀스에 합의함으로써, Paxos의 안정성과 활동성 특성을 유지한다.
• 동적 명령어 시퀀스를 지원하며, 상태 정합성과 단절 절차를 통해 메시지 재정렬 및 손실을 처리하는 일반화된 Paxos를 지원한다.
• 일시적 장애가 유한 시간 이내에 종료된다는 가정 하에 정당성이 입증되며, 최종적으로 정상적인 동작으로 수렴함을 보장한다.