[논문 리뷰] Simple and explicit bounds for multi-server queues with universal 1 / (1 - rho) scaling

David A. Goldberg, Yuan Li|arXiv (Cornell University)|2017. 06. 14.

Advanced Queuing Theory Analysis참고 문헌 57인용 수 6

한 줄 요약

이 논문은 교통 강도 ρ에 따라 1/(1−ρ)로 일관되게 스케일링되는 첫 번째 단순하고 명시적인 다중 서버 대기열(GI/GI/n)에 대한 경계를 수립한다. 이는 수십 년간 미해결된 문제를 해결한다. Gamarnik과 Goldberg의 스토하스틱 비교 경계를 분석함으로써, 도착 간격 및 서비스 시간 분포의 유한한 모멘트 수에 따라 종속되는 대기열 길이와 지연 확률의 꼬리 감쇠 속도를 도출한다.

ABSTRACT

We consider the FCFS GI/GI/n queue, and prove the first simple and explicit bounds that scale gracefully and universally as 1 / (1 - rho) (and better), with rho the corresponding traffic intensity. In particular, we prove the first multi-server analogue of Kingman's bound, which has been an open problem for over fifty years. Our main results are bounds for the tail of the steady-state queue length and the steady-state probability of delay, where the strength of our bounds (e.g. in the form of tail decay rate) is a function of how many moments of the inter-arrival and service distributions are assumed finite. Supposing that the inter-arrival and service times, distributed as random variables A and S, have finite rth moment for some r > 2, our bounds are simple and explicit functions of only the normalized rth moments of A and S, r, and 1 / (1 - rho). Our simple and explicit bounds scale gracefully even when the number of servers grows large and the traffic intensity converges to unity simultaneously, as in the Halfin-Whitt scaling regime. Our proofs proceed by explicitly analyzing the bounding process which arises in the stochastic comparison bounds of Gamarnik and Goldberg for multi-server queues. Along the way we derive several novel results for suprema of random walks with stationary increments and negative drift, pooled renewal processes, and various other quantities which may be of independent interest.

연구 동기 및 목표

• 교통 강도가 1에 가까워질 때 유연하게 스케일링되는 다중 서버 대기열에 대한 단순하고 명시적인 경계를 도출하는 데 오랜 기간 동안 미해결된 문제를 해결한다.
• 1962년 Kingman의 단일 서버 대기열에 대한 경계의 첫 번째 다중 서버 버전을 제공하며, 그 보편적인 1/(1−ρ) 스케일링을 다중 서버 시스템으로 확장한다.
• 도착 간격 및 서비스 시간 분포의 유한한 모멘트 수에 명시적으로 의존하는 정적 상태 대기열 길이의 꼬리 및 지연 확률에 대한 경계를 수립한다.
• 서버 수와 교통 강도가 동시에 증가하는 Halfin-Whitt 스케일링 영역에서도 경계가 유효하고 해석 가능하게 유지되도록 보장한다.
• 음의 기울기를 가진 정상 증분 랜덤 워크의 최댓값 및 통합된 재생 과정에 대한 새로운 분석 도구를 개발하며, 이는 주요 결과를 뒷받침하고 별도의 관심사가 될 수 있다.

제안 방법

• Gamarnik과 Goldberg의 스토하스틱 비교 경계를 활용하여 GI/GI/n 대기열의 경계 과정을 구성한다.
• 음의 기울기를 가진 정상 증분 랜덤 워크의 최댓값에 대한 모멘트 기반 경계를 사용하여 경계 과정의 꼬리 행동을 분석한다.
• r > 2인 경우 도착 간격 및 서비스 시간 분포의 정규화된 r차 모멘트에 기반한 꼬리 감쇠 속도에 대한 명시적 표현을 유도한다.
• 고부하 조건에서 경계 과정의 행동을 제어하기 위해 풀링 및 재생 과정 분해 기법을 사용한다.
• 집중도 및 모멘트 부등식을 적용하여 정적 상태 대기열 길이 및 지연의 꼬리 확률을 경계한다.
• 모든 경계가 오직 A와 S의 정규화된 r차 모멘트, r, 및 1/(1−ρ)에 대한 명시적 함수로 표현되어 직접 계산 및 해석이 가능하도록 보장한다.

실험 결과

연구 질문

• RQ1 다중 서버 대기열에 대해 1/(1−ρ)로 보편적으로 스케일링되는 명시적이고 단순한 경계를 도출할 수 있는가? 이는 단일 서버 시스템의 Kingman 경계를 모방한다.
• RQ2 정적 상태 대기열 길이의 꼬리 감쇠 속도는 도착 간격 및 서비스 시간 분포의 유한한 모멘트 수에 어떻게 의존하는가?
• RQ3 이러한 경계는 서버 수 n → ∞ 및 ρ → 1이 되는 Halfin-Whitt 영역에서도 유효하고 해석 가능하게 유지될 수 있는가?
• RQ4 음의 기울기를 가진 정상 증분 랜덤 워크의 최댓값에 대해 새로운 스토하스틱 경계를 유도할 수 있는가?
• RQ5 Gamarnik과 Goldberg의 프레임워크에서 유도된 경계 과정을 명시적으로 분석하여 정량적이고 해석 가능한 꼬리 경계를 도출할 수 있는가?

주요 결과

• 논문은 GI/GI/n 대기열에 대해 Kingman 경계의 첫 번째 다중 서버 버전을 수립하며, 1/(1−ρ)로 명시적이고 단순한 스케일링을 보인다.
• 도착 간격 및 서비스 시간 분포의 정규화된 r차 모멘트(r > 2)에 따라 대기열 길이 및 지연 확률의 꼬리 감쇠 속도가 명시적으로 표현된다.
• 서버 수가 증가하고 교통 강도가 1에 가까워지는 경우에도 경계는 유효하고 의미 있는 상태를 유지하며, Halfin-Whitt 영역을 포함하여 적용 가능하다.
• 경계의 강도(꼬리 감쇠 속도로 측정)는 도착 간격 및 서비스 시간 분포의 유한한 모멘트 수가 많을수록 향상된다.
• 음의 기울기를 가진 정상 증분 랜덤 워크의 최댓값에 대한 새로운 결과가 도출되었으며, 이는 주요 경계를 뒷받침하고 별도의 관심사가 될 수 있다.
• 모든 경계는 오직 A와 S의 정규화된 r차 모멘트, r, 및 1/(1−ρ)에 대한 단순하고 명시적인 함수로 표현되어 성능 분석 및 시스템 설계에 직접 활용 가능하다.