비잔틴 자가복구 비동기 동시성 알고리즘

본 논문은 공유 메모리 모델에서 전이성 결함과 영구적인 비잔틴 결함을 동시에 고려한 비동기 동시성(Asynchronous Unison) 문제를 다룬다. 동시성 문제는 각 프로세서가 로컬 카운터(cₚ)를 무한히 증가시키면서, 인접 프로세서와의 카운터 차이가 1 이하로 유지되는 것을 요구한다. 기존 연구는 전이성 결함만을 대상으로 자체 복구(self‑stabilizing) 알고리즘을 제시했으며, 비잔틴 결함을 포함하면 시스템 전체가 임의 상태에 빠질 위험이 있어 해결이 불가능하다고 여겨졌다. 저자들은 먼저 불가능성 결과를 제시한다. 그래프의 최대 차수가 2를 초과하면, 인접한 세 프로세서 사이에서 카운터를 조정할 여지가 없어 동시성을 유지할 수 없으며, 결함 수가 2 이상이면 비잔틴 프로세서들이 서로 다른 임의 값을 유지함으로써 정상 프로세서가 서로 동기화될 수 없게 된다. 또한, 약공정 혹은 비공정 스케줄러에서는 특정 프로세서가 지속적으로 스케줄링되지 않아 드리프트를 해소할 기회를 잃게 되므로, 어떤 알고리즘도 안전성과 활성을 동시에 보장할 수 없음을 증명한다. 이러한 불가능성 조건을 회피하기 위해 연구 범위를 “체인·링 토폴로지(최대 차수 2), 하나의 비잔틴 결함, 강공정 스케줄러”로 제한한다. 이 조건 하에서 저자들은 SSU(Strict‑Stabilizing Unison) 알고리즘을 설계한다. SSU는 각 프로세서가 하나의 변수 cₚ만을 보유하는 최소형 설계이며, 아래와 같은 로컬 규칙을 갖는다. 1. **끝점 규칙**(leftEndUp, leftEndDown, rightEndUp, rightEndDown): 차수가 1인 프로세서는 이웃의 카운터와 비교해 자신을 증가하거나 감소시킨다. 이는 끝점이 항상 이웃과 1 이하의 드리프트를 유지하도록 보장한다. 2. **중간점 조정 규칙**(middleLeftUp, middleLeftDown, middleRightUp, middleRightDown): 차수가 2인 프로세서가 한쪽 이웃과 동기화된 상태라면, 반대쪽 이웃을 향해 카운터를 조정한다. 이때 기존 동기화는 깨지지 않는다. 3. **동기화 규칙**(synUp, synDown): 프로세서가 양쪽 이웃 모두와 동기화되지 않은 경우, 양쪽 이웃의 카운터 중 최소·최대 값을 취해 자신을 맞춘다. 이는 섬(island) 구조를 형성하고, 섬 간 드리프트를 점차 감소시킨다. 알고리즘 실행 과정에서 정상 프로세서들은 “섬”이라는 연속된 동기화 구역을 형성한다. 비잔틴 프로세서는 섬에 포함되지 않으며, 그 값이 고정되거나 임의로 변하더라도 인접 섬들은 서로 드리프트를 줄이며 결국 하나의 큰 섬으로 합쳐진다. 이 과정은 강공정 스케줄러 하에서 모든 활성 규칙이 무한히 실행되므로 보장된다. 안정성(Safety)은 모든 실행 단계에서 각 프로세서가 이웃과 드리프트 ≤1을 유지함을 의미한다. 활성을 위한 Liveness는 각 정상 프로세서가 무한히 카운터를 증가시킨다는 것을 보장한다. 저자들은 형식적인 증명을 통해 두 속성이 모두 만족됨을 입증한다. 안정화 시간 측면에서는 최악의 경우에도 O(n) 라운드(여기서 n은 프로세서 수) 내에 모든 정상 프로세서가 하나의 동기화 섬에 포함되고, 이후에는 지속적으로 카운터를 증가시켜 Liveness를 유지한다. 이는 비동기 환경에서 가능한 최적 시간 복잡도이며, 기존 자체 복구 알고리즘보다 개선된 성능을 제공한다. 또한, 포함 반경(containment radius)이 0임을 증명한다. 즉, 비잔틴 결함이 발생한 프로세서 바로 이웃만이 일시적으로 동기화가 깨질 수 있으며, 그 외 모든 프로세서는 결함과 무관하게 정상 동작을 유지한다. 이는 시스템 전체의 가용성을 크게 향상시킨다. 결론적으로, 본 논문은 비동기 공유 메모리 시스템에서 비잔틴 결함과 전이성 결함을 동시에 다루는 최초의 자체 복구 동시성 알고리즘을 제시했으며, 토폴로지 제한, 스케줄러 요구조건, 최소 포함 반경, 최적 안정화 시간이라는 네 가지 측면에서 최적성을 달성하였다. 향후 연구는 차수 2를 초과하는 그래프와 다중 비잔틴 결함을 다루는 확장 및, 약공정 스케줄러 하에서의 가능성을 탐색하는 방향으로 진행될 수 있다.