다중 접근 채널에서 동적 상호배제와 ε 배제의 가능성

초록

본 논문은 다중 접근 채널(MAC) 환경에서 전통적인 상호배제와 허용오차 ε를 두는 ε‑상호배제 문제를 비교한다. 채널 특성(CD/No‑CD, GC/No‑GC, KN/No‑KN)에 따라 전통적 상호배제가 불가능하거나 높은 비용이 소요되는 경우를 보이고, ε‑배제에서는 로그 수준의 기대 메이크스팬을 달성하는 알고리즘을 제시한다. 또한 공정성(노‑락아웃) 보장을 위한 변환 기법도 제안한다.

상세 분석

이 논문은 MAC 모델을 공유 메모리와 동일시할 수 없는 특수한 분산 환경으로 설정하고, 프로세스가 동기식 라운드에서 전송 혹은 청취만 수행할 수 있다는 제약을 도입한다. 채널 특성은 충돌 감지(CD) 여부, 전역 시계(GC) 접근 가능성, 전체 프로세스 수 n에 대한 사전 지식(KN) 여부로 구분된다. 이러한 3가지 이진 파라미터 조합은 8가지 모델을 만든다. 저자들은 특히 가장 제한적인 모델(no‑CD, no‑GC, no‑KN)에서 전통적인 상호배제는 확률적 알고리즘조차 불가능함을 증명한다. 이는 충돌이 발생해도 이를 식별할 수 없고, 프로세스가 언제 진입·퇴출을 시도하는지 외부에서 알 수 없기 때문에, 적어도 두 프로세스가 동시에 크리티컬 섹션에 들어가는 상황을 완전히 방지할 방법이 존재하지 않기 때문이다.

반면, ε‑상호배제(ε‑exclusion)라는 약한 형태를 도입하면, 크리티컬 섹션 동안 다른 프로세스가 동시에 존재할 확률을 ε 이하로 제한한다. 여기서 ε는 사용자가 지정할 수 있는 작은 양이며, Monte‑Carlo 알고리즘으로 허용된다. 저자들은 no‑CD 환경에서도 ε‑배제를 달성하기 위해 O(log n·log(1/ε)) 기대 메이크스팬을 갖는 알고리즘을 설계한다. 핵심 아이디어는 백오프 기반의 랜덤 전송 스케줄을 사용해 충돌 확률을 지수적으로 감소시키고, 일정 라운드 이후에 성공적인 전송을 보장함으로써 크리티컬 섹션 진입을 조정한다.

충돌 감지가 가능한 CD 모델에서는 상호배제의 하한이 Ω(log n)이며, 이는 기존 연구와 일치한다. 저자들은 이를 바탕으로 ε‑배제에 대해 O(log log n + log(1/ε)) 기대 메이크스팬을 달성하는 알고리즘을 제시하고, 노‑락아웃(no‑lockout) 속성을 추가하면 O(log n + log(1/ε))로 상승한다. 이는 전역 시계가 존재하고 프로세스 수 n을 알고 있는 경우에 한한다.

공정성 측면에서, 논문은 기존의 no‑deadlock 알고리즘을 변환해 모든 진입 요청이 결국 크리티컬 섹션에 도달하도록 하는 일반적인 변환 기법을 제시한다. 이 변환은 각 프로세스가 진입 시도 후 일정 시간 내에 재시도하도록 스케줄링함으로써, 무한 대기 현상을 방지한다. 또한, deterministic 알고리즘(