[논문 리뷰] Supermarket Queueing System in the Heavy Traffic Regime. Short Queue Dynamics

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

Advanced Queuing Theory Analysis참고 문헌 10인용 수 14

한 줄 요약

이 논문은 도착률이 서비스 용량에 수렴하는 고밀도 상태에서 슈퍼마켓 대기열 모델을 분석한다. 큐 길이가 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)보다 훨씬 짧은 길이를 가진 큐의 정적 행동을 기술하는 것.
• 이러한 짧은 큐의 동역학이 고전적 고밀도 상태 이론에서처럼 확산 극한을 따르지 않고, 대신 결정론적 상미분방정식계로 수렴함을 입증하는 것.
• 무한차원 적분방정식계의 수렴을 통한 엄밀한 정당화를 제공하는 것.
• 제한 시스템의 고정점이 스케일링 후 큐 길이의 정적분포를 묘사할 수 있다며 추측하는 것.

제안 방법

• 고밀도 상태에서 일반적인 임계값 이하의 큐 행동을 분석하기 위해 큐 길이 과정을 스케일링하는 방법을 사용한다.
• 기능적 극한정리 적용을 통해 스케일링된 과정이 결정론적 무한차원 선형 상미분방정식계로 수렴함을 보여준다.
• 수렴 증명의 논리적 틀을 확보하기 위해 동역학을 제어하고 콤팩트성(타이트니스)을 확보하기 위해 중간 단계의 정지과정을 도입한다.
• 유체 극한에서 유도된 무한차원 비선형 적분방정식계의 해가 존재하고 유일함을 입증한다.
• 커플링 방법과 모멘트 경계를 활용하여 초기 조건 및 편향의 수렴을 보여주며, 이들이 0으로 수렴함을 증명한다.
• 결정론적 기준 과정과의 비교를 통해 짧은 큐에서의 큰 이탈 확률이 n→∞일 때 0으로 수렴함을 증명한다.

실험 결과

연구 질문

• RQ1 시스템이 고밀도 상태(λ_n → 1)에 있고 d가 고정되어 있을 때 슈퍼마켓 모델에서 큐 길이의 극한 행동은 무엇인가?
• RQ2 log_d(1/(1−λ_n))−O(1) 이하의 길이를 가진 큐는 고밀도 상태에서 확산 과정을 따르는가, 아니면 결정론적 시스템을 따르는가?
• RQ3 짧은 큐의 정적분포는 제한 무한차원 상미분방정식계의 고정점으로 묘사될 수 있는가?
• RQ4 짧은 큐의 동역학은 단일 서버 또는 대칭 시스템에서의 고전적 고밀도 상태 확산 극한과 어떻게 다를까?
• RQ5 수렴 속도를 제어하는 데서 파라미터 η_n의 역할은 무엇인가?

주요 결과

• log_d(1/(1−λ_n))−ω_n 이하의 길이를 가진 큐의 비율은 n→∞일 때 0으로 수렴하며, 이는 대부분의 큐가 이 임계값을 초과함을 확인한다.
• log_d(1/(1−λ_n))−O(1) 이하의 길이를 가진 큐의 동역학은 적절한 스케일링 하에 결정론적 무한차원 선형 상미분방정식계로 수렴한다.
• 제한 상미분방정식계의 유일한 고정점은 i≥1에 대해 π₁(d^i−1)/(d−1)로 명시적으로 주어지며, 이는 스케일링 후 정적분포를 묘사할 것으로 추측된다.
• λ_n → 1이 √n 이하의 속도로 수렴할 경우, 즉 λ_n = 1 − β/η_n 이고 η_n → ∞이면, 결정론적 시스템으로의 수렴이 성립한다.
• 비정상적인 하중과 d-선택 메커니즘으로 인해 시스템은 확산 과정으로 수렴하지 않으며, 이는 고전적 고밀도 상태 행동과 모순된다.
• 시간 t 이내에 짧은 큐 영역에서의 탈출 확률은 n→∞일 때 0으로 수렴하므로, 제한 상미분방정식술의 타당성이 보장된다.