[논문 리뷰] CRDTs: Consistency without concurrency control

Mihai Leţia, Nuno Preguiça외 1명|ArXiv.org|2009. 07. 06.

Distributed systems and fault tolerance참고 문헌 13인용 수 36

한 줄 요약

이 논문은 분산 시스템에서 전통적인 동시성 제어의 확장 가능한 대안으로 공통 복제 데이터 유형(CRDT)을 소개한다. 이는 공감 consensus 없이도 최종 일致성을 달성할 수 있도록 한다. Treedoc은 공유 문서 편집을 위한 실용적인 CRDT로, 운영의 교환 법칙을 보장하고, 압축된 식별자와 효율적인 인과적 순서를 제공하기 위해 이름 트리 naming tree를 사용한다. 이는 최소한의 조율 오버헤드로 대규모이고 동적인 환경에서도 높은 성능과 확장성을 달성한다.

ABSTRACT

A CRDT is a data type whose operations commute when they are concurrent. Replicas of a CRDT eventually converge without any complex concurrency control. As an existence proof, we exhibit a non-trivial CRDT: a shared edit buffer called Treedoc. We outline the design, implementation and performance of Treedoc. We discuss how the CRDT concept can be generalised, and its limitations.

연구 동기 및 목표

• 변경 가능한 공유 데이터를 가진 대규모 분산 시스템에서의 확장성과 일관성 문제를 해결하기 위해.
• 복제된 데이터 유형에서 공감 또는 벡터 클록과 같은 복잡한 동시성 제어 메커니즘의 필요성을 제거하기 위해.
• 순서가 있는 시퀀스에서 동시 삽입 및 삭제를 지원하는 실용적이고 효율적이며 확장 가능한 CRDT를 설계하기 위해.
• CRDT에서 무한한 성장, 식별자 과잉, 가비지 수집 등의 실용적 한계를 극복하기 위해.
• CRDT가 실제 시스템, 예를 들어 협업 편집에서 생산 시스템과 비교해도 경쟁력 있는 성능을 보일 수 있음을 보여주기 위해.

제안 방법

• 유일하고 안정적인 식별자를 사용해 위치 기반 삽입 및 삭제 연산을 지원하는 순서 있는 집합을 위한 CRDT 추상화를 설계하기 위해.
• 원자에 대해 압축되고 전 세계적으로 고유한 식별자를 할당하기 위해 이름 트리 구조를 사용하여 복제본 간 교환 법칙을 보장하기 위해.
• 핵심(core)과 네뷸라(nebula) 사이트로 이루어진 이중 아키텍처를 구현: 핵심은 전역 상태를 유지하고, 네뷸라 사이트는 로컬 업데이트를 처리하며 신뢰성 있는 브로드캐스트 프로토콜을 통해 이를 전파한다.
• 필요에 따라 하위 트리를 주요 노드로 변환함으로써 교환 법칙을 유지하는 트리 재구성 알고리즘을 적용하기 위해.
• 최종 트리에서 검은색 노드와 톰스톤(tombstones)에 대해서만 업데이트 연산(삽입/삭제)을 생성하여, 재진행 가능하고 교환 가능한 전파를 보장하기 위해.
• 트리 구조에 암묵적으로 인과적 순서를 인코딩하여 정밀한 벡터 클록의 필요성을 줄이고, 확장 가능한 근사 인과 추적을 가능하게 하기 위해.

실험 결과

연구 질문

• RQ1 순서 있는 시퀀스의 동시 편집을 위한 비어 있지 않고 실용적이며 효율적인 CRDT를 설계할 수 있는가?
• RQ2 다양하고 동적인 수의 왤기 가능한 복제본을 가진 시스템에서 CRDT는 어떻게 확장 가능한가?
• RQ3 공감이나 벡터 클록에 의존하지 않고도 운영의 교환 법칙을 보장할 수 있는 메커니즘은 무엇인가?
• RQ4 정확성을 유지하면서 CRDT에서 식별자 크기와 데이터 구조 과잉을 최소화할 수 있는 방법은 무엇인가?
• RQ5 CRDT에서 가비지 수집을 애플리케이션 업데이트의 핵심 경로에서 분리할 수 있는가?

주요 결과

• Treedoc은 공감 없이도 복제본 간 최종 수렴을 보장하는 동시 문서 편집을 위한 CRDT를 성공적으로 구현한다.
• 이름 트리의 사용은 평탄화 연산 동안에도 안정된 식별자를 유지하는 압축되고 전 세계적으로 고유한 식별자를 가능하게 하여 식별자 폭발을 방지한다.
• 트리 재구성은 교환 법칙을 유지하는 방식으로 수행되어 동적 확장성에 의해 일관성이 손상되지 않도록 한다.
• 인과적 순서는 트리 구조에 암묵적으로 인코딩되어 있어 고비용의 벡터 클록 의존도를 줄이고 확장 가능한 근사 인과 추적을 가능하게 한다.
• 가비지 수집은 비차단적이며 가능하며, 응용 프로그램 업데이트의 핵심 경로에서 별도로 작동하므로, 다만 공감이 필요하다.
• 위키백과 트레이스를 사용한 성능 평가 결과, Treedoc은 높은 업데이트 부하 조건에서도 잘 스케일링되며 생산 시스템과 경쟁 가능한 성능을 보였다.