[논문 리뷰] GentleRain+: Making GentleRain Robust on Clock Anomalies

Mohammad Roohitavaf, Sandeep S. Kulkarni|arXiv (Cornell University)|2016. 11. 16.

Distributed systems and fault tolerance참고 문헌 7인용 수 6

한 줄 요약

이 논문은 물리 시계를 하이브리드 논리 시계(HLCs)로 대체하여 시계 이상 현상에 대한 민감도를 제거한 GentleRain+라는 GentleRain 프로토콜의 향상된 버전을 제안한다. HLCs를 활용함으로써, 시계가 뒤로 가거나 지연이 발생하더라도 인과적 일致성을 유지할 수 있으며, 원래의 GentleRain 프로토콜보다 쓰기 지연 시간이 낮고 성능 오버헤드가 없는 결과를 얻는다.

ABSTRACT

Causal consistency is in an intermediate consistency model that can be achieved together with high availability and high performance requirements even in presence of network partitions. There are several proposals in the literature for causally consistent data stores. Thanks to the use of single scalar physical clocks, GentleRain has a throughput higher than other proposals such as COPS or Orbe. However, both of its correctness and performance relay on monotonic synchronized physical clocks. Specifically, if physical clocks go backward its correctness is violated. In addition, GentleRain is sensitive on the clock synchronization, and clock skew may slow write operations in GenlteRain. In this paper, we want to solve this issue in GenlteRain by using Hybrid Logical Clock (HLC) instead of physical clocks. Using HLC, GentleRain protocl is not sensitive on the clock skew anymore. In addition, even if clocks go backward, the correctness of the system is not violated. Furthermore, by HLC, we timestamp versions with a clock very close to the physical clocks. Thus, we can take causally consistency snapshot of the system at any give physical time. We call GentleRain protocol with HLCs GentleRain+. We have implemented GentleRain+ protocol, and have evaluated it experimentally. GentleRain+ provides faster write operations compare to GentleRain that rely solely on physical clocks to achieve causal consistency. We have also shown that using HLC instead of physical clock does not have any overhead. Thus, it makes GentleRain more robust on clock anomalies at no cost.

연구 동기 및 목표

• 물리 시계의 뒤로 가거나 지연되는 현상과 같은 시계 이상 현상으로 인해 정확도와 성능이 손상되는 GentleRain의 취약성을 해결하기 위해.
• 시계 지연으로 인한 쓰기 작업 지연이 필요 없도록 하기 위해 더 견고한 시계 메커니즘을 사용하기 위해.
• 낮은 지연 시간과 높은 처리량을 유지하면서도 어떤 물리적 시간에도 인과적으로 일致하는 시스템 스냅샷을 가능하게 하기 위해.
• HLC 기반 타임스탬프링이 물리 시계와 비교해 추가적인 처리, 메모리, 스토리지 오버헤드가 없음을 입증하기 위해.
• 네트워크 파artition 상황에서 항상 가용하고 인과적으로 일치하는 데이터 저장소를 달성하기 위해 트래픽 국지성의 필요성을 증명하기 위해.

제안 방법

• 물리 시계를 물리적 시간과 논리적 증가를 조합하여 단조성을 보장하고 인과적 순서를 유지하는 하이브리드 논리 시계(HLCs)로 대체한다.
• HLC 타임스탬프를 사용해 메타데이터의 버전을 할당함으로써, 시계 지연이나 뒤로 점프가 발생하더라도 인과적으로 의존하는 업데이트가 올바른 순서로 보여지도록 보장한다.
• 저장소 및 메모리 효율성을 물리 시계와 동일하게 유지하기 위해 압축된 HLC 표현 방식을 도입한다.
• 물리 시계의 단조성에 의존하지 않고 HLC의 특성을 활용함으로써 쓰기 작업의 지연을 방지하는 방식으로 로직을 수정한다.
• 분산 키-값 스토어(MSU-DB)에서 GentleRain+를 구현하고 평가하여 원래의 GentleRain과의 성능 및 정확도를 비교한다.
• 불가능성 결과를 수학적으로 정의하고 증명한다: 네트워크 파artition 상황에서 항상 가용하고 인과적으로 일치하는 시스템을 위해 트래픽 국지성이 필수 조건이다.

실험 결과

연구 질문

• RQ1 물리 시계가 뒤로 가거나 지연되는 상황에서도 인과적 일관성이 GentleRain에서 유지될 수 있는가?
• RQ2 물리 시계를 HLCs로 대체함으로써 시계 지연으로 인한 쓰기 작업 지연이 제거되는가?
• RQ3 인과적으로 일관된 데이터 저장소에서 물리 시계 대신 HLCs를 사용할 경우 성능 오버헤드는 얼마나 되는가?
• RQ4 HLC 기반의 버전 관리 방식을 통해 특정 물리적 시간에 대한 시스템 스냅샷을 효율적으로 지원할 수 있는가?
• RQ5 네트워크 파artition 상황에서 항상 가용하고 인과적으로 일치하는 데이터 저장소를 달성하기 위해 트래픽 국지성이 필수 조건인가?

주요 결과

• GentleRain+는 물리 시계가 뒤로 가더라도 인과적 일관성을 유지하여 원래의 GentleRain 프로토콜에서 발생하는 심각한 정확성 결함를 해결한다.
• GentleRain+의 쓰기 작업은 시계 지연으로 인한 지연 없이 처리되어 원래의 GentleRain보다 낮고 예측 가능한 응답 시간을 제공한다.
• HLCs 사용 시 물리 시계와 비교해 측정 가능한 처리 오버헤드가 없으며, 성능 측면에서 증강이 투명하게 유지된다.
• HLC 기반의 버전 관리 방식은 원하는 물리적 시간에 대해 효율적인 시스템 스냅샷을 지원할 수 있으며, 이는 물리 시계가 기본적으로 제공하지 않는 기능이다.
• 압축된 표현 방식 덕분에 HLCs의 메모리 및 스토리지 오버헤드는 물리 시계와 동일하여 시스템 자원의 부풀어림이 없다.
• 논문은 불가능성 결과를 증명한다: 네트워크 파artition 상황에서 항상 가용하고 인과적으로 일치하는 데이터 저장소를 달성하기 위해 트래픽 국지성이 필수 조건이다.