[論文レビュー] Join the Shortest Queue with Many Servers. The Heavy Traffic Asymptotics

Patrick Eschenfeldt, David Gamarnik|arXiv (Cornell University)|Feb 3, 2015

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

ひとこと要約

本稿は、ハーフィン＝ウッズの重交通状態における大規模なキューイングシステムにおけるジョイン・ザ・ショーテスト・キュー（JSQ）ポリシーを分析する。マーティングル法と弱収束を用いて、スケーリングされた空きサーバー数および1人の待ち客を有するキューが、2次元の反射型オルンシュタイン＝ウーレンベック過程に弱収束することを示す。一方、より長いキューは固定時間内に消滅する。主な結果として、待ち時間は定数オーダーであるが、待つ顧客の割合は消失的であり、近似的に最適な効率性が保たれる。

ABSTRACT

We consider queueing systems with n parallel queues under a Join the Shortest Queue (JSQ) policy in the Halfin-Whitt heavy traffic regime. We use the martingale method to prove that a scaled process counting the number of idle servers and queues of length exactly 2 weakly converges to a two-dimensional reflected Ornstein-Uhlenbeck process, while processes counting longer queues converge to a deterministic system decaying to zero in constant time. This limiting system is comparable to that of the traditional Halfin-Whitt model, but there are key differences in the queueing behavior of the JSQ model. In particular, only a vanishing fraction of customers will have to wait, but those who do will incur a constant order waiting time.

研究の動機と目的

• ハーフィン＝ウッズの重交通状態における大規模な並列キューイングシステムにおけるジョイン・ザ・ショーテスト・キュー（JSQ）ポリシーの遷移的挙動を分析すること。
• サーバー数 $n$ が無限大に近づく際、空きサーバー数および正確に1人の待ち客を有するキューの極限的挙動を特定すること。
• JSQポリシー下で、長さ2以上のキューが初期に存在しても、固定時間内に0に減少することを示すこと。
• 特に遷移的状態における、集計的および1人あたりの待ち時間のスケーリングを特定すること。
• スケーリングされたシステムが一意の解を有する拡散過程に弱収束することを確立し、漸近的解析を可能にすること。

提案手法

• 著者らは、重交通下における $M/M/n$-JSQ システムのフロイドおよび拡散極限を分析するために、マーティングル法を用いる。
• キュー長が2より大きいものを禁止する $M/M/n$-JSQ システムの切断版を導入し、有限次元的解析を可能にする。
• 空きサーバー数およびキュー長1の数を数えるスケーリング過程の弱収束を、2次元の反射型オルンシュタイン＝ウーレンベック過程に示す。
• キュー長 ≥2 を数える過程は、固定時間内に0に収束する決定論的システムに収束することを示す。
• 固定点法を用いて、極限的確率積分方程式の存在および一意性を確立する。
• 証明は、$n \to \infty$ の際に切断バリアに到達する確率が消失することを利用しており、これにより、切断されたシステムと元のシステムが漸近的に同等であることが保証される。

実験結果

リサーチクエスチョン

• RQ1 ハーフィン＝ウッズ状態下で、JSQポリシーにおける空きサーバー数および1人の待ち客を有するキューの挙動はいかなるものか？
• RQ2 $n \to \infty$ のとき、$M/M/n$-JSQ システムにおける長さ2以上のキューの極限的挙動は何か？
• RQ3 JSQポリシー下での顧客の待ち時間の漸近的分布は何か？
• RQ4 集計待ち時間は $n$ に対してどのようにスケーリングされ、遷移的状態における1人あたりの待ち時間は何か？
• RQ5 $n$ 番目のシステムの定常分布は、極限の拡散過程の定常分布に収束するか？

主な発見

• スケーリングされた空きサーバー数およびキュー長1のキュー数は、2次元の反射型オルンシュタイン＝ウーレンベック過程に弱収束する。
• 長さ2以上のキューは固定時間内に0に減少し、再び出現することはない。
• 時間 $[0,t]$ における集計待ち時間は高確率で $O(\sqrt{n})$ であり、1人あたりの待ち時間は $O(1/\sqrt{n})$ であることを示唆する。
• 待ち時間を経験する顧客の割合は $O(1/\sqrt{n})$ であり、待つ顧客の割合は消失的である。
• 待つ顧客は、すでにサービスを受けている顧客のサービス時間のおかげで、定数オーダーの待ち時間を経験する。待ち時間はレート1の指数分布に従う。
• 極限系はハーフィン＝ウッズモデルに類似しているが、明確なキューイング挙動を示す：最小限の待ち時間損失だが、少数の顧客に非ゼロの待ち時間が生じる。