[논문 리뷰] The Performance of Paxos and Fast Paxos

Gustavo M. D. Vieira, Luiz Eduardo Buzato|arXiv (Cornell University)|2013. 08. 06.

Distributed systems and fault tolerance참고 문헌 14인용 수 5

한 줄 요약

이 논문은 Treplica 툴킷을 사용하여 LAN 환경에서 Paxos와 Fast Paxos를 실험적으로 비교하며, 작은 리플리카 수에서 네트워크 부하 감소와 타임아웃 오류 감소로 인해 Paxos가 Fast Paxos를 능가함을 발견한다. 충돌이 아닌 단일 코ordinatior의 안정성이 핵심 요인이다. Paxos는 단일 코ordinatior로 인해 안정성을 확보하지만, Fast Paxos는 이론적으로 저지연을 목표했음에도 불구하고 시간 민감성과 더 높은 조율 오버헤드로 인해 성능에 악영향을 미친다.

ABSTRACT

Paxos and Fast Paxos are optimal consensus algorithms that are simple and elegant, while suitable for efficient implementation. In this paper, we compare the performance of both algorithms in failure-free and failure-prone runs using Treplica, a general replication toolkit that implements these algorithms in a modular and efficient manner. We have found that Paxos outperforms Fast Paxos for small number of replicas and that collisions are not the cause of this performance difference.

연구 동기 및 목표

• 이론적 가정을 넘어서 실제 LAN 환경에서 Paxos와 Fast Paxos의 성능을 경험적으로 평가하는 것.
• 장애 없는 상황과 장애가 발생하는 상황에서 Paxos와 Fast Paxos 간 성능 차이의 근본 원인을 규명하는 것.
• Fast Paxos의 이론적 이점(예: 낮은 지연 시간)이 실제 네트워크 조건에서 실질적인 이점을 가져오는지 평가하는 것.
• 쿼럼 크기, 메시지 충돌, 코ordinatior 동작이 합의 성능에 미치는 영향을 조사하는 것.
• 특히 코ordinatior 역할에 대한 장애 발생 시 시스템의 복구 능력과 복구 행동을 평가하는 것.

제안 방법

• 성능 측정 및 인스트루멘테이션에 적합한 모듈식 복제 툴킷인 Treplica 내에서 Paxos와 Fast Paxos를 모두 구현하였다.
• 메시지 순서, 지연 시간, 쿼럼 크기, 충돌 등을 중심으로 제어된 조건에서 프로토콜 동작을 관찰하기 위한 실험을 설계하였다.
• 합의 지연 시간, 교환된 메시지 수, 타임아웃으로 인한 재시도 횟수 등의 성능 메트릭을 측정하였다.
• 복구 시간과 시스템의 내성 능력을 평가하기 위해 장애 주입 실험을 수행하였으며, 특히 코ordinatior 및 비코ordinatior 리플리카에 중점을 두었다.
• 실제 네트워크 특성을 시뮬레이션하고 성능 저하 요인을 분리하기 위해 LAN 기반 테스트베드를 사용하였다.
• 이론적 지침과의 대조를 통해 이론과 실무 간의 괴리를 규명하였다.

실험 결과

연구 질문

• RQ1 이론적으로 예측한 바와 같이, 실질적인 LAN 환경에서 Fast Paxos가 Paxos보다 낮은 합의 지연 시간을 달성하는가?
• RQ2 실제로 Paxos와 Fast Paxos 간 성능 차이를 유발하는 주요 요인은 무엇인가?
• RQ3 네트워크 시간 변동성과 메시지 손실이 Fast Paxos의 성능에 Paxos에 비해 미치는 영향은 어떠한가?
• RQ4 쿼럼 크기와 메시지 충돌이 두 알고리즘 간 상대적 성능에 미치는 영향은 어느 정도인가?
• RQ5 코ordinatior 리플리카의 장애 및 복구 행동이 Paxos와 Fast Paxos의 전체 시스템 성능에 미치는 영향는 어떠한가?

주요 결과

• 이론적으로 Fast Paxos 유리하다고 예상되었지만, 작은 리플리카 수에서 Paxos가 합의 지연 시간 측면에서 Fast Paxos를 능가한다.
• Paxos의 성능 우위는 충돌 때문이 아니라 단일 코ordinatior로 인한 안정성 덕분이며, 이는 타임아웃 오류와 재시도 비율 감소로 이어진다.
• Fast Paxos는 비협조적인 프로포저로 인해 시간 민감성과 더 높은 네트워크 부하를 겪으며, 이로 인해 메시지 수와 지연 시간이 증가한다. 이는 옵timistic 설계에도 불구하고 발생한다.
• Paxos의 코ordinatior는 장애로 인한 재시도에 덜 민감하며 일관된 성능을 유지하지만, Fast Paxos는 변동성이 큰 네트워크 조건에서 더 높은 불안정성을 겪는다.
• 장애 발생 리플리카의 복구 시간은 일반 리플리카보다 코ordinatior에서 훨씬 더 길며, 코ordinatior의 더 큰 메모리 상태로 인해 복구 지연이 증가한다.
• 더 큰 쿼럼이 필요하지만, Fast Paxos는 고장 내성 측면에서 실질적 이점이 없으며, Paxos는 더 적은 리플리카 수(예: 3중 장애 내성에 대해 7대 대비 12대)로 동일한 내성 능력을 확보한다.