윈도우 기반 탐욕적 충돌 관리: 효율적인 트랜잭션 스케줄링

초록

본 논문은 M개의 스레드와 각 스레드당 N개의 트랜잭션으로 구성된 M×N 실행 윈도우에서, 각 트랜잭션이 최대 C개의 다른 트랜잭션과 충돌한다는 가정 하에 탐욕적 충돌 관리자를 설계한다. 기존의 단순 탐욕적 관리자는 CN 시간에 스케줄을 완성하지만, 저자는 두 가지 무작위화된 탐욕적 알고리즘을 제안한다. Offline‑Greedy는 충돌 그래프를 사전에 알 경우 O(C+N·log(MN)) 시간에 스케줄을 만들고, C≤N·log(MN)일 때 O(log(MN)) 경쟁비를 보인다. Online‑Greedy는 충돌 그래프를 모르는 상황에서도 O(C·log(MN)+N·log²(MN)) 시간에 스케줄을 생성한다. 또한, 적응형 버전을 제시해 실행 중 C를 동적으로 추정한다. 이 결과들은 윈도우 크기와 충돌 정도에 따라 새로운 트레이드오프를 제공한다.

상세 분석

이 논문은 트랜잭션 메모리 시스템에서 흔히 발생하는 충돌 관리 문제를 윈도우 기반 모델로 추상화한다. M×N 실행 윈도우는 실제 멀티코어 환경에서 일정 기간 동안 발생하는 트랜잭션 집합을 의미하며, 각 트랜잭션이 최대 C개의 다른 트랜잭션과 충돌한다는 제한은 충돌 그래프의 최대 차수를 C로 두는 것과 동등하다. 기존의 탐욕적 충돌 관리자는 충돌이 발생하면 즉시 하나를 선택해 실행하고, 나머지는 재시도하도록 하는 단순한 정책이다. 이 경우 최악의 실행 시간은 모든 충돌을 순차적으로 해결해야 하므로 CN에 수렴한다.

저자는 이 한계를 극복하기 위해 두 가지 무작위화 전략을 도입한다. 첫 번째인 Offline‑Greedy는 전체 충돌 그래프를 사전에 알고 있다는 전제 하에, 각 트랜잭션에 무작위 우선순위를 부여하고, 같은 라운드에서 우선순위가 가장 높은 트랜잭션만을 실행한다. 이렇게 하면 동일 라운드 내에서 서로 충돌하지 않는 트랜잭션들의 동시 실행이 가능해져, 전체 스케줄 길이가 O(C+N·log(MN))으로 축소된다. 특히 C가 N·log(MN)보다 작을 경우, 전체 실행 시간은 O(N·log(MN))에 근접하며, 이는 기존 CN 대비 로그 수준의 개선이다.

두 번째인 Online‑Greedy는 충돌 그래프를 알 수 없는 상황에서도 비슷한 성능을 달성한다. 여기서는 각 트랜잭션이 실행될 때마다 현재 활성 트랜잭션 집합에 대해 무작위 색칠(색 할당) 방식을 적용한다. 색이 겹치지 않는 트랜잭션들만 동시에 실행하고, 충돌이 감지되면 해당 트랜잭션은 재시도 큐에 넣는다. 이 과정은 로그(MN) 배수의 라운드 안에 대부분의 충돌을 해소하도록 설계되어, 최악의 경우에도 O(C·log(MN)+N·log²(MN)) 시간 안에 스케줄을 완성한다.

또한 논문은 적응형 버전을 제시한다. 실행 중에 실제 관측된 충돌 횟수를 기반으로 C를 동적으로 추정하고, 추정값에 따라 라운드 수와 색상 수를 조정한다. 이 방식은 사전 지식이 전혀 없는 환경에서도 이론적 상한에 근접한 성능을 보이며, 실험적으로도 안정적인 스케줄 길이를 확인한다.

핵심 통찰은 무작위 우선순위와 색칠 기법을 통해 충돌을 ‘분산’시켜, 동일 라운드 내에서 가능한 많은 트랜잭션을 병렬 실행하게 만든다는 점이다. 이는 충돌 그래프의 최대 차수 C가 작을수록, 그리고 윈도우 크기 MN이 클수록 로그 팩터가 지배적인 상황에서 특히 효과적이다. 또한, 온라인 알고리즘이 사전 정보 없이도 비슷한 복잡도를 유지한다는 점은 실무 적용 가능성을 크게 높인다.

이러한 결과는 기존 탐욕적 관리자가 갖는 비효율성을 극복하고, 트랜잭션 메모리 시스템에서 높은 동시성을 유지하면서도 충돌 해결 비용을 로그 수준으로 낮출 수 있음을 증명한다.