동시성 제어 없는 일관성을 위한 CRDT

초록

CRDT는 동시 실행되는 연산이 서로 교환 가능하도록 설계된 데이터 타입으로, 별도의 잠금이나 합의 없이도 복제본 간에 최종 일관성을 보장한다. 논문에서는 이를 실증하기 위해 트리 구조 기반 편집 버퍼인 Treedoc을 제시하고, 설계 원리, 구현 세부 사항, 성능 평가 및 일반화 가능성을 논의한다.

상세 분석

이 논문은 분산 시스템에서 일관성을 유지하기 위한 전통적인 동시성 제어 메커니즘(예: 락, 2PC, Paxos)을 배제하고, 연산 자체가 교환법칙(commutativity)을 만족하도록 설계된 데이터 타입, 즉 Conflict‑free Replicated Data Type(CRDT)의 개념을 제시한다. 핵심 아이디어는 “동시 발생한 연산은 순서를 정하지 않아도 결과가 동일하다”는 전제 하에, 각 복제본이 로컬에서 자유롭게 연산을 수행하고, 이후 비동기적으로 전파된 연산을 적용할 때 충돌이 발생하지 않도록 하는 것이다.

논문은 두 종류의 CRDT, 즉 상태‑기반(state‑based)과 연산‑기반(operation‑based) 모델을 구분하고, 각각의 수학적 성질을 정형화한다. 상태‑기반 CRDT는 각 복제본이 전체 상태를 주기적으로 교환하며, 병합 함수가 결합법칙과 항등원을 만족하도록 설계된다. 연산‑기반 CRDT는 연산 로그를 전파하고, 로그에 포함된 연산이 서로 교환 가능하도록 연산 정의를 설계한다.

구체적인 구현 사례로 제시된 Treedoc은 텍스트 편집기의 핵심 데이터 구조로, 문자를 트리 노드에 삽입·삭제하는 연산을 정의한다. 삽입 연산은 고유한 식별자를 가진 노드를 트리의 적절한 위치에 삽입하고, 삭제 연산은 해당 식별자를 마크한다. 식별자는 전역적으로 유일하도록 Lamport 타임스탬프와 사이트 ID를 결합해 생성되며, 이는 삽입 순서가 충돌 없이 결정되도록 한다. 삭제는 “tombstone” 방식을 사용해 실제 노드를 제거하지 않음으로써, 다른 복제본에서 아직 전파되지 않은 삽입 연산과의 충돌을 방지한다.

성능 평가에서는 Treedoc이 전통적인 OT(Operational Transformation) 기반 편집기와 비교해, 네트워크 지연에 강인하고 확장성이 뛰어남을 보인다. 특히, 연산 전파 비용이 O(1)이며, 병합 연산이 로그 크기에 비례하지 않는 점이 큰 장점이다. 다만, tombstone이 누적되면 메모리 사용량이 증가하는 단점이 있으며, 이를 해결하기 위한 가비지 컬렉션 메커니즘이 필요함을 언급한다.

마지막으로 논문은 CRDT의 일반화 가능성을 논의한다. 집합, 카운터, 맵 등 다양한 추상 데이터 타입에 대해 교환 가능 연산을 정의함으로써, 복제 시스템 전반에 적용할 수 있음을 제시한다. 그러나 비정형 데이터(예: 복합 트랜잭션)나 강한 순서 보장이 필요한 경우에는 CRDT만으로는 충분하지 않으며, 하이브리드 접근이 필요함을 한계점으로 제시한다.