잠금‑프리 알고리즘, 실제로는 대기‑프리인가?

초록

**
저자들은 다중 코어 환경에서 흔히 사용되는 잠금‑프리 알고리즘을 확률적 스케줄러 하에 분석한다. 일정 확률 θ > 0 로 모든 정상 프로세스가 선택되는 “균등 확률 스케줄러”를 가정하면, 제한된 진행 보장을 가진 잠금‑프리 알고리즘은 확률 1 로 대기‑프리와 동일한 진행성을 보인다. 또한 SCU(단일 CAS) 패턴을 따르는 알고리즘에 대해 시스템 지연을 O(q + s √n) 으로 상한을 잡아, 실무에서 복잡한 대기‑프리 설계 없이도 거의 동일한 성능을 기대할 수 있음을 입증한다.

**

상세 분석

**
이 논문은 기존 이론 연구가 주로 최악‑사례 적대적 스케줄러를 전제로 진행 보장을 정의한 것과 달리, 실제 하드웨어가 제공하는 “무작위성”을 모델링한다는 점에서 혁신적이다. 저자들은 θ‑정책이라 부르는 확률적 스케줄러를 도입한다. 이 스케줄러는 매 시간 단계마다 모든 비‑고장 프로세스가 최소 확률 θ > 0 로 선택된다는 가정 하에, 각 프로세스가 충분히 긴 연속 실행 구간을 가질 확률이 1임을 보인다. 따라서 bounded lock‑free(어떤 프로세스라도 유한 단계 내에 진행을 보장) 알고리즘은 확률 1 로 wait‑free가 된다. 이는 “모든 프로세스가 결국 자신의 연산을 완료한다”는 강력한 결과를 제공한다.

핵심 기술은 Markov chain lifting이다. SCU 클래스(프리앰블 + 스캔‑검증‑CAS 단계) 알고리즘을 각각의 프로세스 관점에서 복잡한 마코프 체인으로 모델링하고, 이를 시스템 진행 체인이라는 단순화된 체인으로 사상(lift)한다. 이 사상은 개별 프로세스의 상태 전이와 시스템 전체의 진행 상황을 일대일 대응시켜, 복잡한 다중 프로세스 상호작용을 하나의 체인으로 압축한다. 이를 통해 개별 지연(특정 프로세스가 연산을 마치는 데 걸리는 기대 단계 수)과 시스템 지연(시스템 전체가 하나의 연산을 완료하는 데 걸리는 기대 단계 수) 사이에 정확히 n 배 관계가 있음을 증명한다. 즉, 평균적으로 시스템 전체가 n 배 빠르게 작업을 처리한다는 직관적인 해석이 가능하다.

또한 저자들은 balls‑into‑bins 형태의 반복 게임을 도입해 시스템 지연의 상한을 O(q + s √n) 으로 도출한다. 여기서 q는 프리앰블 단계의 단계 수, s는 스캔‑검증 단계의 단계 수, n은 프로세스 수이다. 이 결과는 기존 최악‑사례 분석에서 얻는 O(n·(q+s)) 와 비교해 √n 수준으로 크게 개선된다. 실험적으로도 균등 확률 스케줄러가 실제 OS 스케줄러(예: Linux CFS)의 장기 동작을 잘 근사한다는 증거를 제시한다.

하지만 몇 가지 제한점도 존재한다. 첫째, θ‑정책이 실제 하드웨어에서 항상 만족된다고 보장할 수는 없으며, 특히 높은 우선순위 쓰레드가 지속적으로 스케줄링되는 실시간 시스템에서는 가정이 깨질 수 있다. 둘째, 분석은 SCU 패턴에 국한되므로, 복합적인 멀티‑CAS, 로킹‑프리 트랜잭션, 혹은 비선형 구조(예: 트리 기반 데이터 구조)에는 직접 적용하기 어렵다. 셋째, 확률적 보장은 “확률 1”이라 하더라도 실제 실행에서 극히 드문 긴 지연이 발생할 가능성을 완전히 배제하지 못한다. 따라서 안전이 절대적으로 요구되는 시스템(예: 항공 제어)에서는 여전히 전통적인 대기‑프리 설계가 필요할 수 있다.

향후 연구 방향으로는 비균등 확률 스케줄러(프로세스별 가중치가 다른 경우)와 동적 θ(시스템 부하에 따라 변하는 확률) 모델을 확장하는 것이 유망하다. 또한 SCU 외의 다른 잠금‑프리 패턴(예: 로킹‑프리 리스트, 힙)에도 마코프 체인 리프팅 기법을 적용해 일반화된 진행 보장 프레임워크를 구축할 수 있다. 마지막으로, 실시간 시스템에서의 우선순위 역전 문제와 결합해, 확률적 스케줄러가 제공하는 기대 지연을 보장 수준(예: 99.9% 백분위)으로 변환하는 방법론도 필요하다.

**