[논문 리뷰] Steady-state $\mathit{GI}/\mathit{GI}/\mathit{n}$ queue in the Halfin-Whitt regime

David Gamarnik, David A. Goldberg|arXiv (Cornell University)|2011. 03. 09.

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 대기열의 정상 상태 대기열 길이의 날카러짐과 큰 편차 지수에 대한 열린 문제를 다루다.
• 감아르닉과 모모실로비치(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 Halfin-Whitt 규제 하에서 GI/GI/n 대기열의 정상 상태 대기열 길이 분포 시퀀스가 n^{1/2}으로 정규화되었을 때, 최소한의 기술적 조건 하에서도 날카러한가?
• RQ2 Halfin-Whitt 스케일링 하에서 GI/GI/n 대기열의 한계 정상 상태 대기열 길이의 정확한 큰 편차 지수는 무엇인가?
• 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}) 수준 이하로 증가함을 보여, 날카러짐과 큰 편차 분석이 가능함을 시사한다.