[論文レビュー] Load balancing system under Join the Shortest Queue: Many-Server-Heavy-Traffic Asymptotics

Daniela Hurtado-Lange, Siva Theja Maguluri|arXiv (Cornell University)|Apr 9, 2020

Advanced Queuing Theory Analysis参考文献 17被引用数 6

ひとこと要約

本稿は、$N^{1-\beta}$ のスケーリングを伴う多数サーバーの重交通状態におけるジョイン・ザ・ショーテスト・キュー（JSQ）負荷分散システムを分析する。$\alpha > 4$ の場合、正規化された平均キュー長は指数分布に収束し、ラプラス変換およびシュタインの手法を用いて状態空間の崩壊（SSC）を証明し、 Wasserstein距離における明示的な収束速度を示している。

ABSTRACT

We study the load balancing system operating under Join the Shortest Queue (JSQ) in the many-server heavy-traffic regime. If $N$ is the number of servers, we let the difference between the total service rate and the total arrival rate be $N^{1-α}$ with $α>0$. We show that for $α>4$ the average queue length behaves similarly to the classical heavy-traffic regime. Specifically, we prove that the distribution of the average queue length multiplied by $N^{1-α}$ converges to an exponential random variable. Moreover, we show a result analogous to state space collapse. We provide two proofs for our result: one using the one-sided Laplace transform, and one using Stein's method. We additionally obtain the rate of convergence in the Wasserstein's distance.

研究の動機と目的

• 多くのサーバーが存在する重交通状態におけるジョイン・ザ・ショーテスト・キュー（JSQ）ポリシーに従う負荷分散システムの定常的挙動を研究すること。
• システムが容量に近い状態で動作する際、サービスと到着の合計レートの差が $N^{1-\beta}$ に比例する場合の平均キュー長の漸近的分布を特定すること。
• 極限において状態空間の崩壊（SSC）を確立し、システムが1次元プロセスに類似した挙動を示すことを示すこと。
• 正規化されたキュー長の指数分布への収束を、片側ラプラス変換とシュタインの手法の2つの異なるアプローチで証明すること。
• 極限分布への収束速度を Wasserstein 距離の観点から定量すること。

提案手法

• システムを $N$ 個のサーバーを持つ並列サーバーのキューイングネットワークとしてモデル化し、到着は JSQ ポリシーに従って最短キューにルーティングされる。
• 多数サーバーの重交通状態を捉えるために、サービスと到着の合計レートの差を $N^{1-\beta}$ にスケーリングする。ここで $\beta > 0$ である。
• 片側ラプラス変換を用いて、正規化された平均キュー長のモーメント生成関数を分析し、指数分布への収束を導出する。
• シュタインの手法を適用して、分布収束が指数確率変数に収束することを証明し、非漸近的な収束速度を提供する。
• ドリフト法およびリャプノフのドリフトに関する議論を用いて、状態空間の崩壊を確立し、システムの状態が1次元部分空間に集中することを示す。
• ホルダーの不等式およびモーメントの上限を用いて、正規化されたキュー長と極限の指数分布との間の Wasserstein 距離の上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 JSQ に従う多数サーバーの重交通状態において、システムが不安定に近い場合、平均キュー長の極限分布は何か？
• RQ2 パrameter $\alpha$ が変化する際、特に $\alpha > 4$ の場合、システムの挙動はどのように変化するか？
• RQ3 この状態で状態空間の崩壊を厳密に確立できるか？また、システムの次元性にどのような影響を与えるか？
• RQ4 正規化されたキュー長が指数分布の極限に収束する速度は何か？そして、どのように定量できるか？
• RQ5 変換に基づく手法とシュタインの手法の両方を用いて同じ極限を証明できるか？それぞれの手法の利点は何か？

主な発見

• $\alpha > 4$ の場合、$N^{1-\beta}$ でスケーリングされた正規化された平均キュー長の分布は、分布収束で指数確率変数に収束する。
• 本稿では、状態空間の崩壊に類似した結果を確立し、極限においてシステムの状態が1次元部分空間に集中することを示している。
• 2つの異なる証明が提供されている：片側ラプラス変換を用いた証明とシュタインの手法を用いた証明であり、両者とも指数分布への収束を確認している。
• Wasserstein 距離における収束速度が定量的に示されており、$p$ が 1 に近い場合、誤差は $O(N^{4-2\alpha + (1-\alpha)/p})$ に比例し、$\alpha > 4$ のとき $o(N^{1-2\alpha})$ に漸近的に小さくなる。
• 解析により、古典的な重交通挙動は $\alpha > 4$ のときのみ現れることを確認しており、システム挙動に段階的転移が存在することを示している。
• 内積 $\mathbb{E}[\langle \overline{\mathbf{q}}_{\parallel}, \overline{\mathbf{u}}_{\parallel} \rangle]$ の上限は、ホルダーの不等式およびモーメントの上限を用いて導出されており、誤差項を最小化するために最適な $r$ として $r = \lceil \alpha - 1 \rceil \lceil \log N \rceil$ が選ばれている。