[논문 리뷰] Antidote SQL: Relaxed When Possible, Strict When Necessary

Pedro Miguel Sousa Lopes, João Sousa외 6명|arXiv (Cornell University)|2019. 02. 10.

Distributed systems and fault tolerance참고 문헌 22인용 수 4

한 줄 요약

Antidote SQL은 안전한 경우에 SQL 일관성을 완화할 수 있도록 애플리케이션 개발자에게 허용하면서도, 이완된 의미 체계 하에서 기본 키, 외래 키, 체크 제약 조건을 강제하여 정확성을 확보한다. 이는 스키마 기반 동시성 모델과 CRDT 기반 충돌 해결 기법을 사용하여 조정을 최소화하며, 데이터 무결성을 포기하지 않은 채로 지리적으로 복제된 시스템에서 높은 가용성과 낮은 지연 시간을 달성한다.

ABSTRACT

Geo-replication poses an inherent trade-off between low latency, high availability and strong consistency. While NoSQL databases favor low latency and high availability, relaxing consistency, more recent cloud databases favor strong consistency and ease of programming, while still providing high scalability. In this paper, we present Antidote SQL, a database system that allows application developers to relax SQL consistency when possible. Unlike NoSQL databases, our approach enforces primary key, foreign key and check SQL constraints even under relaxed consistency, which is sufficient for guaranteeing the correctness of many applications. To this end, we defined concurrency semantics for SQL constraints under relaxed consistency and show how to implement such semantics efficiently. For applications that require strict SQL consistency, Antidote SQL provides support for such semantics at the cost of requiring coordination among replicas.

연구 동기 및 목표

• 지리적으로 복제된 데이터베이스에서 낮은 지연 시간, 높은 가용성, 강력한 일관성 간의 상충 관계를 해결한다.
• 애플리케이션 개발자가 안전한 경우 SQL 일관성을 완화할 수 있도록 하되, 제약 조건을 통해 데이터베이스 무결성을 유지한다.
• 복잡한 정적 분석이나 런타임 인스트루멘테이션 없이도 동시성 의미 체계를 제어할 수 있는 스키마 기반 접근 방식을 제공한다.
• 이완된 일관성 하에서도 기본 키, 외래 키, 체크 제약 조건을 강제하여 응용 프로그램의 정확성을 보장한다.
• 응용 프로그램의 필요에 따라 이완 및 엄격한 일관성 모드를 모두 지원하면서도 조정 오버헤드를 최소화한다.

제안 방법

• AQL(Antidote SQL의 SQL 유사 인터페이스)에 DDL 확장을 도입하여 동시성 의미 체계와 제약 조건 강제 정책을 지정한다.
• 정합성 불변 조건을 동반한 병렬 스냅샷 격리(PSI)를 사용하여 지리적으로 분산된 사이트 간에 동시이고 인과적으로 순서가 지켜진 트랜잭션을 지원한다.
• 충돌 없는 복제 데이터 유형(CRDT)을 활용하여 사용자가 정의한 병합 정책을 사용해 동시 업데이트를 안전하게 병합할 수 있도록 한다.
• 분산된 샤드와 복제본 간의 참조 무결성을 유지하기 위해 조정이 없는 알고리즘을 설계한다.
• 충돌하는 업데이트만 제한하는 제약 조건 강제 의미 체계를 구현하여 가능한 한 높은 동시성을 유지한다.
• 기본 키-오브젝트 스토어로서 AntidoteDB와 통합하며, 내장된 CRDT 및 에스카로 데이터 유형 지원 기능을 활용한다.

실험 결과

연구 질문

• RQ1 지리적으로 복제된 데이터베이스에서 데이터 무결성을 훼손하지 않고 SQL 일관성을 어떻게 완화할 수 있는가?
• RQ2 약한 일관성 하에서 기본 키, 외래 키, 체크 제약 조건을 강제하기 위해 안전하고 효율적인 동시성 의미 체계는 무엇인가?
• RQ3 스키마 기반 접근 방식이 복잡한 정적 분석이나 런타임 인스트루멘테이션을 요구하지 않고 일관성 완화를 이끌어내는 데 성공할 수 있는가?
• RQ4 복제본 간의 조정을 요구하지 않고도 분산된 노드 간의 참조 무결성을 어떻게 유지할 수 있는가?
• RQ5 伝통적인 강력한 일관성 모델 대비, 이완된 일관성 하에서 제약 조건을 강제할 경우 성능 오버헤드는 얼마나 되는가?

주요 결과

• Antidote SQL은 스키마 수준의 동시성 의미 체계를 사용해 개발자가 언제이고 어떻게 SQL 일관성을 완화할 수 있는지 지정할 수 있으며, 이로 인해 조정 오버헤드가 감소한다.
• 시스템은 이완된 일관성 하에서도 기본 키, 외래 키, 체크 제약 조건을 강제하여 많은 실세계 애플리케이션의 정확성을 보장한다.
• CRDT 기반 충돌 해결은 사용자가 정의한 정책을 사용해 동시 업데이트를 안전하게 병합할 수 있도록 하며, 높은 가용성과 낮은 지연 시간을 지원한다.
• 참조 무결성의 구현은 조정이 없는 알고리즘을 사용하여 분산된 샤드와 복제본 간의 일관성을 유지한다.
• 초기 평가 결과, 낙관적 외래 키 강제 모드 하에서는 삽입 및 업데이트 작업에 대해 거의 무시할 수 있는 오버헤드가 발생하지만, 삭제 작업은 측정 가능한 비용이 발생한다.
• 시스템은 필요할 때만 조정을 제한함으로써 성능과 정확성의 균형을 이루며, 안전한 경우에 높은 동시성을 유지할 수 있다.