[논문 리뷰] MaxWeight Scheduling: Asymptotic Behavior of Unscaled Queue-Differentials in Heavy Traffic

Rahul Singh, Alexander Stolyar|arXiv (Cornell University)|2015. 02. 12.

Advanced Wireless Network Optimization참고 문헌 10인용 수 6

한 줄 요약

이 논문은 중량 최대 스케줄링(MaxWeight scheduling)을 일반화된 스위치 모델에서 고도의 교통 상황 하에서 분석하여, 스케일되지 않은 큐 차분 프로세스가 정적 상태에서 양의 재시작 가능한 마르코프 체인으로 수렴함을 증명한다. 이는 개별 플로우의 서비스 프로세스가 점차적으로 매끄럽다는 것을 의미하며, 심지어 용량에 가까운 상황에서도 큰 서비스 갭이 발생하지 않음을 보장한다.

ABSTRACT

The model is a "generalized switch", serving multiple traffic flows in discrete time. The switch uses MaxWeight algorithm to make a service decision (scheduling choice) at each time step, which determines the probability distribution of the amount of service that will be provided. We are primarily motivated by the following question: in the heavy traffic regime, when the switch load approaches critical level, will the service processes provided to each flow remain "smooth" (i.e., without large gaps in service)? Addressing this question reduces to the analysis of the asymptotic behavior of the unscaled queue-differential process in heavy traffic. We prove that the stationary regime of this process converges to that of a positive recurrent Markov chain, whose structure we explicitly describe. This in turn implies asymptotic "smoothness" of the service processes.

연구 동기 및 목표

• MaxWeight 스케줄링이 고도의 교통 상황에서 개별 플로우의 서비스 프로세스를 유지하는지, 큰 서비스 갭이 발생하지 않는지 조사한다.
• 고도의 교통 영역에서 스케일되지 않은 큐 차분 프로세스의 점근적 행동을 분석한다.
• 큐 차분 프로세스의 정적 분포가 양의 재시작 가능한 마르코프 체인의 분포로 수렴함을 확립한다.
• 이 수렴이 장기간의 서비스 갭이 없음을 의미함을 보여준다. 이는 시스템 부하가 용량에 가까워지는 경우에도 성립한다.
• 완전 자원 풀링(CRP)의 경우를 초월하여 다차원 정규 콘의 경계를 가진 일반적인 비율 영역으로 결과를 확장한다.

제안 방법

• 절대 연속성의 정적 분포를 보장하기 위해 이산 시간, 랜덤 서비스 결과 및 연속적인 도착 프로세스를 사용하는 일반화된 스위치 모델을 구성한다.
• 큐 차분 프로세스 $\bm{Y}^{(n)}(t)$를 임계 부하 점 $\bm{\lambda}^\star$에서의 정규 콘 $\bm{\nu}$에 수직인 부분공간 $\bm{\nu}_{\perp}$에 대한 가중 큐 길이의 투영으로 정의한다.
• 시스템 부하 $\lambda^{(n)} \to \lambda^\star$일 때, $\bm{Y}^{(n)}(\cdot)$의 정적 분포의 약한 수렴을 이용하여 한계 마르코프 프로세스 $\bm{Y}^\star(\cdot)$로의 수렴을 도출한다.
• 긴장성의 증명과 Numerin 분할 기법을 사용하여 한계 프로세스 $\bm{Y}^\star(\cdot)$의 양의 하라스 재시작성(positive Harris recurrence)을 증명한다.
• 공통 확률 공간 결합 하에서 누적 서비스 프로세스 $\bm{G}^{(n)}(T)$가 $\bm{G}^\star(T)$로 거의 확실히 수렴함을 확립한다.
• CRP를 초월한 일반화를 위해 $\bm{x}_{\perp,sp}$를 도입한다. 이는 $\bm{\nu}_{\perp}$에 대한 수직 투영이며, 결정 일致성 보장을 위해 $h(\bm{Q}^{(n)}(\infty)) \to \infty$ in probability 를 증명한다.

실험 결과

연구 질문

• RQ1 MaxWeight 스케줄링은 고도의 교통 상황에서 개별 플로우의 서비스 프로세스를 유지하며 큰 갭 없이 작동하는가?
• RQ2 시스템 부하가 용량에 가까워질 때, 스케일되지 않은 큐 차분 프로세스 $\bm{Y}^{(n)}$의 점근적 행동은 어떠한가?
• RQ3 큐 차분 프로세스의 정적 분포가 고도의 교통 한계에서 양의 재시작 가능한 마르코프 체인의 분포로 수렴하는가?
• RQ4 정규 콘의 차원이 1인 완전 자원 풀링(CRP)의 경우를 초월하여 분석은 어떻게 일반화되는가?
• RQ5 한계 서비스 프로세스 $\bm{G}^\star(T)$가 임의로 긴 간격 동안 정지해 있을 확률이 0임을 보일 수 있는가?

주요 결과

• 스케일되지 않은 큐 차분 프로세스 $\bm{Y}^{(n)}$의 정적 분포는 고도의 교통 한계에서 양의 재시작 가능한 마르코프 체인 $\bm{Y}^\star(\cdot)$의 분포로 약한 수렴을 보인다.
• 한계 프로세스 $\bm{Y}^\star(\cdot)$는 양의 하라스 재시작 가능하며, 이는 에르고딕성과 유일한 정적 분포 존재를 보장한다.
• $\bm{Y}^\star(\cdot)$에 대응하는 누적 서비스 프로세스 $\bm{G}^\star(T)$는 $\max_i \lim_{T\to\infty} P(G^\star_i(T) = 0) = 0$ 를 만족하여 점근적 매끄러움을 증명한다.
• 공통 확률 공간 결합 하에서 $\bm{G}^{(n)}(T) \to \bm{G}^\star(T)$ 가 거의 확실히 성립한다.
• CRP가 아닌 경우로의 일반화를 위해 $\bm{x}_{\perp,sp}$를 사용하고, $h(\bm{Q}^{(n)}(\infty)) \to \infty$ in probability 를 증명함으로써 결정이 임계 면 $\bm{V}^\star$ 내에 유지됨을 보장한다.
• 핵심 기술적 단계는 [3]의 주장의 일반화된 버전을 사용하여 정적 분포의 긴장성(tightness)을 증명하는 것으로, 다차원 정규 콘으로 확장된다.