IEEE 802.11 방송 전송의 버퍼링 기반 마코프 분석

초록

본 논문은 IEEE 802.11 프로토콜의 방송 모드에서 무한 버퍼를 갖는 노드들의 백오프 메커니즘을 2차원 이산 마코프 체인으로 모델링하고, 두 가지 운영 모드(그리디와 공정)에서 시스템의 안정성(ergodicity) 조건과 최대 처리량을 수식적으로 도출한다.

상세 분석

논문은 먼저 IEEE 802.11의 기본 백오프 절차를 재현한다. 시간은 패킷 전송 슬롯(T)과 미니‑슬롯(σ)으로 구분되며, 각각이 확률 r(전송 슬롯)와 1‑r(미니‑슬롯)로 발생한다. 각 노드는 (K,N)이라는 상태벡터로 표현되는데, K는 현재 백오프 카운터, N은 버퍼에 대기 중인 패킷 수이다. 도착 프로세스는 포아송(λ)이며, 버퍼 용량은 무한으로 가정한다. 이때 시스템은 두 차원의 마코프 사슬로 기술되며, 전이 확률은 (3.3)·(3.4)식에 정리된다. 특히 K=0일 때는 즉시 전송이 이루어지므로 “그리디” 모드가 정의되고, 전송 성공 시 새로운 백오프 값이 균등하게 선택된다.

정상 상태 분석을 위해 생성함수 F_k(x)=∑{n≥0}p(k,n)x^n을 도입한다. Kolmogorov 방정식을 x‑변환하면 선형 연립식(3.8)‑(3.9)이 얻어지고, 이를 재귀적으로 풀어 F_k(x)와 F_0(x)의 명시적 형태(3.11)‑(3.14)를 구한다. 정상화 조건 ∑{k,n}p(k,n)=1을 적용하면 공핍 상태 확률 p(0,0)에 대한 식(3.15)‑(3.16)이 도출된다. 여기서 A와 B는 시스템 파라미터(T,σ,W,r)로 정의된 복합 상수이다.

안정성(ergodicity) 여부는 F_0(x)의 단위 원판 D 내 해석성에 달려 있다. R(x)라는 분모 다항식의 근을 조사하면, x=1을 제외하고는 |x|<1 안에 근이 존재하지 않을 경우에만 시스템이 안정하다고 판단한다. 이를 Rouché 정리를 이용해 증명하고, 최종적으로 R_0(1)=λB−1<0, 즉

λ < 1 /