[論文レビュー] Supermarket Queueing System in the Heavy Traffic Regime. Short Queue Dynamics

Patrick Eschenfeldt, David Gamarnik|arXiv (Cornell University)|Oct 11, 2016

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

ひとこと要約

この論文は、到着レートがサービス能力に近づく重交通状態におけるスーパーマーケットキューイングモデルを分析する。λ_n → 1 のとき、log_d(1/(1−λ_n))−O(1) より短いキューは、スケーリングの下で確率的でない無限次元線形常微分方程式系に従い、拡散的でないことが示され、固定点解 π₁(d^i−1)/(d−1) を示唆しており、重交通における短いキューの非拡散的・平均場的挙動を示している。

ABSTRACT

We consider a queueing system with $n$ parallel queues operating according to the so-called "supermarket model" in which arriving customers join the shortest of $d$ randomly selected queues. Assuming rate $nλ_{n}$ Poisson arrivals and rate $1$ exponentially distributed service times, we consider this model in the heavy traffic regime, described by $λ_{n}\uparrow 1$ as $n o\infty$. We give a simple expectation argument establishing that majority of queues have steady state length at least $\log_d(1-λ_{n})^{-1} - O(1)$ with probability approaching one as $n ightarrow\infty$, implying the same for the steady state delay of a typical customer. Our main result concerns the detailed behavior of queues with length smaller than $\log_d(1-λ_{n})^{-1}-O(1)$. Assuming $λ_{n}$ converges to $1$ at rate at most $\sqrt{n}$, we show that the dynamics of such queues does not follow a diffusion process, as is typical for queueing systems in heavy traffic, but is described instead by a deterministic infinite system of linear differential equations, after an appropriate rescaling. The unique fixed point solution of this system is shown explicitly to be of the form $π_{1}(d^{i}-1)/(d-1), i\ge 1$, which we conjecture describes the steady state behavior of the queue lengths after the same rescaling. Our result is obtained by combination of several technical ideas including establishing the existence and uniqueness of an associated infinite dimensional system of non-linear integral equations and adopting an appropriate stopped process as an intermediate step.

研究の動機と目的

• λ_n → 1 の重交通条件下におけるスーパーマーケットモデルの短いキューのダイナミクスを理解すること。
• 通常の閾値 log_d(1/(1−λ_n))−O(1) より著しく小さいキュー長の定常状態挙動を特徴づけること。
• このような短いキューのダイナミクスが、古典的重交通理論における拡散極限に従わないこと、代わりに決定論的常微分方程式系に収束することを確立すること。
• 無限次元積分方程式系のスケーリングと収束を用いた厳密な正当化を提供すること。
• 極限系の固定点が、スケーリング後のキュー長の定常分布を記述すると予想すること。

提案手法

• 重交通における通常の閾値以下のキューの挙動を分析するため、キュー長過程のスケーリングを用いる。
• 関数極限定理を適用し、スケーリングされた過程が決定論的無限次元線形ODE系に収束することを示す。
• 収束の議論においてタイトネスを確立するための中間的な停止過程を用いる。
• 流体極限から生じる無限次元非線形積分方程式系の解の存在および一意性を確立する。
• カップリングの議論とモーメントバウンドを用いて、初期条件および摂動のゼロへの収束を示す。
• 決定論的基準過程との比較議論を用いて、短いキューにおける大偏差の確率が n→∞ で消えることを証明する。

実験結果

リサーチクエスチョン

• RQ1 システムが重交通状態（λ_n → 1）にあり、d が固定されているとき、スーパーマーケットモデルにおけるキュー長の極限挙動は何か？
• RQ2 log_d(1/(1−λ_n))−O(1) より短いキューは、重交通領域において拡散過程に従うか、決定論的系に従うか？
• RQ3 短いキューの定常分布は、極限無限次元ODE系の固定点によって特徴づけられるか？
• RQ4 短いキューのダイナミクスは、単一サーバーまたは対称系における古典的重交通拡散極限とどのように異なるか？
• RQ5 パラメータ η_n は、システムが極限決定論的ダイナミクスに収束するレートを制御する役割を果たすか？

主な発見

• log_d(1/(1−λ_n))−ω_n 以下のキューの割合は n→∞ でゼロに近づく。これは、大多数のキューがこの閾値より長いことを確認する。
• log_d(1/(1−λ_n))−O(1) より短いキューのダイナミクスは、適切なスケーリングの下で決定論的無限次元線形ODE系に収束する。
• 極限ODE系の唯一の固定点は、i≥1 に対して π₁(d^i−1)/(d−1) として明示的に与えられ、これはスケーリング後の定常キュー長分布を記述すると予想されている。
• λ_n → 1 のレートが √n 以下、すなわち λ_n = 1 − β/η_n かつ η_n → ∞ の条件下で、決定論的系への収束が成立する。
• 非定常負荷およびポワーズ・オブ・ディー選択メカニズムのため、拡散過程への収束ではなく、古典的重交通挙動とは矛盾する。
• 時間 t までに短いキュー領域から脱出する確率は n→∞ で消えるため、極限ODE記述の有効性が保証される。