예측 가능한 가상화 액터 데이터베이스 시스템을 위한 리액터 모델

초록

본 논문은 관계형 액터(리액터)라는 새로운 프로그래밍 모델을 제안하고, 이를 구현한 인메모리 데이터베이스 시스템 ReactDB를 소개한다. 리액터는 관계형 스키마를 캡슐화한 논리적 액터로, 비동기 함수 호출을 통해 서로 통신하면서도 트랜잭션 수준의 직렬화 보장을 제공한다. 이를 통해 개발자는 애플리케이션 로직의 병렬성을 명시적으로 활용하고, 데이터와 연산을 가까이 배치해 레이턴시를 제어할 수 있다. 또한 ReactDB는 공유‑넌싱과 공유‑에브리씽 사이의 아키텍처를 컨테이너와 실행자 구성만으로 가상화함으로써 배포 유연성을 높인다. 실험 결과는 마이크로초 수준의 레이턴시 제어와 낮은 오버헤드를 확인한다.

상세 분석

리액터 모델은 기존 트랜잭션 처리와 액터 기반 프로그래밍을 융합한 혁신적인 추상화이다. 첫째, 리액터는 “관계형 액터”라는 이름 그대로 관계형 데이터베이스의 스키마를 내부 상태로 보유한다. 이는 전통적인 객체‑지향 DB와 달리, 관계형 연산을 단일 리액터 내부에서만 수행하도록 제한함으로써 데이터 접근 경로를 명확히 하고, 데이터 로컬리티를 극대화한다. 둘째, 리액터 간 통신은 비동기 함수 호출(프라미스/퓨처) 형태로만 허용된다. 이러한 설계는 호출 측에서 결과를 기다리는 동안 다른 연산을 진행할 수 있게 하여, 트랜잭션 내부의 병렬성을 개발자가 직접 드러내도록 만든다. 중요한 점은 이러한 비동기 호출에도 불구하고 전체 트랜잭션은 ACID‑특히 직렬화(Serializability)를 보장한다는 점이다. 이는 내부적으로 다중 버전 동시성 제어(MVCC)와 타임스탬프 기반 스케줄링을 결합하거나, 리액터 별 로컬 락을 활용해 구현될 가능성이 있다.

ReactDB는 리액터를 물리적으로 배치하는 두 가지 핵심 메커니즘을 제공한다. 첫 번째는 컨테이너 개념으로, 메모리 상에 공유‑메모리 영역을 구획하고 각 구획에 하나 이상의 리액터를 할당한다. 두 번째는 트랜잭션 실행자(Executor)로, 각각의 컨테이너에 배치되어 리액터를 소유하거나 공유하도록 설정할 수 있다. 이 두 축을 조합하면 공유‑넌싱(각 컨테이너가 독립적인 코어와 메모리를 가짐)부터 공유‑에브리씽(여러 실행자가 동일 컨테이너를 공유)까지 다양한 배포 구성을 선언적 설정 파일만으로 전환할 수 있다. 따라서 인프라 엔지니어는 워크로드 특성에 맞춰 코어 할당, 메모리 친화성, 네트워크 비용 등을 실험하면서 애플리케이션 코드를 수정할 필요가 없다.

논문은 디지털 통화 거래소 예시를 통해 리액터 모델의 실용성을 보여준다. 기존 저장 프로시저 방식에서는 위험 계산 로직이 하나의 트랜잭션 안에 복잡하게 얽혀 있어, 병렬화가 어려웠다. 반면 리액터 기반 구현에서는 Exchange 리액터가 각 Provider 리액터에 비동기 calc_risk 호출을 동시에 발행하고, 결과를 집계한 뒤 최종 결정을 내린다. 이 과정에서 데이터는 각 Provider 리액터에 물리적으로 가까이 배치되므로 메모리 접근 지연이 최소화되고, 네트워크·동기화 오버헤드가 크게 감소한다.

성능 평가에서는 TPC‑C와 YCSB 같은 대표적인 OLTP 벤치마크를 사용해, 레이턴시와 처리량을 다양한 아키텍처 구성(공유‑넌싱 vs 공유‑에브리씽)과 함수 호출 패턴(동기 vs 비동기)에서 측정했다. 결과는 리액터가 비동기 호출을 활용할 경우, 동일 하드웨어에서 평균 레이턴시를 30‑40 µs 수준으로 낮출 수 있음을 보여준다. 또한, 공유‑넌싱 구성에서는 코어 간 경쟁이 감소해 스케일 아웃 효율이 높아졌으며, 공유‑에브리씽에서는 메모리 공유 이점을 살려 높은 처리량을 유지했다. 오버헤드 분석에서는 리액터 관리 메타데이터와 프라미스 처리 비용이 전체 트랜잭션 비용의 5 % 이하에 머물렀다.

핵심 인사이트는 다음과 같다. 1) 프로그램 레벨에서 병렬성을 명시적으로 표현함으로써 데이터베이스 엔진이 자동으로 추론해야 하는 복잡성을 크게 줄인다. 2) 상태 캡슐화와 비동기 호출을 결합해 레이턴시 민감 애플리케이션에 적합한 미세 조정이 가능하다. 3) 가상화된 아키텍처 레이어를 통해 인프라 수준에서의 배포 최적화를 애플리케이션 코드와 분리한다. 4) 직렬화 보장을 유지하면서도 intra‑transaction 병렬성을 활용할 수 있다는 점은 기존 ACID 트랜잭션 모델의 한계를 확장한다는 의미이다.