[논문 리뷰] Non-Monotonic Snapshot Isolation

Masoud Saeida Ardekani, Pierre Sutra외 2명|arXiv (Cornell University)|2013. 06. 17.

Distributed systems and fault tolerance참고 문헌 15인용 수 11

한 줄 요약

이 논문은 분산 트랜잭션 시스템에서 진정한 부분 복제(GPR)를 가능하게 하면서도 스냅샷 격리(SI)의 핵심 이점을 유지하는 일관성 모델인 비단조화 스냅샷 격리(NMSI)를 제안한다. 이는 읽기 전용 트랜잭션의 커밋 및 충돌하는 쓰기 작업의 방지를 포함한다. 이 모델은 의존성 벡터와 원자적 멀티캐스트를 사용하는 저비용 메시지 전송과 더 빠른 커밋을 달성하는 GPR 프로토콜인 Jessy를 도입하여, 이성적 메시지 전달 환경에서 SI와 GPR를 동시에 구현할 수 없는 문제를 해결한다.

ABSTRACT

Many distributed applications require transactions. However, transactional protocols that require strong synchronization are costly in large scale environments. Two properties help with scalability of a transactional system: genuine partial replication (GPR), which leverages the intrinsic parallelism of a workload, and snapshot isolation (SI), which decreases the need for synchronization. We show that, under standard assumptions (data store accesses are not known in advance, and transactions may access arbitrary objects in the data store), it is impossible to have both SI and GPR. To circumvent this impossibility, we propose a weaker consistency criterion, called Non-monotonic Snapshot Isolation (NMSI). NMSI retains the most important properties of SI, i.e., read-only transactions always commit, and two write-conflicting updates do not both commit. We present a GPR protocol that ensures NMSI, and has lower message cost (i.e., it contacts fewer replicas and/or commits faster) than previous approaches.

연구 동기 및 목표

• 대규모 분산 트랜잭션 시스템에서 강력한 동기화의 확장성 한계를 해결하기 위해.
• 비동기 메시지 전달 환경에서 스냅샷 격리(SI)와 진정한 부분 복제(GPR) 간의 상호 배타성 문제를 규명하기 위해.
• SI의 핵심 특성을 유지하면서도 GPR와 호환 가능한 새로운 일관성 모델인 비단조화 스냅샷 격리(NMSI)를 설계하기 위해.
• 메시지 복잡도를 줄이고 커밋 시간을 단축시키며 NMSI를 보장하는 실용적이고 효율적인 GPR 프로토콜(Jessy)을 개발하기 위해.

제안 방법

• 스냅샷 격리(SI)를 네 가지 등가 성질로 분해함: 연쇄적 취소 방지, 엄밀한 일관성 있는 스냅샷, 충돌하는 쓰기 작업 방지, 스냅샷 단조성.
• 진정한 부분 복제(GPR) 환경에서 스냅샷 단조성과 엄밀한 일관성을 비동기 시스템에서 동시에 달성할 수 없음을 증명함으로써, SI와 GPR 간의 상호 배타성을 입증함.
• 단조성과 엄밀한 일관성을 완화함으로써 일관성과 충돌 해결 보장을 유지하는 SI의 약화된 대안인 NMSI를 제안함.
• 의존성 벡터(버전 벡터의 변종)를 사용하여 비동기적으로 일관된 부분 스냅샷을 계산하는 GPR 프로토콜인 Jessy를 설계함.
• 커밋 조율을 위해 다중 단계 프로토콜과는 달리 단일 원자적 멀티캐스트를 사용함으로써 통신 오버헤드를 감소시킴.
• 기존 프로토콜과의 비교 분석을 통해 Jessy의 메시지 복잡도($O(w_r^2)$)와 지연 시간을 분석하고, 원격 읽기/쓰기 및 커밋 단계에서의 향상을 입증함.

실험 결과

연구 질문

• RQ1 표준 비동기 메시지 전달 환경에서 진정한 부분 복제(GPR) 시스템에서 스냅샷 격리(SI)를 달성할 수 있는가?
• RQ2 분산 시스템에서 SI와 GPR 간의 근본적인 상호 배타성은 무엇인가?
• RQ3 SI보다 더 약한 일관성 모델이지만 그 핵심 이점을 유지하면서도 GPR와 호환 가능한가?
• RQ4 기존 방법보다 메시지 비용을 낮추고 커밋을 더 빠르게 하되 강력한 일관성 보장을 유지하는 GPR 프로토콜을 설계할 수 있는가?
• RQ5 전역 공약이나 완전한 복제 없이도 분산 시스템에서 일관된 부분 스냅샷을 효율적으로 계산할 수 있는 방법은 무엇인가?

주요 결과

• 비동기 메시지 전달 환경에서 스냅샷 단조성과 엄밀한 일관성을 GPR 환경에서 보장할 수 없기 때문에, SI와 GPR는 본질적으로 상호 배타적이다.
• NMSI는 단조성과 엄밀한 일관성을 완화함으로써 읽기 전용 트랜잭션의 커밋과 충돌하는 쓰기 작업의 방지를 유지하는 타당한 SI 대체 모델이다.
• 제안된 프로토콜인 Jessy는 P-Store와 GMU와 같은 이전 GPR 프로토콜의 $O(n^2)$ 복잡도에 비해 더 낮은 메시지 복잡도($O(w_r^2)$)를 달성한다.
• 업데이트 트랜잭션 조율을 위해 다중 단계 공약 또는 잠금을 사용하는 프로토콜과는 달리 단일 원자적 멀티캐스트를 사용함으로써 커밋 지연 시간을 감소시킨다.
• SIPRe와 Serrano와 비교해 읽기 전용 트랜잭션의 메시지 비용을 줄였으며, 시작 시간 브로드캐스트와 가짜 트랜잭션의 필요성을 제거함.
• 국내 및 글로벌 업데이트 시나리오 모두에서 성능 향상을 보였으며, 원격 읽기의 지연 시간이 낮고 업데이트 트랜잭션의 커밋 속도가 빠름.