[논문 리뷰] Oze: Decentralized Graph-based Concurrency Control for Long-running Update Transactions (Extended Version)

Jun Nemoto, Takashi Kambayashi외 2명|arXiv (Cornell University)|2022. 10. 09.

Distributed systems and fault tolerance인용 수 4

한 줄 요약

Oze는 다핵 구조에서 그래프 기반 동시성 제어 프로토콜로, 정밀한 다버전 일관성 그래프를 사용해 장기적인 업데이트 트랜잭션에 대해 0%의 실패율을 달성하면서 이질적인 워크로드 하에서 최대 170만 tpm의 성능을 구현한다. 이는 코어 간 그래프 관리를 분산시키고, 오류 양성(false positive)을 최소화하기 위해 넓은 스케줄링 공간을 활용함으로써 달성된다.

ABSTRACT

This paper proposes Oze, a concurrency control protocol that handles heterogeneous workloads, including long-running update transactions. Oze explores a large scheduling space using a multi-version serialization graph to reduce false positives. Oze manages the graph in a decentralized manner to exploit many cores in modern servers. We further propose an OLTP benchmark, BoMB (Bill of Materials Benchmark), based on a use case in an actual manufacturing company. BoMB consists of one long-running update transaction and five short transactions that conflict with each other. Experiments using BoMB show that Oze can handle the long-running update transaction while achieving four orders of magnitude higher throughput than state-of-the-art optimistic and multi-version protocols and up to five times higher throughput than pessimistic protocols. We also show Oze performs comparably with existing techniques even in a typical OLTP workload, TPC-C, thanks to a protocol switching mechanism.

연구 동기 및 목표

• 고도로 동시성 처리되는 실세계 OLTP 워크로드에서 장기적인 업데이트 트랜잭션을 지원하는 데 도전 과제를 해결하기 위해.
• 동적 환경에서 장기적인 트랜잭션이 빠르게 반복되는 짧은 트랜잭션과 충돌할 경우의 실패율을 줄이기 위해.
• 현대의 다핵 서버에서 효율적으로 확장되면서 일관성 보장을 포기하지 않는 동시성 제어 프로토콜을 설계하기 위해.
• Bill of Materials (BoM) 업데이트와 비용 계산을 포함하는 실제 제조 워크로드를 반영한 현실적인 OLTP 벤치마크인 BoMB를 제안하기 위해.
• 기존 프로토콜이 이러한 워크로드 하에서 장기 트랜잭션을 커밋하지 못하거나 짧은 트랜잭션 성능을 떨어뜨리는 것으로 입증하기 위해.

제안 방법

• Oze는 넓은 스케줄링 공간을 탐색하고 일관성 검사에서의 오류 양성(false positive)을 줄이기 위해 완전히 정밀한 다버전 일관성 그래프(MVSG)를 사용한다.
• MVSG 관리를 여러 코어에 분산시켜 현대 하드웨어와 함께 확장되며, 병목 현상을 방지한다.
• 프로토콜은 분산 방식으로 사이클 탐지 및 버전 순서 조정을 수행하여 경쟁을 최소화하고 처리량을 향상시킨다.
• Oze는 쓰기 의존성을 트랜잭션 간 추적하기 위한 전파 메커니즘을 활용하여 장기적이고 짧은 트랜잭션 간 일관성을 보장한다.
• 그래프 과다 사용을 방지하기 위해 쓰레기 수거 기능을 통합하지만, 고도의 불균형 워크로드 하에서는 그래프 크기 증가가 성능 병목 현상이 된다.
• 시스템은 실제 제조 워크로드를 모델링한 신규 벤치마크인 BoMB를 사용해 평가되었으며, 이는 한 개의 장기적 업데이트 트랜잭션과 다섯 개의 충돌하는 짧은 트랜잭션을 포함한다.

실험 결과

연구 질문

• RQ1 이질적인 OLTP 워크로드 환경에서 장기적인 업데이트 트랜잭션에 대해 0% 실패율을 달성하면서도 짧은 트랜잭션의 처리량을 유지할 수 있는 동시성 제어 프로토콜이 존재할 수 있는가?
• RQ2 다중 버전 일관성 그래프의 분산 관리 방식이 중앙집중식 또는 옵timistic 접근 방식에 비해 확장성과 오류 양성 감소에 어떻게 기여하는가?
• RQ3 실세계 워크로드에서 동적 데이터 의존성이 존재하는 환경에서 기존 프로토콜이 장기적인 업데이트 트랜잭션을 커밋하지 못하는 정도는 어느 정도인가?
• RQ4 워크로드의 불균형도가 Oze와 같은 그래프 기반 동시성 제어 시스템의 성능과 그래프 크기에 어떤 영향을 미치는가?
• RQ5 BoMB와 같은 신규 벤치마크가 장기적인 비용 계산과 빈번한 구성 요소 업데이트를 포함하는 실제 제조 워크로드의 특성을 효과적으로 반영할 수 있는가?

주요 결과

• Oze는 고도의 경쟁 조건에서도 BoMB 벤치마크에서 장기적 업데이트 트랜잭션(L1)에 대해 0% 실패율을 달성한다.
• Oze는 여러 코어에서 근사 선형 확장성을 유지하면서 짧은 트랜잭션에 대해 최대 170만 tpm의 처리량을 유지한다.
• Silo, TicToc, MOCC, ERMIA, Cicada와 같은 기존 프로토콜들은 L1 트랜잭션을 커밋하지 못하며, 실패율이 1% 미만에 머무른다.
• 고도의 불균형(0.7 이상) 조건에서는 Oze의 그래프 크기가 급격히 증가하여 처리량이 10배 이상 감소한다.
• 그래프 크기가 커짐에 따라 전파 오버헤드가 Oze의 주요 비용 요소로 떠오르며, 향후 연구에서 고급 쓰레기 수거 기법의 필요성을 시사한다.
• BoMB 벤치마크는 동적 BoM 업데이트와 상호의존적인 비용 계산을 포함한 실세계 제조 워크로드를 효과적으로 반영한다.