[논문 리뷰] Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants

Valter Balegas, Diogo Serra외 6명|arXiv (Cornell University)|2015. 03. 31.

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

한 줄 요약

이 논문은 지리적으로 복제된 클라우드 데이터베이스에서 최소 지연 시간을 유지하면서도 전역 수치적 불변조건(예: 예산 한도 또는 재고 수량)을 강제할 수 있는 분산형, 장애 내성 있는 복제 데이터 유형인 Bounded Counter를 제안한다. 기존의 최종 일관성 있는 스토리지(예: Riak) 위에 기반하여 에스크로 트랜잭션 원칙을 응용함으로써 대부분의 운영을 로컬에서 수행하고, 조정 작업을 핵심 경로 외부로 이동시켜 강력한 불변조건 강제를 실현한다. 이로 인해 약한 일관성과 유사한 성능을 달성한다.

ABSTRACT

Geo-replicated databases often operate under the principle of eventual consistency to offer high-availability with low latency on a simple key/value store abstraction. Recently, some have adopted commutative data types to provide seamless reconciliation for special purpose data types, such as counters. Despite this, the inability to enforce numeric invariants across all replicas still remains a key shortcoming of relying on the limited guarantees of eventual consistency storage. We present a new replicated data type, called bounded counter, which adds support for numeric invariants to eventually consistent geo-replicated databases. We describe how this can be implemented on top of existing cloud stores without modifying them, using Riak as an example. Our approach adapts ideas from escrow transactions to devise a solution that is decentralized, fault-tolerant and fast. Our evaluation shows much lower latency and better scalability than the traditional approach of using strong consistency to enforce numeric invariants, thus alleviating the tension between consistency and availability.

연구 동기 및 목표

• 지리적으로 복제된 데이터베이스에서 최종 일관성의 한계를 해결하여 전역 수치적 불변조건을 강제하는 것.
• 모든 운영에 대해 조정을 요구하지 않음으로써 낮은 지연 시간과 높은 가용성을 유지하면서도 강력한 불변조건 강제를 가능하게 하는 것.
• 중앙 기관이나 마스터 복제본이 없는 분산형, 장애 내성적인 솔루션을 설계하는 것.
• 기존 클라우드 스토리지 시스템에 최소한의 기반 인프라 가정으로서 포괄적이고 일반적인 확장 기능을 제공하는 것.
• Bounded Counter에 대한 클라이언트 사이드 및 서버 사이드 미들웨어 아키텍처의 성능와 확장성 평가하기

제안 방법

• 카운터의 현재 값과 상한값 사이의 차이를 복제본 간에 분할하여, 불변조건의 로컬 강제를 가능하게 하기 위해 에스크로 트랜잭션 모델을 확장한다.
• 분산형 비동기 프로토콜을 사용하여 복제본이 로컬이지만 아마도 오래된 뷰와 피어 투 피어 상호작용에 의존하여 운영을 조율한다.
• 경량 통합을 위해 클라이언트 사이드 라이브러리 또는 분산 해시 테이블 내에 서버 사이드 컴포넌트를 구현하여 기반 스토리지 연산을 최소화한다.
• 쓰기 배치와 캐싱 메커니즘을 활용하여 처리량을 향상시키고 조정 오버헤드를 줄인다.
• 최종 일관성 있는 스토리지(예: Riak)에 내장된 기존 복구 메커니즘을 활용하여 동시 업데이트의 수렴을 보장한다.
• 로컬 운영, 자동 병합, 불변조건 강제를 지원하는 CRDT 유사 객체로 Bounded Counter를 설계한다.

실험 결과

연구 질문

• RQ1 지리적으로 복제된 최종 일관성 있는 데이터베이스에서 낮은 지연 시간을 유지하면서도 수치적 불변조건을 강제할 수 있는가?
• RQ2 불변조건 강제를 위한 조정을 운영 실행의 핵심 경로에서 분리할 수 있는가?
• RQ3 중앙 기관이 없는 환경에서 분산형, 장애 내성적인 불변조건 강제를 위한 아키텍처 패턴은 무엇인가?
• RQ4 실제 워크로드에서 제안된 솔루션의 성능이 강한 일관성과 약한 일관성과 비교해 어떻게 되는가?
• RQ5 기존 클라우드 스토리지 시스템을 수정하지 않고도 일반적으로 구현 가능한가?

주요 결과

• 클라이언트 사이드 미들웨어 아키텍처는 약한 일관성과 비교해 소량의 지연 증가로 높은 처리량을 달성하면서도 불변조건 강제를 보장한다.
• 캐싱과 쓰기 배치를 적용한 서버 사이드 미들웨어는 높은 경쟁 상황에서도 Riak의 내장된 약한 일관성 메커니즘보다 처리량에서 뛰어나다.
• 기존의 강한 일관성 모델이 모든 업데이트에 대해 조정이 필요함으로써 지연 시간이 길었지만, Bounded Counter 접근법은 지연 시간을 줄이고 확장성을 향상시킨다.
• 동시 업데이트 상황에서도 불변조건을 성공적으로 강제하여 손실된 업데이트나 위반된 운영을 방지한다.
• 이 솔루션은 기존의 최종 일관성 있는 클라우드 데이터베이스(예: Riak) 위에 최소한의 기반 시스템 가정으로 쌓을 수 있어 이식성이 뛰어나다.
• 평가 결과, 고도의 경쟁 상황에서도 정확성이 유지되며, 내장된 약한 일관성과 유사한 성능을 달성함을 확인했다.