[논문 리뷰] Queue Length Behavior in a Switch under the MaxWeight Algorithm

Siva Theja Maguluri, R. Srikant|arXiv (Cornell University)|2015. 03. 19.

Advanced Queuing Theory Analysis참고 문헌 16인용 수 11

한 줄 요약

이 논문은 MaxWeight 스케줄링 알고리즘을 사용할 때 $n \times n$ 스위치에서의 합 큐 길이의 정상 상태 중 밀도가 높은 상황에서의 행동을 특성화한다. 리아푸노프 도약 기법을 사용하여, 고밀도 스케일링된 큐 길이가 $\left(1 - \frac{1}{2n}\right)\|\sigma\|^{2}$임을 입증하며, 이는 보편적 하한선에 대해 두 배 이내의 최적 스케일링을 달성한다. 균일한 베르누이 도착의 경우 결과는 $n - \frac{3}{2} + \frac{1}{2n}$이며, 이는 MaxWeight가 고밀도 상황에서 거의 최적임을 확인한다.

ABSTRACT

We consider a switch operating under the MaxWeight scheduling algorithm, under any traffic pattern such that all the ports are loaded. This system is interesting to study since the queue lengths exhibit a multi-dimensional state-space collapse in the heavy-traffic regime. We use a Lyapunov-type drift technique to characterize the heavy-traffic behavior of the expectation of the sum queue lengths in steady-state, under the assumption that all ports are saturated and all queues receive non-zero traffic. Under these conditions, we show that the heavy-traffic scaled queue length is given by $\left(1-\frac{1}{2n} ight)||σ||^2$, where $σ$ is the vector of the standard deviations of arrivals to each port in the heavy-traffic limit. In the special case of uniform Bernoulli arrivals, the corresponding formula is given by $\left(n-\frac{3}{2}+\frac{1}{2n} ight)$. The result shows that the heavy-traffic scaled queue length has optimal scaling with respect to $n,$ thus settling one version of an open conjecture; in fact, it is shown that the heavy-traffic queue length is at most within a factor of two from the optimal. We then consider certain asymptotic regimes where the load of the system scales simultaneously with the number of ports. We show that the MaxWeight algorithm has optimal queue length scaling behavior provided that the arrival rate approaches capacity sufficiently fast.

연구 동기 및 목표

• 균일한 트래픽 조건에서 스위치의 MaxWeight가 고밀도 상황에서 최적의 큐 길이 스케일링을 달성하는지 여부에 대한 열린 문제를 해결하기 위해.
• 완전 자원 공유(CRP) 조건이 위반될 경우, 즉 균일한 포화 상태에서 발생할 때 정상 상태의 합 큐 길이 행동을 분석하기 위해.
• 다차원 상태공간 붕괴 상황에서도 MaxWeight가 거의 최적의 스케일링을 유지함을 입증하기 위해.
• 오랫동안 제기되어 온 MaxWeight 성능에 관한 한 형태의 추측을 검증하기 위해.
• CRP 조건을 초월하여 일반적인 스토케스틱 도착 조건 하에서 큐 길이 모멘트를 특성화하기 위해 리아푸노프 도약 방법을 확장하기 위해.

제안 방법

• 균형 상태에서 도약을 0으로 설정함으로써 정상 상태 큐 길이 모멘트에 대한 경계를 도출하기 위해 리아푸노프 유형의 도약 기법을 적용한다.
• CRP가 성립하지 않더라도 유효한 큐 길이 모멘트로 표현된 새로운 형태의 상태공간 붕괴를 도입한다.
• 다중 시간 슬롯에 걸쳐 정교하게 구성된 리아푸노프 함수와 도약 분석을 사용하여 다차원 상태공간 붕괴를 다룬다.
• 고밀도 스케일링 하에서 도약 조건을 분석함으로써 기대 합 큐 길이에 대한 상한과 하한을 유도한다.
• 고밀도 스케일링된 큐 길이가 $\left(1 - \frac{1}{2n}\right)\|\sigma\|^{2}$임을 입증하며, 여기서 $\sigma$는 각 포트 도착의 표준편차 벡터이다.
• 부하가 $n$에 따라 증가하는 渐진적 영역을 고려하여, $\gamma_n n^{-\beta} \to 0$일 때 MaxWeight 하에서 $\Theta(n^{1+\beta})$ 스케일링이 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 균일한 트래픽 조건 하에서 CRP 조건을 위반함에도 불구하고, $n \times n$ 스위치에서 MaxWeight 알고리즘이 고밀도 상황에서 최적의 큐 길이 스케일링을 달성하는가?
• RQ2 리아푸노프 도약 방법은 다차원 상태공간 붕괴 조건 하에서도 정상 상태 큐 길이 모멘트를 특성화할 수 있는가?
• RQ3 균일한 베르누이 도착 조건 하에서 고밀도 상황에서 MaxWeight 알고리즘의 기대 합 큐 길이의 정상 상태에서의 정확한 渐진적 행동은 무엇인가?
• RQ4 MaxWeight 알고리즘의 성능은 渐진적 영역에서 큐 길이 스케일링의 보편적 하한선에 얼마나 가까운가?
• RQ5 시스템이 CRP 상태가 아닐 때도 MaxWeight의 정상 상태 평균 큐 길이는 최적 스케일링의 상수 배수 이내에 있는가?

주요 결과

• MaxWeight 하에서 고밀도 스케일링된 합 큐 길이는 $\left(1 - \frac{1}{2n}\right)\|\sigma\|^{2}$이며, 여기서 $\sigma$는 각 포트 도착의 표준편차 벡터이다.
• 균일한 베르누이 도착의 경우, 정상 상태 합 큐 길이는 $n - \frac{3}{2} + \frac{1}{2n}$로 스케일링되며, 이는 최적값에 대해 두 배 이내에 해당한다.
• MaxWeight는 부하가 $n$에 따라 증가하는 渐진적 영역에서 평균 큐 길이의 $\Theta(n^{1+\beta})$ 스케일링을 달성하며, 이는 보편적 하한선에 대해 상수 배수 이내로 일치한다.
• 리아푸노프 도약 방법은 비-CRP 조건 하에서도 다차원 상태공간 붕괴 조건 하에서 큐 길이 모멘트를 성공적으로 특성화한다.
• 기대 합 큐 길이에 대한 경계는 날카롭다: $\mathbb{E}\left[\sum_{ij}\overline{q}_{ij}^{(n)}\right] = \frac{n^{1+\beta}}{\gamma_n} \pm o(n^{1+\beta})$ for $\beta > 4$, 이는 최적 스케일링을 확인한다.
• 결과는 MaxWeight 성능에 관한 오랫동안 제기되어 온 추측의 한 형태를 확인하며, 이는 고밀도 스케일링에서 거의 최적임을 보여준다.