[論文レビュー] Queue Length Behavior in a Switch under the MaxWeight Algorithm

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

Advanced Queuing Theory Analysis参考文献 16被引用数 11

ひとこと要約

この論文は、均一なベルヌーイ到着の下で、$n \times n$ スイッチにおけるMaxWeightスケジューリングアルゴリズムの下で、定常状態の重交通行動を、リャプノフドリフト技術を用いて分析し、重交通スケーリングされたキュー長が$\left(1 - \frac{1}{2n}\right)\|\sigma\|^{2}$ であることを確立した。これは、普遍的な下界に対して要因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が近似的に最適なスケーリングを維持することを確立すること。
• 長年の予想の1つのバージョン、すなわち重交通スイッチシステムにおけるMaxWeight性能に関する予想を検証すること。
• CRP条件を満たさない状況においても、一般の確率的到着下でのキュー長モーメントを特徴づけるために、リャプノフドリフト法を拡張すること。

提案手法

• 定常状態におけるドリフトをゼロに設定することで、定常状態キュー長モーメントの境界を導出するリャプノフ型ドリフト技術を適用する。
• CRPが成り立たない場合でも有効な、キュー長モーメントに基づく新しい形の状態空間崩壊を導入する。
• 複数時間スロットにわたる、巧みに構築されたリャプノフ関数とドリフト解析を用いて、多次元状態空間崩壊を扱う。
• 重交通スケーリング下でのドリフト条件を分析することで、期待されるキュー長合計の上界と下界を導出する。
• 重交通スケーリングされたキュー長が$\left(1 - \frac{1}{2n}\right)\|\sigma\|^{2}$ であることを確立する。ここで$\sigma$ は各ポートの到着の標準偏差のベクトルである。
• 負荷が$n$ に比例して増加する漸近的状態を考慮し、$\gamma_n n^{-\beta} \to 0$ の下で、MaxWeight下での$\Theta(n^{1+\beta})$ スケーリングを証明する。

実験結果

リサーチクエスチョン

• RQ1 均一なトラフィック下で、$n \times n$ スイッチにおけるMaxWeightアルゴリズムは、CRP条件を満たさないにもかかわらず、重交通下で最適なキュー長スケーリングを達成するか？
• 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}$ にスケーリングされ、これは最適値の要因2未満の範囲内にある。
• 漸近的状態下で負荷が$n$ に比例して増加する場合、MaxWeightは平均キュー長について$\Theta(n^{1+\beta})$ スケーリングを達成し、普遍的下界に定数倍の範囲で一致する。
• リャプノフドリフト法は、非CRP状態下の多次元状態空間崩壊下でもキュー長モーメントを特徴づけることに成功した。
• 期待キュー長合計の境界はタイトである：$\beta > 4$ の下で$\mathbb{E}\left[\sum_{ij}\overline{q}_{ij}^{(n)}\right] = \frac{n^{1+\beta}}{\gamma_n} \pm o(n^{1+\beta})$ が成り立ち、最適スケーリングを確認する。
• この結果は、長年の予想の1つのバージョンを確認し、MaxWeightが重交通スケーリングにおいてほぼ最適であることを示している。