[论文解读] 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

一句话总结

该论文在 Halfin-Whitt 阶段下，为 GI/GI/n 队列的稳态延迟概率（s.s.p.d.）和空闲服务器的尾部行为建立了精确的界限。通过新颖的随机比较界限，证明了当 $ B \to \infty $ 时，s.s.p.d. 呈指数衰减，而当 $ B \to 0 $ 时，呈线性衰减，且推导出的显式常数由到达和服 务时间分布的前三阶矩决定。

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.

研究动机与目标

• 在一般处理时间分布下，为 Halfin-Whitt 阶段下的 GI/GI/n 队列建立非渐近、显式的稳态延迟概率（s.s.p.d.）界限。
• 刻画稳态空闲服务器数量的罕见事件行为，表明其尾部呈现高斯衰减。
• 提出一类新型结构化随机比较界限，推广先前工作，适用于所有 $ n $ 和 $ t $，而不仅限于队列长度超过服务器数量的情形。
• 以到达和服 务时间分布的前三阶矩为参数，提供显式定量界限，支持实际应用与缩放分析。
• 填补了对一般处理时间分布下 s.s.p.d. 和空闲服务器尾部概率定性缩放行为理解的关键空白，超越指数或相型分布的特殊情况。

提出的方法

• 推导了 FCFS GI/GI/n 队列的新随机比较界限，具有结构性，适用于所有 $ n $ 和 $ t $，并推广了 Gamarnik 和 Goldberg 的先前结果。
• 利用 Slepian 不等式和高斯过程的性质，将排队过程与具有已知协方差结构的受控高斯过程进行比较。
• 应用更新理论和基于矩的界限，控制底层高斯过程近似中的方差和相关性结构。
• 通过受控扩散过程 $ {f D}(t) $（其方差函数为 $ f(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 在 Halfin-Whitt 阶段下，对于一般分布的处理时间，GI/GI/n 队列的稳态延迟概率如何随超额参数 $ B \to \infty $ 变化？
• RQ2 当 $ B \to \infty $ 时，稳态空闲服务器数量的尾部概率的渐近行为如何？其是否表现出高斯衰减？
• RQ3 能否为 s.s.p.d. 推导出显式、基于矩的界限，且适用于所有 $ n $，而不仅限于 $ n \to \infty $ 的渐近情形？
• RQ4 s.s.p.d. 和空闲服务器尾部概率的定性缩放行为与已知特殊情况（如指数分布、确定性或 $ H^*_2 $ 处理时间）下的结果相比如何？
• RQ5 所提出的随机比较框架是否可用于推导与标准无限服务器或损失模型近似相反方向的界限？

主要发现

• 当 $ B \to \infty $ 时，稳态延迟概率的上界为 $ \exp(-\epsilon_1 B^2) $，其中 $ \epsilon_1 > 0 $ 依赖于到达和服 务时间分布的前三阶矩。
• 当 $ B \to 0 $ 时，s.s.p.d. 的上界为 $ 1 - \epsilon_2 B $，其中 $ \epsilon_2 > 0 $ 同样依赖于前三阶矩。
• 稳态空闲服务器数量的尾部以高斯尾部形式衰减，即 $ \mathbb{P}(\text{空闲服务器} > xn^{1/2}) \to 0 $，具有高斯衰减速率。
• 推导出的界限是显式的，且仅依赖于到达和服 务时间分布的前三阶矩，支持实际计算与缩放分析。
• 随机比较界限具有结构上的普遍性，适用于所有 $ n $ 和 $ t $，显著扩展了先前仅限于队列长度超过服务器数量情形的研究。
• 结果正确捕捉了特殊情况（如指数分布、确定性、$ H^*_2 $）下的已知定性缩放行为，验证了该框架的一致性与鲁棒性。