[논문 리뷰] Global Stabilization for Causally Consistent Partial Replication

Zhuolun Xiang, Nitin H. Vaidya|arXiv (Cornell University)|2018. 03. 15.

Distributed systems and fault tolerance참고 문헌 12인용 수 3

한 줄 요약

이 논문은 분산 키-값 스토어에서 인과적 일관성을 갖는 부분 복제를 위한 글로벌 안정화 기법을 제안하며, 클라이언트가 어떤 서버와도 통신하고 자유롭게 이동하면서도 인과성을 유지할 수 있도록 한다. 또한 일반적인 부분 복제 하에서 원격 업데이트 가시 지연 시간을 최소화하는 데 있어 글로벌 안정 타임(GST) 계산의 최적성을 증명한다.

ABSTRACT

Causally consistent distributed storage systems have received significant attention recently due to the potential for providing high throughput and causality guarantees. {\em Global stabilization} is a technique established for achieving causal consistency in distributed multi-version key-value store systems, adopted by the previous work such as GentleRain \cite{Du2014GentleRainCA} and Cure \cite{akkoorath2016cure}. Intuitively, this approach serializes all updates by their physical time and computes the ``Global Stable Time'' which is a time point $t$ such that versions with timestamp $\leq t$ can be returned to the client without violating causality. However, all previous designs with global stabilization assume {\em full replication}, where each data center stores a full copy of data, and each client is restricted to access servers within one data center. In this paper, we propose a theoretical framework to support {\em general partial replication} with causal consistency via global stabilization, where each server can store an arbitrary subset of the data, and each client is allowed to communicate with any subset of the servers and migrate among them without extra delays. We propose an algorithm that implements causal consistency for distributed multi-version key-value stores with general partially replication. We prove the optimality of the Global Stable Time computation in our algorithm regarding the remote update visibility latency, i.e. how fast update from a remote server is visible to the client, under general partial replication. We also provide trade-offs to further optimize the remote update visibility by introducing extra delays during client's migration. Simulation results on the performance of our algorithm compared to the previous work are also provided.

연구 동기 및 목표

• 서버가 데이터의 임의의 부분집합을 저장하는 부분 복제된 분산 스토리지 시스템에서 인과적 일관성 지원의 부족을 해결한다.
• 클라이언트가 서버의 임의의 부분집합과 통신하고 추가적인 지연 없이 이동할 수 있도록 하며, 인과성을 위반하지 않는다.
• 이전에 전체 복제에 국한되어 있던 글로벌 안정화 기법을 일반적인 부분 복제로 확장한다.
• 원격 업데이트 가시 지연 시간을 최소화하는 데 있어 글로벌 안정 타임(GST) 계산의 최적성을 증명한다.
• 제안된 최적화 기법을 통해 클라이언트 이동 중에 제어된 지연을 도입하여 지연 시간을 추가로 감소시킨다.

제안 방법

• 모든 업데이트를 서버 간 총순서로 정렬하기 위해 물리적 타임스탬프를 사용하며, FIFO 통신 채널을 활용해 타임스탬프의 단조 증가 수신을 보장한다.
• 모든 타임스탬프 ≤ GST인 업데이트가 서버에 반드시 수신된다는 것을 보장하는 최신 타임스탬프를 글로벌 안정 타임(GST)으로 정의한다.
• 다른 서버로부터 수신한 최대 타임스탬프를 기반으로 각 서버에서 GST를 계산하며, 미완의 또는 손실된 업데이트를 제외하여 인과성을 보장한다.
• 클라이언트가 어떤 서버에서라도 읽고 자유롭게 이동할 수 있도록 하며, GST를 사용해 인과적으로 일관된 버전을 결정한다.
• 시스템 동적 변화(예: 서버 또는 키의 추가/삭제) 동안 GST가 감소하지 않도록 보장하는 메커니즘을 도입하여 일관성을 유지한다.
• 클라이언트 이동 중에 제어된 지연을 도입하여 성능을 최적화하고 원격 업데이트 가시 지연 시간을 감소시킨다.

실험 결과

연구 질문

• RQ1 일반적인 부분 복제, 즉 각 서버가 데이터의 임의의 부분집합을 저장하는 환경에서 글로벌 안정화를 확장할 수 있는가?
• RQ2 인과적 일관성과 함께 일반적인 부분 복제 환경에서 달성 가능한 최적의 원격 업데이트 가시 지연 시간은 무엇인가?
• RQ3 부분 복제 시스템에서 클라이언트가 서버 간 이동할 때 인과적 일관성이 어떻게 유지될 수 있는가?
• RQ4 클라이언트 이동 중에 제어된 지연을 도입할 경우 지연 시간과 일관성 사이의 상충 관계는 어떻게 되는가?
• RQ5 제안된 GST 계산 방식은 부분 복제 환경에서 이전의 GentleRain과 비교해 성능 면에서 어떻게 다른가?

주요 결과

• 논문에서 증명한 바와 같이, 제안된 GST 계산은 일반적인 부분 복제 환경에서 원격 업데이트 가시 지연 시간을 최소화하는 데 최적임을 입증한다.
• 알고리즘은 각 서버가 키의 임의의 부분집합을 저장하는 임의의 부분 복제를 지원하며, 클라이언트가 추가 조정 없이 어떤 서버와도 통신할 수 있다.
• 메타데이터 크기는 서버, 클라이언트, 키의 수와 무관하게 일정하며, 이는 이전 방법들과 달리 초선형 메타데이터가 필요하지 않음을 의미한다.
• 시뮬레이션 결과, 제안된 GST 계산은 부분 복제 환경에서 GentleRain보다 원격 업데이트 가시 지연 시간 면에서 뛰어난 성능을 보였다.
• 클라이언트 이동 중에 제어된 지연을 도입하면 원격 업데이트 가시 지연 시간을 추가로 감소시킬 수 있으며, 이는 지연 시간과 일관성 사이의 조절 가능한 트레이드오프를 제공한다.
• 시스템 동적 변화(예: 서버 또는 키의 변경) 동안 GST가 감소하지 않도록 보장함으로써 알고리즘이 인과적 일관성을 유지한다.