[論文レビュー] Steady-state $\mathit{GI}/\mathit{GI}/\mathit{n}$ queue in the Halfin-Whitt regime

David Gamarnik, David A. Goldberg|arXiv (Cornell University)|Mar 9, 2011

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

ひとこと要約

本稿は、Halfin-Whittスケーリング下におけるGI/GI/nキューの定常状態キュー長に対して、タイトネスおよび大偏差限界を確立する。ガウス過程の上限を用いた新しい構造的限界を用いて、最小限のモーメント条件のもとで、正規化された定常状態キュー長分布のタイトネスを証明し、大偏差指数に対して一致する上界および下界を導出。これにより、到着プロセスがポアソン過程の場合の一般サービス時間分布に対する予想が裏付けられる。

ABSTRACT

We consider the FCFS $\mathit{GI}/\mathit{GI}/n$ queue in the so-called Halfin-Whitt heavy traffic regime. We prove that under minor technical conditions the associated sequence of steady-state queue length distributions, normalized by $n^{1/2}$, is tight. We derive an upper bound on the large deviation exponent of the limiting steady-state queue length matching that conjectured by Gamarnik and Momcilovic [Adv. in Appl. Probab. 40 (2008) 548-577]. We also prove a matching lower bound when the arrival process is Poisson. Our main proof technique is the derivation of new and simple bounds for the FCFS $\mathit{GI}/\mathit{GI}/n$ queue. Our bounds are of a structural nature, hold for all $n$ and all times $t\geq0$, and have intuitive closed-form representations as the suprema of certain natural processes which converge weakly to Gaussian processes. We further illustrate the utility of this methodology by deriving the first nontrivial bounds for the weak limit process studied in [Ann. Appl. Probab. 19 (2009) 2211-2269].

研究の動機と目的

• Halfin-Whittスケーリング下におけるGI/GI/nキューの定常状態キュー長のタイトネスおよび大偏差指数に関する未解決問題に取り組む。
• GamarnikとMomcilovic（2008）が提起した、一般サービス時間分布下での定常状態キュー長の大偏差指数に関する予想を解消する。
• 完全なキューイングダイナミクスを分析することを避け、FCFS GI/GI/nキューに一般適用可能な新しい限界手法を構築する。
• Halfin-Whittスケーリング下での弱収束過程に対する、初めての非自明な限界を確立する。
• 自然過程がガウス過程に弱収束するという枠組みを用いて、多数のサーバーを持つキューイングシステムを統一的に分析するフレームワークを提供する。

提案手法

• すべてのnおよびすべてのt ≥ 0に対して、FCFS GI/GI/nキューの新しい構造的上界および下界を導出する。
• 収束が弱いガウス過程に近づくプロセスの上限として限界を表現し、漸近的解析を可能にする。
• モーメントの境界と条件付き推論を用いて、キュー長プロセスのr次のモーメントを制御し、独立性および再生過程の性質を活用する。
• 時間tに関する場合分け（t ≤ 2/n、t ∈ [2/n, 2]、t ≥ 2）を用いて、異なるスケールの状態を扱い、特化したモーメント推定および尾部境界を適用する。
• 正規化されたキュー長の均一なモーメント境界を用いてタイトネスを確立し、ntの多項式的成長であることを示す。
• 上界と下界の双対性を用いて、ポアソン到着の場合に一致する大偏差指数の境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 GI/GI/nキューがHalfin-Whittスケーリング下にあり、最小限のモーメント条件のもとで、正規化された定常状態キュー長分布の列（n^{1/2}で正規化）はタイトか？
• RQ2 GI/GI/nキューにおけるHalfin-Whittスケーリング下での極限定常状態キュー長の大偏差指数の正確な値は何か？
• RQ3 完全なキューイングダイナミクスを分析することを避け、FCFS GI/GI/nキューに一般適用可能な新しい限界手法を開発できるか？
• RQ4 サービス時間分布が一般の場合（有限サポートに限らない場合）に対しても、予想される大偏差指数 −2B(c_A^2 + c_S^2)^{-1} が成り立つか？
• RQ5 提案された限界を用いて、Halfin-Whittスケーリング下での弱収束過程の非自明な性質を導出できるか？

主な発見

• 到着時間およびサービス時間分布の2+ε次のモーメントが有限であるという最小限の技術的条件のもとで、正規化された定常状態キュー長分布の列はタイトである。
• 極限定常状態キュー長の大偏差指数に対する上界が導出され、GamarnikとMomcilovic（2008）の予想した指数 −2B(c_A^2 + c_S^2)^{-1} と一致する。
• 到着プロセスがポアソン過程の場合に、大偏差指数に対する一致する下界が証明され、この場合の予想された指数が裏付けられる。
• 提案された限界手法により、[Ann. Appl. Probab. 19 (2009) 2211–2269] で研究された弱収束過程に対する初めての非自明な限界が得られる。
• 限界は、ガウス過程に弱収束するプロセスの上限を用いて導出され、多数のサーバーを持つキューイングシステムを解析する一般的かつ直感的な枠組みを提供する。
• 正規化されたキュー長の均一なモーメント境界が確立され、r次のモーメントが(1 + (nt)^{r/2})の程度にしか増加しないことが示され、タイトネスおよび大偏差解析が可能になる。