[논문 리뷰] Abstract unordered and ordered trees CRDT

Stéphane Martin, Mehdi Ahmed-Nacer외 1명|arXiv (Cornell University)|2012. 01. 09.

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

한 줄 요약

이 논문은 순서가 없는 트리와 순서가 있는 트리용 충돌 없는 복제 데이터 유형(CRDT)의 가족을 제안하며, 분산 시스템에서 최종 일관성을 보장한다. 기존의 집합 CRDT를 활용하고 트리 구조에서 동시성 충돌을 해결하기 위해 层상 보정 알고리즘을 도입하며, 새로운 WOOTR 순서 CRDT를 통해 순서가 있는 트리에서 효율적이고 일관된 위치 설정을 가능하게 한다.

ABSTRACT

Trees are fundamental data structure for many areas of computer science and system engineering. In this report, we show how to ensure eventual consistency of optimistically replicated trees. In optimistic replication, the different replicas of a distributed system are allowed to diverge but should eventually reach the same value if no more mutations occur. A new method to ensure eventual consistency is to design Conflict-free Replicated Data Types (CRDT). In this report, we design a collection of tree CRDT using existing set CRDTs. The remaining concurrency problems particular to tree data structure are resolved using one or two layers of correction algorithm. For each of these layer, we propose different and independent policies. Any combination of set CRDT and policies can be constructed, giving to the distributed application programmer the entire control of the behavior of the shared data in face of concurrent mutations. We also propose to order these trees by adding a positioning layer which is also independent to obtain a collection of ordered tree CRDTs.

연구 동기 및 목표

• 동기화 없이 최종 일관성을 보장하는 분산 트리용 충돌 없는 복제 데이터 유형(CRDT)을 설계한다.
• 노드 삽입, 삭제 및 경로 유일성과 같은 동시성 문제를 해결하기 위해 层상 보정 알고리즘을 사용하여 트리 복제의 동시성 문제를 다룬다.
• 새로운 순서 편집 CRDT인 WOOTR를 통해 CRDT 트리에 형제 노드의 순서를 지원하도록 확장한다.
• 집합 CRDT와 보정 계층에 대해 조합 가능한 정책을 제공하여 애플리케이션 개발자가 충돌 해결 의미 체계를 완전히 제어할 수 있도록 한다.
• 고 동시성 환경에서 다양한 CRDT 트리 변종의 확장성과 성능 상충 관계를 평가한다.

제안 방법

• 그래프 이론(노드 및 간선 집합)을 사용하여 순서가 없는 트리 CRDT를 구축하며, 기존의 집합 CRDT(LWW-Set, OR-Set 등)를 기반으로 한 페이로드를 활용한다.
• 두 계층 보정 메커니즘을 도입: 첫 번째 계층은 그래프가 루트를 유지하도록 보장하고, 두 번째 계층은 사이클을 방지하기 위해 경로의 유일성을 강제한다.
• 각 보정 계층에 대해 독립적이고 조합 가능한 정책을 적용하여 민첩한 충돌 해결 의미 체계를 가능하게 한다.
• 단일 집합 CRDT와 연결 계층을 통해 구현 가능한 단어 이론 기반 트리 표현 방식을 사용한다.
• 요소 재삽입을 지원하고, 동일 위치에 동시 삽입이 발생할 경우 동일한 연산으로 간주하는 공통 순서 CRDT인 WOOTR를 도입한다.
• 순서가 없는 트리 CRDT를 WOOTR 기반의 위치 식별자와 함께 노드 또는 간선에 연결하여 순서가 있는 트리로 확장함으로써, 복제본 간 일관된 형제 순서를 보장한다.

실험 결과

연구 질문

• RQ1 기존의 집합 CRDT만을 사용하여 최종 일관성을 보장하는 트리 CRDT를 어떻게 구성할 수 있는가?
• RQ2 동시 수정(예: 삽입, 삭제)을 해결하기 위해 동기화 없이 작동하는 트리 구조에서의 层상 보정 전략은 무엇인가?
• RQ3 최종 일관성과 동시 업데이트를 지원하는 CRDT 모델에서 순서가 있는 트리 의미 체계는 어떻게 달성할 수 있는가?
• RQ4 특히 고 동시성 환경에서 다양한 CRDT 트리 변종의 성능 및 확장성 상충 관계는 어떠한가?
• RQ5 효율적이고 충돌 없는 재삽입 및 트리 CRDT에서의 일관된 위치 설정을 지원할 수 있는 새로운 순서 CRDT(WOOTR)를 설계할 수 있는가?

주요 결과

• 제안된 CRDT 트리 가족은 조합 가능한 정책과 기존의 집합 CRDT를 통해 최종 일관성을 달성하며, 조율 없이도 충돌 없는 복제를 가능하게 한다.
• 두 계층 보정 메커니즘(루팅 및 경로 유일성)은 그래프 기반 및 간선 기반 트리 표현 방식에서 동시성 문제를 효과적으로 해결한다.
• 새로운 순서 CRDT인 WOOTR는 삭제된 요소의 재삽입을 허용하며, 동일 위치에 동시 삽입이 발생할 경우 동일한 연산으로 간주하여 일관성과 효율성을 향상시킨다.
• 순서가 있는 트리 CRDT는 WOOTR 기반의 위치 식별자를 노드 또는 간선에 연결하여 순서가 없는 트리 CRDT를 확장함으로써, 복제본 간 일관된 형제 순서를 보장한다.
• 집합 CRDT와 정책의 다양한 조합은 서로 다른 충돌 해결 행동을 유도하며, 이는 애플리케이션 개발자가 의미 체계를 완전히 제어할 수 있음을 의미한다.
• 성능은 상당한 차이를 보이며, 2P-Set 기반 변종은 효율적이지만, 일부 그래프 및 간선 트리 정책는 복잡한 충돌 해결 논리로 인해 계산적으로 비용이 많이 든다.