[논문 리뷰] PaxosLease: Diskless Paxos for Leases

Márton Trencséni, Attila Gazsó외 1명|arXiv (Cornell University)|2012. 09. 19.

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

한 줄 요약

PaxosLease는 디스크를 사용하지 않고 시계 동기화가 필요 없이 Paxos 기반으로 설계된 분산 라이센스 알고리즘으로, 높은 경쟁 상황에서도 블로킹 없이 라이센스 확보 및 갱신을 가능하게 한다. 라이센스 안정성을 보장하기 위해 복수 번호와 수락자 상태 관리를 활용하며, Keyspace 및 ScalienDB와 같은 복제된 키-값 스토어에서 높은 가용성과 낮은 지연 시간을 달성한다.

ABSTRACT

This paper describes PaxosLease, a distributed algorithm for lease negotiation. PaxosLease is based on Paxos, but does not require disk writes or clock synchrony. PaxosLease is used for master lease negotation in the open-source Keyspace and ScalienDB replicated key-value stores.

연구 동기 및 목표

• 높은 제안자 경쟁 상황에서 단순한 다수 기반 라이센스 프로토콜에서 발생하는 블로킹 문제를 해결하기 위해.
• 시계 동기화와 디스크 쓰기 의존도를 제거하여 실용성과 성능을 향상시키기 위해.
• Keyspace 및 ScalienDB와 같은 생산 환경 시스템에 적합한 간단하고 효율적이며 안전한 라이센스 메커니즘을 제공하기 위해.
• 수락자 로직을 수정하지 않고도 라이센스 갱신과 조기 해제를 지원하기 위해.
• 다양한 자원을 독립적인 라이센스 인스턴스를 통해 간소하고 조합 가능한 방식으로 관리할 수 있는 최소한의 솔루션을 제공하기 위해.

제안 방법

• Paxos를 영감으로 삼은 두 단계의 준비/제안 프로토콜을 사용하며, 제안 순서를 정렬하고 충돌을 방지하기 위해 복수 번호를 활용한다.
• 수락자는 오직 가장 높은 약속된 복수 번호와 마지막으로 수락된 제안만 저장하여 영구 상태 쓰기를 방지한다.
• 라이센스 소유자는 다수의 수락자가 제안자의 제안에 동의함으로써 결정되며, 시간 간격 T 이후 자동으로 만료된다.
• 제안자는 라이센스 만료 전에 재제안을 통해 라이센스를 갱신할 수 있으며, 특수한 해제 메시지를 통해 조기 해제할 수 있다.
• 라이센스 상태는 수락자가 만료되거나 명시적 해제를 받은 후 폐기되어 안정성과 활성화를 보장한다.
• 메시지와 상태에 자원 식별자를 태깅함으로써 여러 자원을 지원하며, 낮은 메모리 오버헤드로 각 자원별 라이센스 관리를 가능하게 한다.

실험 결과

연구 질문

• RQ1 높은 제안자 경쟁 상황에서 시계 동기화에 의존하지 않고도 블로킹이 발생하지 않는 라이센스 프로토콜을 설계할 수 있는가?
• RQ2 안정성과 일관성을 유지하면서도 디스크 쓰기를 제거할 수 있는 라이센스 프로토콜을 설계할 수 있는가?
• RQ3 수락자 동작을 수정하지 않고도 라이센스 갱신과 조기 해제를 효율적으로 지원할 수 있는가?
• RQ4 Paxos 기반 프로토콜을 라이센스에 특화시켜, 기존의 Fatlease와 같은 기존 접근 방식보다 더 단순하고 효율적인가?
• RQ5 노드당 다수의 독립적 라이센스를 지원할 경우 메모리 및 성능 오버헤드는 어느 정도인가?

주요 결과

• PaxosLease는 복수 번호를 사용해 이전 제안을 오버라이드할 수 있도록 하여 고경쟁 상황에서 블로킹을 제거하고 활성화를 보장한다.
• 알고리즘은 디스크 쓰기나 시계 동기화가 전혀 필요 없어, 이러한 요소가 성능 저하 요소이거나 구현이 어려운 시스템에 적합하다.
• 라이센스 갱신은 제안자가 만료 전에 재제안함으로써 가능하며, 수락자 로직에 변화가 없다.
• 조기 라이센스 해제를 위해 특수한 해제 메시지를 사용하며, 복수 번호가 일치할 경우 수락자 상태 폐기 조건을 트리거한다.
• 1GB 메인 메모리 기준 약 1000만 개의 독립적 라이센스를 지원할 수 있으며, 이는 각 인스턴스의 최소 상태(~100바이트) 덕분이다.
• PaxosLease는 Keyspace 및 ScalienDB를 포함한 실제 생산 환경에서 성공적으로 도입되어 실세계의 확장성과 신뢰성을 입증했다.