다중채널 무선망을 위한 저복잡도 그리디 스케줄링: 최적 처리량·근접 최적 지연 보장

초록

본 논문은 4G OFDM 기반 다중채널 다운링크에서 처리량 최적성과 지연 지표인 레이트‑함수의 근접 최적성을 동시에 만족하는 저복잡도 스케줄링 정책을 제안한다. 기존의 $O(n^{2.5}\log n)$ 복잡도를 갖는 하이브리드 정책을 대체할 수 있는 Delay‑based Server‑Side‑Greedy(D‑SSG) 알고리즘을 설계하고, 복잡도 $2n^{2}+2n$으로 낮추면서도 모든 채널·사용자 조합에 대해 처리량 최적성을 보장하고, 임계 지연 $b$에 대한 레이트‑함수가 최적 정책이 달성할 수 있는 $b-1$ 수준 이상임을 증명한다. 시뮬레이션을 통해 이론적 결과와 실제 성능이 일치함을 확인한다.

상세 분석

이 논문은 다중채널 무선 네트워크, 특히 4G OFDM 기반 단일 셀 다운링크를 모델링하여 스케줄링 문제를 수학적으로 정의한다. $n$개의 사용자와 $n$개의 서브캐리어(채널)를 가정하고, 각 시간 슬롯마다 채널 상태는 독립적인 ON/OFF(또는 전송 가능/불가능) 변수로 표현된다. 각 사용자 큐는 패킷 도착 과정을 갖으며, 패킷은 헤드‑오브‑라인(HOL) 지연을 기준으로 우선순위가 매겨진다. 논문은 두 가지 성능 지표를 중점적으로 다룬다. 첫째, 처리량 최적성은 시스템이 안정적인(즉, 모든 큐가 유한 평균 길이를 유지하는) 상태를 유지할 수 있는 도착률 집합, 즉 안정성 영역을 완전히 커버하는지를 의미한다. 둘째, 지연 최적성은 대규모 시스템에서 지연 초과 확률 $P(W>b)$가 지수적으로 감소하는 속도를 나타내는 레이트‑함수 $I(b)=\lim_{n\to\infty} -\frac1n\log P(W>b)$를 통해 평가한다. 기존 연구에서는 $O(n^{2.5}\log n)$ 복잡도를 갖는 하이브리드 정책이 두 목표를 모두 만족한다는 것을 보였지만, 실제 구현 시 상수 계수가 커서 실용성이 떨어졌다.

본 논문이 제안하는 **Delay‑based Server‑Side‑Greedy(D‑SSG)**는 서버(채널) 측면에서 그리디하게 동작한다. 각 슬롯에서 서버 $j$는 현재 서비스 가능한 큐 집합 $\mathcal{Q}_j$ 중 HOL 지연이 가장 큰 큐를 선택한다. 선택 과정에서 동일한 HOL 지연을 가진 큐가 여러 개이면 임의의 고정된 규칙(예: 인덱스 순)으로 타이 브레이크한다. 이 알고리즘은 $n$개의 서버가 각각 $n$개의 큐를 탐색하므로 연산량은 $2n^{2}+2n$, 즉 $O(n^{2})$이다.

처리량 최적성 증명은 Lyapunov 함수 $L(\mathbf{Q})=\sum_i Q_i^{2}$를 이용한 드리프트 분석을 기반으로 한다. D‑SSG는 매 슬롯마다 가능한 최대 서비스량을 확보하므로, 모든 도착률 벡터가 안정성 영역 내부에 있을 때 평균 드리프트가 음수가 됨을 보인다. 따라서 시스템은 안정성을 유지하고, 이는 기존 하이브리드 정책과 동일한 처리량 최적성을 의미한다.

지연 근접 최적성은 대규모 한계에서의 대편차 이론을 활용한다. 저자는 먼저 **Greedy‑FBS(Fluid‑Based‑Scheduler)**라는 가상의 정책을 정의하고, 이 정책이 임계값 $b-1$에 대해 달성할 수 있는 최적 레이트‑함수 $I^{}(b-1)$를 상한으로 갖는다는 것을 보인다. 그런 다음 D‑SSG가 모든 샘플 경로에서 Greedy‑FBS보다 “앞서” 서비스를 제공한다는 샘플 경로 우위를 증명한다. 즉, 같은 초기 상태와 동일한 도착·채널 과정에서 D‑SSG는 언제나 Greedy‑FBS가 서비스한 큐보다 적어도 같은 수의 패킷을 처리한다. 이 우위 관계를 이용해 $P_{\text{D‑SSG}}(W>b)\le P_{\text{Greedy‑FBS}}(W>b-1)$를 얻고, 따라서 $I_{\text{D‑SSG}}(b)\ge I^{}(b-1)$가 성립한다. 이는 “$b$에 대한 레이트‑함수가 $b-1$에 대한 최적값보다 작지 않다”는 의미로, 지연 성능이 한 단계만큼 차이 나는 근접 최적성을 의미한다.

마지막으로 시뮬레이션에서는 다양한 트래픽 패턴(정규, 베르누이, 변동성 높은 도착)과 채널 모델(독립적인 ON/OFF, 마코프 체인) 하에서 D‑SSG와 기존 하이브리드 정책, 그리고 이론적으로 지연 최적인 Max‑Weight‑Delay(또는 MWS) 정책을 비교한다. 결과는 평균 지연, 95% 지연 백분위수, 그리고 지연 초과 확률 측면에서 D‑SSG가 거의 구분되지 않을 정도로 우수함을 보여준다. 복잡도 측면에서도 실제 실행 시간은 $O(n^{2})$ 구현이 $O(n^{2.5}\log n)$ 구현보다 3~5배 빠른 것으로 보고된다.

요약하면, 이 논문은 **복잡도 $O(n^{2})$**라는 실용적인 수준에서 처리량 최적성과 레이트‑함수 기반 근접 지연 최적성을 동시에 달성하는 최초의 스케줄링 정책을 제시한다는 점에서 이론적·실제적 기여가 크다.