고가용 데이터스토어를 위한 로그 없는 원 페이즈 커밋 프로토콜

초록

HACommit은 참여자가 먼저 커밋 여부에 투표하고 클라이언트가 최종 결정을 내리는 “투표‑선행‑결정” 방식을 채택해 로그를 제거하고 한 라운드 트립만으로 원자성 커밋을 달성한다. Paxos 합의를 이용해 클라이언트 장애 시에도 비차단성을 유지하고, 복제된 투표와 트랜잭션 메타데이터를 활용해 참여자 장애 복구를 지원한다. 실험 결과 HACommit은 기존 2PC 대비 5배 빠른 커밋 시간을 보였다.

상세 분석

HACommit은 기존 2단계 커밋(2PC)과 대부분의 최신 비차단 커밋 프로토콜이 채택하고 있는 “클라이언트‑선행‑투표” 구조를 근본적으로 뒤집는다. 즉, 트랜잭션 참여자들이 마지막 연산을 수행하면서 동시에 커밋 여부에 대해 YES/NO 투표를 수행하고, 이 투표 결과를 자신의 복제본에 즉시 복제한다. 클라이언트는 모든 참여자로부터 투표를 수집한 뒤, 커밋 혹은 중단 결정을 제안(propose)한다. 여기서 핵심은 Paxos 합의 알고리즘을 한 번만 실행해 클라이언트가 제안한 값을(커밋 또는 중단) 모든 참여자가 받아들일 수 있게 하는 점이다. 클라이언트가 최초 제안자가 되므로, Paxos의 prepare‑accept 단계가 사실상 생략되고, accept 단계만으로 합의가 이루어진다.

이 설계는 두 가지 주요 문제를 해결한다. 첫째, 전통적인 로그 기반 복구 메커니즘을 없앤다. 고가용 데이터스토어는 이미 데이터 복제를 통해 가용성을 확보하고 있기 때문에, 투표와 트랜잭션 메타데이터를 복제본에 저장함으로써 로그와 동일한 복구 효과를 얻는다. 둘째, 클라이언트 장애 시 비차단성을 보장한다. 클라이언트가 실패하면 남은 참여자들이 새로운 제안자가 되어 동일한 Paxos 절차를 재실행함으로써 결정이 손실되지 않는다.

HACommit은 또한 “마지막 연산 처리” 단계에서 기존 트랜잭션 연산 흐름과 거의 겹치도록 설계되었다. 마지막 연산이 도착하면 참여자는 로컬 검증(무결성, 격리 수준 등)을 수행하고 즉시 투표와 메타데이터를 복제한다. 이 과정에서 추가적인 라운드 트립이 발생하지 않으며, 클라이언트는 투표 수집과 동시에 커밋/중단 결정을 내릴 수 있다. 결과적으로 커밋이 완료되는 시점은 클라이언트가 최종 결정을 전송하고, 복제본 과반수가 이를 수락하는 순간이며, 이는 네트워크 레이턴시 기준으로 한 라운드 트립(즉, 한 페이즈) 안에 이루어진다.

성능 평가에서는 YCSB 기반 트랜잭션 워크로드를 사용해 참여자 수, 트랜잭션당 연산 수, 데이터 아이템 수 등을 다양하게 변형하였다. 실험 결과 HACommit은 평균 커밋 지연시간이 1 ms 이하로, 2PC가 5 ms 이상 걸리는 상황에 비해 5배 가량 빠른 성능을 보였다. 특히, 클라이언트 장애가 없을 때는 두 메시지 지연(클라이언트→참여자, 참여자→클라이언트)만으로 커밋이 완료돼 최적의 처리량을 달성한다.

요약하면 HACommit은 고가용 복제 환경을 전제로 로그를 완전히 배제하고, Paxos 기반의 투표‑선행‑결정 메커니즘을 통해 원자성, 비차단성, 그리고 높은 처리량을 동시에 만족시키는 혁신적인 커밋 프로토콜이다.