마코프 기반 1 지속 CSMA CA와 지수 백오프 성능 분석

초록

본 논문은 1‑지속 CSMA/CA 프로토콜에 K‑지수 백오프 스케줄링을 적용한 마코프 모델을 제시한다. 각 노드의 입력 버퍼를 Geo/G/1 큐로 모델링하고, 헤드‑오브‑라인 패킷의 서비스 시간 분포를 스케줄링 알고리즘의 마코프 체인으로부터 도출한다. 이를 통해 네트워크 스루풋의 특성 방정식을 얻고, 재전송 계수에 따른 안정 스루풋 영역과 유한 지연 영역을 분석한다. 결과는 무한 인구에서도 지수 백오프가 안정 스루풋을 유지하지만, 캡처 효과로 인한 서비스 시간 분산 때문에 유한 지연 영역은 그보다 좁다는 것을 보여준다. 시뮬레이션으로 이론을 검증하였다.

상세 요약

이 연구는 무선 다중 접속 환경에서 가장 널리 사용되는 1‑지속 CSMA/CA 프로토콜의 성능을 정량적으로 평가하기 위해 두 단계의 수학적 모델링을 수행한다. 첫 번째 단계는 각 액세스 노드의 트래픽을 Geo/G/1 큐로 가정함으로써, 패킷 도착 과정을 기하분포(Geo)로, 서비스 과정을 일반적인 확률분포(G)로 표현한다. 여기서 핵심은 서비스 시간, 즉 헤드‑오브‑라인(HoL) 패킷이 성공적으로 전송될 때까지 겪는 백오프와 충돌 재시도 과정을 정확히 기술하는 것이다. 이를 위해 저자들은 K‑지수 백오프 스케줄링 알고리즘을 마코프 체인으로 모델링하였다. 상태 전이 행렬은 현재 백오프 단계와 충돌 여부에 따라 정의되며, 각 단계에서의 재전송 확률은 재전송 계수(ρ)와 백오프 윈도우 크기의 지수적 증가에 의해 결정된다.

마코프 체인으로부터 얻은 정규화된 상태 확률을 이용해 HoL 패킷의 서비스 시간 확률질량함수(PMF)를 유도한다. 이 PMF는 평균 서비스 시간뿐 아니라 그 분산까지 제공하므로, 큐잉 이론에 바로 적용할 수 있다. Geo/G/1 모델의 기본 식인 Pollaczek‑Khinchine 공식에 서비스 시간의 1차·2차 모멘트를 대입하면, 전체 네트워크의 평균 스루풋 S와 평균 지연 D를 각각 다음과 같이 표현한다.

• 스루풋 특성 방정식: S = λ·(1‑P_coll)·E