[논문 리뷰] 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)|2013. 06. 30.

Advanced Queuing Theory Analysis참고 문헌 56인용 수 8

한 줄 요약

이 논문은 하프린-유크스 체제 하에서 일반적으로 분포된 처리 시간을 가진 GI/GI/n 대기열에서 정적 상태 지연 확률(s.s.p.d.)과 유휴 서버의 尾행동에 대한 날카로운 경계를 설정한다. 새로운 확률적 비교 경계를 사용하여, s.s.p.d.가 $ B \to \infty $일 때 지수적으로 감소하고 $ 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.

연구 동기 및 목표

• 반응 시간이 일반적으로 분포된 처리 시간을 가진 하프린-유크스 체제 하에서 GI/GI/n 대기열의 정적 상태 지연 확률(s.s.p.d.)에 대한 비점근적이고 명시적인 경계를 설정하는 것.
• 유휴 서버 수의 정적 상태 확률 꼬리의 대편이행 거동을 기술하여 꼬리가 가우시안 감소를 보임을 보이는 것.
• 기존 연구를 일반화하고 모든 $ n $과 $ t $에 대해 적용 가능한 새로운 유형의 구조적 확률적 비교 경계를 개발하는 것. 이는 큐 길이가 서버 수를 초과할 때만 적용되던 기존 연구를 넘어서는 것이다.
• 실제 적용과 스케일링 분석이 가능한, 도착 간격과 서비스 시간 분포의 첫 세 모멘트에 기반한 명시적인 정량적 경계를 제공하는 것.
• 지수 또는 단계형 분포 외의 일반적인 처리 시간 분포에 대해 s.s.p.d.와 유휴 서버 꼬리 확률의 정성적 스케일링에 대한 이해의 핵심적 격차를 메우는 것.

제안 방법

• FCFS GI/GI/n 대기열에 대해 모든 $ n $과 $ t $에 대해 유효하고 기존 감소 결과를 일반화하는 새로운 구조적 확률적 비교 경계를 유도한다.
• 슬레피안 부등식과 가우시안 과정의 성질을 사용하여 대기열 과정을 알려진 공분산 구조를 가진 제어된 가우시안 과정과 비교한다.
• 재생 이론과 모멘트 기반 경계를 적용하여 기반 가우시안 과정 근사의 분산과 상관 구조를 제어한다.
• 분산 함수 $ f(t) $를 가진 제어된 확산 과정 $ {f 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 $에 대해 유효한, 모멘트 기반의 명시적 경계를 s.s.p.d.에 대해 도출할 수 있는가? 이는 $ n \to \infty $일 때 점근적으로만 유효한 기존 결과를 넘어서는 것이다.
• RQ4 특수 케이스(예: 지수 분포, 결정론적, 또는 $ H^*_2 $ 처리 시간)에서 알려진 결과와 비교해 볼 때, s.s.p.d.와 유휴 서버 꼬리 확률의 정성적 스케일링은 어떻게 다른가?
• 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 $)에서 알려진 정성적 스케일링을 정확히 반영하여, 프레임워크의 일관성과 강건성을 검증한다.