버퍼드 알로하의 안정성 및 처리량: K‑지수 백오프 분석

본 논문은 슬롯형 알로하 네트워크에 무한 버퍼를 도입하고, 이를 다큐‑큐·단일 서버 모델로 재구성함으로써 기존의 무한‑노드·무버퍼 가정에서 발생하는 분석의 복잡성을 극복한다. 각 노드는 동일한 베르누이 도착률 λ를 갖는 Geo/G/1 큐로 모델링되며, HOL 패킷은 K‑지수 백오프 메커니즘에 따라 단계(i)마다 전송 확률 q^i 로 전송을 시도한다. 여기서 K는 백오프의 최대 단계이며, K=1이면 전통적인 기하 재전송, K=∞이면 무한 지수 백오프가 된다. 논문은 먼저 HOL 패킷의 단계 전이 마크오프 체인을 구성하고, 단계별 존재 확률 f_i 를 구한다. 이를 통해 각 큐의 제공 부하 ρ = λ / f_0 를 도출하고, 서비스 시간은 1/f_0 로 표현된다. 중요한 점은 전체 네트워크의 성공 확률 p 가 전체 도착률 ˆλ = nλ 에만 의존하고, 백오프 파라미터 q와 K에는 독립적이라는 정리(정리 1)를 증명한다. 이 정리는 p = exp(−ˆλ / p) 라는 고전적인 Lambert W 함수 방정식으로 변환되며, 두 개의 실근 p_L (안정적인)과 p_S (불안정적인) 그리고 백오프 파라미터에 따라 결정되는 비의도된 안정점 p_A 를 만든다. 다음으로, 시스템이 원하는 안정점 p_L 로 수렴하도록 보장하는 ‘절대 안정 영역’을 q에 대한 구간