시계 오차를 활용한 확률적 공정 이벤트 순서 지정

초록

본 논문은 클라이언트 간 시계 동기화 오차를 통계적으로 모델링하여, 두 이벤트의 발생 순서를 확률적으로 비교한다. 이 확률 비교 연산은 전이성이 없어 전역 순서를 직접 만들기 어렵지만, 사회 선택 이론의 순위 투표 기법을 적용해 부분 순서를 도출한다. 제안된 Tommy 시퀀서는 온라인 환경에서도 미래 이벤트를 고려해 안정적인 순서를 제공하며, Spanner TrueTime 기반 베이스라인보다 공정성을 크게 향상시킨다.

상세 분석

논문은 공정한 이벤트 순서 지정이 필요한 금융 거래소, 광고 경매, 온라인 게임 등 고빈도·고동시성 시스템을 대상으로 한다. 기존의 FIFO 기반 시퀀서는 관측 시점에 따라 순서를 매기므로, 실제 발생 시점과는 무관한 비공정성을 내포한다. 이를 해결하기 위해 저자들은 각 클라이언트의 시계 오프셋을 베이지안 혹은 가우시안 혼합 모델로 추정하고, 두 이벤트의 타임스탬프 차이를 확률 변수로 변환한다. 이때 정의된 “가능성 발생 이전(p‑→)” 관계는 P(event A precede B) > 0.5 일 경우 A가 B보다 먼저 발생했을 가능성이 높다고 판단한다. 그러나 두 사건 사이의 확률이 서로 겹치는 경우, A > B, B > C, C > A 와 같은 순환(Condorcet 사이클)이 발생할 수 있다. 이는 전통적인 전이적 순서 관계와 달리 직접적인 전역 순서를 만들 수 없게 만든다.

이러한 비전이성(intransitivity)을 다루기 위해 논문은 사회 선택 이론의 “순위 투표” 문제에 매핑한다. 각 이벤트를 후보, p‑→ 관계를 투표 결과로 해석해 복수의 투표 규칙(예: Copeland, Schulze, Ranked Pairs 등)을 적용한다. 이러한 방법은 사이클이 존재하더라도 가능한 부분 순서를 산출하거나, 사이클을 최소화한 근사 순서를 제공한다. 특히, 논문은 온라인 시퀀싱을 위해 “잠재 타임스탬프 범위”를 계산하고, 현재 이벤트와 미래에 도착할 가능성이 있는 이벤트를 동시에 배치해 안정적인 순위를 결정한다. 이 과정에서 이벤트가 동일 순위에 배정될 수 있으며, 이는 모델이 충분히 확신하지 못하는 경우에 대한 안전 장치이다.

성능 평가에서는 Spanner TrueTime 기반 베이스라인(각 이벤트를 불확실성 구간으로 표현하고 구간을 정렬)과 비교한다. 실험 결과, Tommy는 평균 순서 오류율을 크게 낮추고, 특정 워크로드에서는 이상적인 공정 순서와 일치한다. 또한, 클럭 오프셋 분포를 정확히 추정하면 공정성 보장이 확률적으로 크게 향상됨을 보인다. 한계점으로는 클럭 오프셋 모델링 정확도에 크게 의존하며, 베이즈 추정에 필요한 충분한 샘플이 없을 경우 성능이 저하될 수 있다. 또한, 현재는 실패 모델을 fail‑stop에 한정하고, Byzantine 공격에 대한 대응은 향후 연구 과제로 남겨졌다.