[論文レビュー] On the steady-state probability of delay and large negative deviations for the $GI/GI/n$ queue in the Halfin-Whitt regime

David A. Goldberg|arXiv (Cornell University)|Jun 30, 2013

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

ひとこと要約

本稿は、ハーフィン＝ウィットの設定下におけるGI/GI/nキューにおいて、遅延の定常確率（s.s.p.d.）および空きサーバーの尾部挙動について鋭い境界を確立する。新規の確率的比較境界を用いて、s.s.p.d. が $ B \to \infty $ のとき指数的に減少し、$ B \to 0 $ のとき線形的に減少することを証明し、その明示的な定数は到着間隔およびサービス時間分布の最初の3モーメントから導出される。

ABSTRACT

We consider the FCFS $GI/GI/n$ queue in the Halfin-Whitt heavy traffic regime, and prove bounds for the steady-state probability of delay (s.s.p.d.) for generally distributed processing times. We prove that there exist $ε_1, ε_2 > 0$, depending on the first three moments of the inter-arrival and processing time distributions, such that the s.s.p.d. is bounded from above by $\exp\big(-ε_1 B^2\big)$ as the associated excess parameter $B ightarrow \infty$; and by $1 - ε_2 B$ as $B ightarrow 0$. We also prove that the tail of the steady-state number of idle servers has a Gaussian decay. We provide explicit bounds in all cases, in terms of the first three moments of the inter-arrival and service distributions, and use known results to show that our bounds correctly capture various qualitative scalings. \\\indent Our main proof technique is the derivation of new stochastic comparison bounds for the FCFS $GI/GI/n$ queue, which are of a structural nature, hold for all $n$ and times $t$, and significantly generalize the work of \citet{GG.10c} (e.g. by providing bounds for the queue length to exceed any given level, as opposed to any given level strictly greater than the number of servers as acheived in \citet{GG.10c}). Our results do not follow from simple comparison arguments to e.g. infinite-server systems or loss models, which would in all cases provide bounds in the opposite direction.

研究の動機と目的

• GI/GI/nキューのハーフィン＝ウィット設定下で、一般に分布する処理時間を有する場合の定常遅延確率（s.s.p.d.）に対する非漸近的かつ明示的な境界を確立すること。
• 定常状態における空きサーバー数の極値挙動を特徴づけ、尾部がガウス分布的減少を示すことを示すこと。
• 従来の研究を一般化し、すべての $ n $ および $ t $ に対して有効な、構造的確率的比較境界の新規クラスを構築すること。
• 実用的応用およびスケーリング解析を可能にするために、到着間隔およびサービス時間分布の最初の3モーメントに基づく明示的な定量的境界を提供すること。
• 指数分布や位相型分布のケースを超えて、一般の処理時間分布に対するs.s.p.d.および空きサーバー尾部確率の定性的スケーリングに関する理解の空白を埋めること。

提案手法

• FCFS GI/GI/nキューに対する新しい確率的比較境界を導出し、すべての $ n $ および $ t $ に対して有効で、構造的であり、GamarnikとGoldbergの先行研究を一般化する。
• Slepianの不等式およびガウス過程の性質を用いて、キューイング過程を既知の共分散構造を持つ制御されたガウス過程と比較する。
• 再生理論およびモーメントに基づく境界を用いて、基礎となるガウス過程近似の分散および相関構造を制御する。
• 分散関数 $ f(t) $ を持つ制御された拡散過程 $ {\bf D}(t) $ を通じたカップリングを用いて、共分散 $ V[{f D}(s), {f D}(t)] $ を境界付ける。
• テイラー展開および指数的減少推定を用いて、積 $ (f(s)+3x)^{1/2}(f(t)+3x)^{1/2} \exp(-1.5(t-s)) $ を境界付けることで、分散項との比較を可能にする。
• 既知の極値結果（例：JanssenとVan Leeuwaarden）を用いたガウス的ランダムウォークの上界の漸近的解析を組み合わせ、尾部減少率を導出する。

実験結果

リサーチクエスチョン

• RQ1 ハーフィン＝ウィット設定下のGI/GI/nキューにおいて、一般に分布する処理時間を有する場合、過剰パラメータ $ B \to \infty $ のとき、定常遅延確率はどのようにスケーリングするか？
• RQ2 定常状態における空きサーバー数の尾部確率は $ B \to \infty $ のときどのように漸近的に振る舞い、ガウス的減少を示すか？
• RQ3 すべての $ n $ に対して有効であり、$ n \to \infty $ の漸近的状況に限らない、明示的かつモーメントに基づくs.s.p.d.の境界を導出可能か？
• RQ4 既知の特殊ケース（例：指数分布、決定的、$ H^*_2 $）における結果と比較して、s.s.p.d.および空きサーバー尾部確率の定性的スケーリングはどのように異なるか？
• RQ5 提案された確率的比較フレームワークを用いて、標準的な無限サーバーまたはロスモデル近似とは逆方向の境界を導出可能か？

主な発見

• 定常遅延確率は、$ B \to \infty $ のとき $ \exp(-\epsilon_1 B^2) $ で上界が与えられ、$ \epsilon_1 > 0 $ は到着間隔およびサービス時間分布の最初の3モーメントに依存する。
• $ B \to 0 $ のとき、s.s.p.d. は $ 1 - \epsilon_2 B $ で上界が与えられ、$ \epsilon_2 > 0 $ はやはり最初の3モーメントに依存する。
• 定常状態における空きサーバー数の尾部はガウス的尾部として減少する。すなわち、$ \mathbb{P}(\text{空きサーバー数} > xn^{1/2}) \to 0 $ がガウス的減少率で成り立つ。
• 導出された境界は明示的であり、到着間隔およびサービス時間分布の最初の3モーメントのみに依存するため、実用的計算およびスケーリング解析が可能である。
• 確率的比較境界は構造的に一般であり、すべての $ n $ および $ t $ に対して有効であり、従来の研究がサーバー数を超えるキュー長にのみ有効であったのを著しく拡張している。
• 結果は特殊ケース（例：指数分布、決定的、$ H^*_2 $）における既知の定性的スケーリングを正しく捉えており、フレームワークの整合性および頑健性を検証している。