[논문 리뷰] High-Performance Concurrency Control Mechanisms for Main-Memory Databases

Per-Åke Larson, Spyros Blanas외 4명|arXiv (Cornell University)|2011. 12. 31.

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

한 줄 요약

이 논문은 주메모리 온라인 처리 처리 시스템을 위한 고성능 다버전 동시성 제어(MVCC) 기법—비관적 및 비관적이지 않은 방식—을 제안한다. 양 방식 모두 읽기 전용 트랜잭션과 업데이트 간의 격리를 위해 다중버전 기법을 사용하며, 비관적이지 않은 변형은 경쟁을 최소화하기 위해 검증과 원자적 타임스탬프 할당을 사용한다. 실험 결과, 높은 경쟁 상황이나 장시간 실행되는 트랜잭션에서 MVCC 기법이 단일버전 락킹보다 뛰어난 성능을 보이며, 비관적이지 않은 접근 방식이 더 높은 처리량을 달성한다.

ABSTRACT

A database system optimized for in-memory storage can support much higher transaction rates than current systems. However, standard concurrency control methods used today do not scale to the high transaction rates achievable by such systems. In this paper we introduce two efficient concurrency control methods specifically designed for main-memory databases. Both use multiversioning to isolate read-only transactions from updates but differ in how atomicity is ensured: one is optimistic and one is pessimistic. To avoid expensive context switching, transactions never block during normal processing but they may have to wait before commit to ensure correct serialization ordering. We also implemented a main-memory optimized version of single-version locking. Experimental results show that while single-version locking works well when transactions are short and contention is low performance degrades under more demanding conditions. The multiversion schemes have higher overhead but are much less sensitive to hotspots and the presence of long-running transactions.

연구 동기 및 목표

• 고성능 주메모리 온라인 처리 처리 시스템에서 전통적인 단일버전 락킹의 확장성 한계를 해결하기 위해.
• 메모리 기반 워크로드에 최적화된 다중버전 동시성 제어 기법을 설계하고 평가하기 위해.
• 다양한 워크로드 하에서 비관적 및 비관적이지 않은 MVCC 기법의 성능을 단일버전 락킹과 비교하기 위해.
• 기존 락킹 방식에 비해 MVCC가 더 뛰어난 내성과 처리량을 제공하는 조건을 규명하기 위해.

제안 방법

• 일관성 보장을 위해 커밋 시 검증과 원자적 타임스탬프 할당을 사용하는 비관적이지 않은 MVCC 기법을 제안한다.
• 트랜잭션 실행 중 충돌을 방지하기 위해 다중버전 락킹을 사용하는 비관적 MVCC 기법을 구현한다.
• 성능 기준선을 확보하기 위해 주메모리 환경에 최적화된 단일버전 락킹의 변형을 설계한다.
• 버전 타임스탬프를 사용해 가시성과 갱신 가능성 결정을 하여 읽기 안정성과 파생 레코드 방지를 보장한다.
• 일반적인 처리 중 블로킹을 방지함으로써 경쟁을 최소화하며, 오직 커밋 단계에서만 대기 가능성이 존재한다.
• 타임스탬프 할당 전용 임계 구역을 사용하며, 이는 단일 원자 명령어이므로 높은 병렬성을 달성할 수 있다.

실험 결과

연구 질문

• RQ1 고성능 주메모리 환경에서 비관적이지 않은 MVCC는 비관적 MVCC 및 단일버전 락킹보다 어떻게 성능을 냈는가?
• RQ2 단일버전 락킹에 비해 다중버전 기법이 핫스팟과 장시간 실행되는 읽기 전용 트랜잭션에 대해 뛰어난 내성과 성능 향상을 보일 수 있는가?
• RQ3 MVCC 기법의 성능 오버헤드는 얼마이며, 높은 경쟁 상황에서도 여전히 수용 가능한가?
• RQ4 비관적이지 않은 MVCC 접근 방식이 블로킹 감소로 인해 비관적 방식보다 더 높은 처리량을 달성하는가?
• RQ5 비관적 및 비관적이지 않은 트랜잭션이 동일한 데이터베이스에서 충돌 없이 공존할 수 있는가?

주요 결과

• 비관적이지 않은 MVCC 기법은 낮은 경쟁 상황의 TATP 유사 워크로드에서 단일버전 락킹 대비 10배 이상 높은 처리량을 달성했다.
• 단일버전 락킹은 고경쟁 상황이나 장시간 실행되는 읽기 전용 트랜잭션에서 성능이 급격히 떨어지며, 성능 저하의 핵심 원인이 된다.
• 비관적 MVCC 기법은 고경쟁 상황에서 단일버전 락킹보다 양호한 성능을 보였지만, 비관적이지 않은 변형에 비해 떨어졌다.
• MVCC 기법은 핫스팟과 장시간 트랜잭션 상황에서도 높은 처리량을 유지하여 뛰어난 내성성을 입증했다.
• 비관적이지 않은 접근 방식은 더 낮은 직렬화 오버헤드로 인해 비관적 MVCC 기법보다 항상 더 높은 처리량을 달성했다.
• 타임스탬프 할당을 위한 임계 구역은 매우 짧았으며(단일 원자 명령어), 이로 인해 높은 병렬성과 낮은 경쟁이 가능했다.