[논문 리뷰] Practical Experience Report: The Performance of Paxos in the Cloud

Parisa Jalili Marandi, Samuel P. Benz외 2명|arXiv (Cornell University)|2014. 04. 27.

Distributed systems and fault tolerance참고 문헌 21인용 수 4

한 줄 요약

이 논문은 아마존 EC2에서 다양한 클라우드 환경 조건 하에서 S-Paxos, OpenReplica, Ring Paxos, Libpaxos의 네 가지 오픈소스 Paxos 구현체의 성능을 평가하여, 표준 Paxos 라이브러리가 고장 발생 시에 특히 이질적 또는 지리적으로 분산된 환경에서 번갈아가며 발생하는 행동과 심각한 성능 저하를 보임을 밝혀냈다. 연구에서는 빠른 majority에 의존하는 프로토콜(예: Libpaxos)이 빠른 노드가 고故할 경우 장시간 지연을 겪는 반면, 모든 참가자를 포함하는 프로토콜(예: Ring Paxos)은 성능 최고치가 낮아지더라도 더 나은 장애 내성 확보를 하는 것으로 나타났다. 또한 Libpaxos의 행동을 안정화하기 위한 최적화 기법을 제안하였다.

ABSTRACT

This experience report presents the results of an extensive performance evaluation conducted using four open-source implementations of Paxos deployed in Amazon's EC2. Paxos is a fundamental algorithm for building fault-tolerant services, at the core of state-machine replication. Implementations of Paxos are currently used in many prototypes and production systems in both academia and industry. Although all protocols surveyed in the paper implement Paxos, they are optimized in a number of different ways, resulting in very different behavior, as we show in the paper. We have considered a variety of configurations and failure-free and faulty executions. In addition to reporting our findings, we propose and assess additional optimizations to existing implementations.

연구 동기 및 목표

• 실제 클라우드 조건—고장 및 네트워크 이질성 포함—하에서 네 가지 오픈소스 Paxos 구현체의 실제 성능을 평가하는 것.
• 클라우드 서비스에서 흔한 환경—동일한 환경, 이질적인 환경, 가용성 존을 초월한 배포—에서 성능이 어떻게 달라지는지 파악하는 것.
• 특히 노드 고장 이후에 일부 Paxos 구현체가 왜 번갈아가며 발생하는 처리량을 보이며 장기적인 결정 지연을 겪는지 분석하는 것.
• 특히 스트레스 상황에서 Libpaxos의 성능을 안정화하기 위한 최적화 기법을 제안하고 평가하는 것.
• 설계 환경과 신뢰성 요구사항에 따라 시스템 설계자가 적절한 Paxos 변종을 선택할 수 있도록 안내하는 것.

제안 방법

• Amazon EC2에 네 가지 오픈소스 Paxos 라이브러리(S-Paxos, OpenReplica, Ring Paxos, Libpaxos)를 배포하여 제어된 조건과 고장 발생 조건 하에서 성능 평가를 수행하였다.
• 세 가지 구성에서 실험을 수행: 동일한 가용성 존 내에서 동일한 노드, 동일한 가용성 존 내에서 이질적인 노드, 여러 가용성 존에 걸쳐 동일한 노드.
• 다양한 메시지 크기와 고장 없는 실행 및 고장 발생 실행 조건 하에서 안정성과 처리량을 평가하기 위해 성능 측정을 수행하였다.
• 특히 느린 수락자에서의 메시지 처리 행동과 백로그 누적 현상을 분석하고, 각 구현체 간의 흐름 제어 메커니즘을 평가하였다.
• 고장 상황에서 메시지 백로그를 줄이고 결정 속도를 안정화하기 위해 Libpaxos에 대한 최적화 기법을 제안하고 평가하였다.
• 쿼럼 전략에 따라 프로토콜을 분류: 모든 참가자를 포함하는 것(Ring Paxos, S-Paxos)과 빠른 majority에 의존하는 것(Libpaxos, OpenReplica).

실험 결과

연구 질문

• RQ1 클라우드 환경에서 고장 없는 조건과 고장 발생 조건 하에서 다양한 Paxos 구현체는 어떻게 행동하는가?
• RQ2 빠른 수락자가 포함된 이질적인 쿼럼에서 빠른 수락자가 고故할 경우 어떤 성능 저하 패턴이 나타나는가?
• RQ3 왜 일부 Paxos 구현체는 번갈아가며 발생하는 처리량을 보이며, 이는 응용 수준의 성능에 어떤 영향을 미치는가?
• RQ4 느린 수락자에서의 메시지 백로그는 결정 지연과 시스템 안정성에 어떤 영향을 미치는가?
• RQ5 기존 Paxos 구현체, 예를 들어 Libpaxos에 대한 최적화 기법을 통해 성능 변동성을 줄이고 장애 내성을 향상시킬 수 있는가?

주요 결과

• Libpaxos와 OpenReplica는 번갈아가며 발생하는 성능을 보이며, 빠른 수락자가 고故한 후 완전히 정지할 수 있으며, 결정 속도가 0으로 떨어진다.
• S-Paxos와 Ring Paxos는 모든 참가자를 포함함으로써 고장 발생 후에도 진행 가능성을 유지하지만, 모든 노드에 부하가 분산되어 최고 성능가가 낮아진다.
• 이질적인 구성에서 빠른 majority에 의존하는 프로토콜(예: Libpaxos)은 정상 조건에서는 양호한 성능을 보이나, 빠른 노드가 고故할 경우 심각하게 성능 저하를 겪는다.
• 느린 수락자가 쿼럼에 포함될 경우 모든 구현체의 성능이 심각하게 저하되며, 이는 결정 처리를 지연시키는 누적된 메시지 백로그 때문이었다.
• Libpaxos +는 메시지 백로그 축적을 방지함으로써 성능 변동성을 줄여 안정성을 향상시키며, 정확성 손실 없이 개선된 성능을 보였다.
• 연구는 프로토콜 행동이 구현 환경 특성에 매우 민감하며, 프로토콜 선택은 노드 이질성과 네트워크 토폴로지와 같은 환경 제약 조건과 일치시켜야 한다는 점을 입증하였다.