[논문 리뷰] Stratified B-trees and versioning dictionaries

Andy Twigg, Andrew Byde외 4명|arXiv (Cornell University)|2011. 03. 22.

Advanced Data Storage Technologies참고 문헌 7인용 수 4

한 줄 요약

이 논문은 복사-작성(CoW) B-트리보다 모든 측면에서 뛰어난 최적의 공간, 쿼리, 업데이트 성능 트레이드오프를 달성하는 새로운 유형의 일련번호가 부여된 사전 데이터 구조인 계층적 B-트리(stratified B-tree)를 소개한다. 이는 선형 공간을 사용하여 o(1) I/O로 완전한 일련번호 업데이트를 가능하게 하며, 실험 결과 SATA 디스크에서 최대 초당 100,000건의 업데이트를 처리할 수 있었고, CoW B-트리보다 두 배수 빠른 성능을 보였다.

ABSTRACT

A classic versioned data structure in storage and computer science is the copy-on-write (CoW) B-tree -- it underlies many of today's file systems and databases, including WAFL, ZFS, Btrfs and more. Unfortunately, it doesn't inherit the B-tree's optimality properties; it has poor space utilization, cannot offer fast updates, and relies on random IO to scale. Yet, nothing better has been developed since. We describe the `stratified B-tree', which beats all known semi-external memory versioned B-trees, including the CoW B-tree. In particular, it is the first versioned dictionary to achieve optimal tradeoffs between space, query and update performance.

연구 동기 및 목표

• 복사-작성(CoW) B-트리가 공간 효율성이 떨어지고, 랜덤 I/O로 인해 업데이트 속도가 느리며, 확장성 확보를 위해 랜덤 액세스에 의존한다는 한계를 해결하기 위해.
• 기존 CoW B-트리 설계를 포함하는 바탕이 되는 최적의 공간, 쿼리 시간, 업데이트 성능 트레이드오프를 달성하는 일련번호가 부여된 사전을 설계하기 위해.
• 순차적 I/O와 선형 공간을 사용하여 빠르고 확장 가능한 업데이트를 가능하게 하여, SSD 및 로그-구조 파일 시스템과 같은 현대 저장 시스템에 적합하게 하기 위해.
• 다중 코어 환경과 실사용 환경에 적합한 일관성 있고, 충돌에 안전하며, 락-프리 동시성 설계를 제공하기 위해.

제안 방법

• 계층적 B-트리는 각 수준에서 키-값 쌍의 정렬된 배열을 유지하는 이중화 배열(SDA)의 계층적 구조를 사용하여 일련번호가 부여된 데이터를 표현한다.
• 업데이트는 적절한 수준의 배열에 새 항목을 추가함으로써 수행되며, 균형을 유지하고 공간 증가를 줄이기 위해 주기적으로 상위 수준으로 승격된다.
• 정렬된 순서와 접두사 합을 활용하여 상향식 순서로 배열을 순회함으로써 범위 쿼리를 효율적으로 지원한다.
• 역방향 깊이 우선 탐색(DFS) 순서를 통해 자식 노드가 쓰여진 후에만 부모 노드가 쓰여지도록 하여, 락-프리 동시 생성과 일관된 상태 관리를 보장한다.
• 랜덤 I/O를 피하기 위해 순차적 쓰기 방식을 사용하며, 최종 원자적 업데이트까지 새로운 데이터의 가시성을 연기함으로써 충돌 일관성을 지원한다.
• 이 구조는 본질적으로 캐시-오브리버스이므로 블록 크기 조정이 필요 없으며, 비대칭 읽기/쓰기 성능을 보이는 SSD와 잘 맞는다.

실험 결과

연구 질문

• RQ1 일련번호가 부여된 B-트리가 CoW B-트리와 동일한 쿼리 및 업데이트 I/O 범위를 달성하면서도 선형 공간만을 사용할 수 있는가?
• RQ2 쿼리 성능을 약간 느슨하게 조정하더라도, 선형 공간을 사용하여 일련번호가 부여된 사전이 o(1) I/O로 업데이트를 지원할 수 있는가?
• RQ3 랜덤 I/O 대신 순차적 I/O를 사용하여 일련번호가 부여된 데이터 구조가 하드디스크 및 SSD에서 성능을 향상시키기 위해 효율적으로 확장될 수 있는가?
• RQ4 일관성 있고, 충돌에 안전하며, 락-프리 동시성 구조를 갖춘 일련번호가 부여된 사전을 설계할 수 있는가?

주요 결과

• 계층적 B-트리는 CoW B-트리와 동일한 최적의 쿼리 성능(O(logB N) I/O)을 달성하지만, 공간 효율성이 크게 향상되었다.
• 선형 공간을 사용하여 o(1) I/O로 업데이트를 지원하여, 표준 SATA 디스크에서 최대 초당 100,000건의 업데이트를 처리할 수 있었으며, CoW B-트리보다 두 배수 빠른 성능을 보였다.
• 실험 결과 SDA 기반의 구현체는 단일 스레드 OCaml 환경에서 범위 쿼리 처리량이 CoW B-트리보다 10배 이상 뛰어나며, CPU 성능에 의해 제한되었다.
• 고도로 동시성 처리 가능한 커널 내부 프로토타입은 16개 코어에서 분당 초당 50만 건 이상의 일련번호가 부여된 업데이트를 처리할 잠재력을 보이며, 수평 확장성의 강력한 가능성을 보였다.
• 이 구조는 본질적으로 일관성 있고 충돌에 안전하며, 새로운 데이터는 단일 원자적 업데이트 이후에만 가시성이 보장되어, 추가 작업 없이 복구가 가능하다.
• 이 구조는 본질적으로 캐시-오브리버스이며, 블록 크기 조정이 필요 없어, 비대칭 I/O 특성을 보이는 현대 저장 장치인 SSD와 잘 맞는다.