[논문 리뷰] Consensus on Transaction Commit

Jim Gray, Leslie Lamport|ArXiv.org|2004. 08. 14.

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

한 줄 요약

이 논문은 두 단계 커밋의 단일 공조자 대신 2F+1개의 공조자를 사용하여 장애에 강건한 트랜잭션 커밋 프로토콜인 Paxos Commit을 제안한다. 이를 통해 다수의 공조자가 정상적으로 작동하는 한 프로토콜의 진행을 보장한다. Paxos 합의 알고리즘을 통합함으로써 최대 F개의 공조자가 실패하더라도 블로킹 없이 커밋을 수행할 수 있으며, 안정 저장소에 쓰기하는 지연 시간은 두 단계 커밋과 동일하지만, 일반적인 경우에 약간 더 높은 메시지 오버헤드가 발생한다.

ABSTRACT

The distributed transaction commit problem requires reaching agreement on whether a transaction is committed or aborted. The classic Two-Phase Commit protocol blocks if the coordinator fails. Fault-tolerant consensus algorithms also reach agreement, but do not block whenever any majority of the processes are working. Running a Paxos consensus algorithm on the commit/abort decision of each participant yields a transaction commit protocol that uses 2F +1 coordinators and makes progress if at least F +1 of them are working. In the fault-free case, this algorithm requires one extra message delay but has the same stable-storage write delay as Two-Phase Commit. The classic Two-Phase Commit algorithm is obtained as the special F = 0 case of the general Paxos Commit algorithm.

연구 동기 및 목표

• 두 단계 커밋에서 공조자 장애 시 프로토콜 진행이 멈추는 블로킹 문제를 해결하기 위해.
• 다수의 공조자가 기능하는 한 진행을 보장하는 트랜잭션 커밋 프로토콜을 설계하기 위해.
• Paxos 합의 알고리즘을 트랜잭션 커밋에 통합하여 안정성이나 일관성을 희생시키지 않고도 장애 내성 확보하기 위해.
• 두 단계 커밋이 F=0일 때 Paxos Commit의 특수 케이스임을 입증하기 위해.

제안 방법

• 최대 F개의 장애를 견딜 수 있도록 단일 공조자 대신 2F+1개의 공조자를 사용한다.
• 모든 공조자 간에 커밋/중단 결정에 합의하기 위해 Paxos 합의 알고리즘을 적용한다.
• 참가자 리소스 매니저의 집합을 유지하기 위해 레지스트리 프로세스를 사용하며, 레지스트리 장애 시에도 일관성을 보장하기 위해 Paxos를 활용한다.
• 공조자가 거래 결과에 합의하기 위해 복수의 단계 1a 및 2a 메시지를 교환하는 복수의 복수 기반 메커니즘을 도입한다.
• 볼레트 0에서 합의가 이루어지지 않을 경우 중단을 나타내는 특수 값 ⊥을 사용하여 유연한 성능 저하를 가능하게 한다.
• 다수의 수락자에게 단계 2a 메시지를 보내 메시지 지연을 최적화함으로써 장애가 없는 경우의 통신 오버헤드를 감소시킨다.

실험 결과

연구 질문

• RQ1 공조자 장애 발생 시 블로킹을 방지하면서도 안전성과 일관성을 유지하는 트랜잭션 커밋 프로토콜을 설계할 수 있는가?
• RQ2 Paxos 합의 알고리즘이 분산 트랜잭션 커밋 문제를 해결하도록 어떻게 변형할 수 있는가?
• RQ3 두 단계 커밋과 장애 내성 프로토콜(예: Paxos Commit) 간의 메시지 및 스토리지 비용 트레이드오프는 어떠한가?
• RQ4 두 단계 커밋은 더 일반적인 장애 내성 커밋 프로토콜의 특수 케이스인가?
• RQ5 비블로킹 트랜잭션 커밋 프로토콜이 정상적으로 작동하고 효율적인 네트워크 가정 조건은 무엇인가?

주요 결과

• Paxos Commit은 2F+1개의 공조자 중 최소 F+1개가 기능하는 한 진행을 보장하여 F개의 공조자 장애에 강건하다.
• 프로토콜은 두 단계 커밋과 동일한 안정 저장소 쓰기 지연 시간을 유지하므로 I/O 비용이 증가하지 않는다.
• 일반적인(장애 없는) 경우, Paxos Commit은 두 단계 커밋보다 한 번 더 많은 메시지 지연을 유발하지만, 이를 최소 지연으로 최적화할 수 있다.
• 빠른 Paxos Commit은 비블로킹 프로토콜의 이론적 최소 메시지 지연을 달성하며, 장故가 없는 경우 Guerraoui 등이 제안한 알고리즘과 동일한 효율성을 보인다.
• 두 단계 커밋은 F=0일 때 Paxos Commit의 공식적 등가 사례이므로, Paxos Commit이 고전적 프로토콜을 일반화함을 확인한다.
• 공조자 장애로 인한 중단을 특수 값 ⊥을 사용해 적절히 처리함으로써 부분 장애 상황에서도 일관성이 유지된다.