포크 순차 일관성은 차단된다

초록

이 논문은 신뢰할 수 없는 서버가 제공하는 단일 작성자·다중 독자 레지스터에 대해, 서버가 정상일 때는 순차 일관성과 무대기성을 보장하고, 서버가 비정상일 때는 포크 순차 일관성을 유지하려는 프로토콜이 존재하지 않음을 증명한다.

상세 분석

논문은 비동기 시스템에서 n명의 클라이언트와 하나의 서버가 FIFO 신뢰 채널로 연결된 모델을 가정한다. 서버는 비잔틴 행동을 할 수 있으며, 클라이언트는 크래시만 허용한다. 기본 객체는 단일 작성자·다중 독자(SWMR) 레지스터이며, 각 레지스터에 쓰여지는 값은 고유하다고 가정한다.

일관성 모델로는 세 가지를 정의한다. 첫째, 순차 일관성(sequential consistency) 은 각 클라이언트의 실시간 순서를 보존하면서 전체 연산을 순차적인 순열에 매핑한다. 둘째, 무대기성(wait‑freedom) 은 올바른 클라이언트가 수행한 모든 연산이 언제든 완료됨을 의미한다. 셋째, 포크 순차 일관성(fork‑sequential consistency) 은 두 클라이언트가 동일 연산을 관찰하면 그 이전의 모든 연산이 두 클라이언트에게 동일하게 보이도록 강제한다(‘no‑join’ 속성).

저자는 “wait‑free fork‑sequentially‑consistent Byzantine emulation”이라는 정의를 제시한다. 이는 서버가 정상일 때는 순차 일관성과 무대기성을, 서버가 비정상일 때는 포크 순차 일관성을 보장해야 함을 의미한다.

주요 결과는 Theorem 1 으로, n≥2인 경우 이러한 프로토콜이 존재하지 않음을 보인다. 증명은 세 개의 실행(α, β, γ)을 구성한다. 실행 α에서는 정상 서버 아래에서 C₂가 X₂에 연속적으로 쓰고 X₁을 읽으며, C₁은 X₁에 값을 쓰는 동안 메시지가 지연된다. 결국 C₂는 어느 시점에 X₁에서 비⊥ 값을 읽는다. 실행 β는 α와 동일하게 진행되지만, C₂가 마지막 두 쓰기‑읽기 쌍을 수행하지 않고 중단한다. 이후 C₁은 X₂를 반복 읽어 v_{z‑2} 를 얻는다. 실행 γ에서는 서버가 비정상이며, C₁에게는 β와 동일하게, C₂에게는 α와 동일하게 동작하도록 위장한다. 이렇게 하면 C₁과 C₂가 각각 자신이 본 히스토리를 ‘포크’된 형태로 인식하지만, ‘no‑join’ 속성을 위배한다. 구체적으로 C₁의 뷰에선 w₁(=C₁의 쓰기) 이전에 w_{z‑1}₂ 와 w_{z‑2}₂ 가 존재해야 하는데, 이는 C₁이 X₂에서 v_{z‑2} 를 읽는 시점과 모순된다. 따라서 γ는 포크 순차 일관성을 만족하지 못한다.

이 모순은 가정한 프로토콜이 존재한다는 전제와 충돌하므로, 요구 조건을 동시에 만족하는 프로토콜은 불가능함을 증명한다. 결과는 기존 연구에서 보여준 “fork‑linearizability은 무대기성을 지원하지 않는다”는 사실을 일반화한다. 즉, 포크 순차 일관성이라 하더라도 비정상 서버 상황에서 무대기성을 유지하려면 근본적인 한계가 존재한다.

이 논문은 포크 일관성 계열이 제공하는 보안·가용성 트레이드오프를 명확히 하고, 무대기성을 요구하는 실시간 협업 시스템에서 포크 기반 접근법이 근본적으로 제한적임을 강조한다. 향후 연구는 무대기성을 포기하거나, 더 강력한 신뢰 모델(예: 부분 신뢰 서버) 혹은 추가적인 통신 채널을 도입해 가능한 프로토콜을 탐색해야 함을 시사한다.