[논문 리뷰] The supermarket model with arrival rate tending to one

Graham Brightwell, Malwina Luczak|arXiv (Cornell University)|2012. 01. 26.

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

한 줄 요약

이 논문은 도착률 λ(n) → 1 이고 선택 수 d(n) → ∞ 이며 n → ∞ 일 때의 슈퍼마켓 모델을 분석한다. 적절한 조건 하에서 시스템은 최대 대기열 길이 k = ⌈log(1−λ)⁻¹ / log d⌉ 에서 평형에 도달하며, 양호한 초기 상태에서의 혼합 시간은 O(kd^{k−1}n log n) 이다. 이는 거의 최적이다.

ABSTRACT

In the supermarket model, there are $n$ queues, each with a single server. Customers arrive in a Poisson process with arrival rate $λn$, where $λ= λ(n) \in (0,1)$. Upon arrival, a customer selects $d=d(n)$ servers uniformly at random, and joins the queue of a least-loaded server amongst those chosen. Service times are independent exponentially distributed random variables with mean~1. In this paper, we analyse the behaviour of the supermarket model in a regime where $λ(n)$ tends to~1, and $d(n)$ tends to infinity, as $n o \infty$. For suitable triples $(n,d,λ)$, we identify a subset ${\cal N}$ of the state space where the process remains for a long time in equilibrium. We further show that the process is rapidly mixing when started in ${\cal N}$, and give bounds on the speed of mixing for more general initial conditions.

연구 동기 및 목표

• n → ∞ 일 때 도착률 λ(n) → 1 이고 선택 수 d(n) → ∞ 이며 이러한 조건에서 슈퍼마켓 모델의 평형 행동을 이해하는 것.
• 이러한 점점 증가하는 조건 하에서 장기간 평형 상태를 유지하는 상태 공간의 부분집합 𝒩 를 규명하는 것.
• 초기 상태 𝒩 에서 시작할 경우 마코프 체인의 빠른 혼합을 확립하고 일반적인 초기 조건에서의 혼합 시간을 경계하는 것.
• 평형 상태에서 최대 대기열 길이가 k = ⌈log(1−λ)⁻¹ / log d⌉ 에 대해 엄밀히 농도가 높게 집중되어 있음을 보여, 거의 완벽한 로드 밸런싱을 나타내는 것.
• 혼합 시간 경계 O(kd^{k−1}n log n) 가 본질적으로 최적임을 증명하는 것. 이는 유리한 초기 상태 조건 하에서도 개선될 수 없다는 뜻이다.

제안 방법

• n개의 대기열, 도착률 λn, 각 고객이 d개의 선택지를 가진 이산 시간 슈퍼마켓 모델을 분석한다.
• 유체 근사 접근법을 사용하여 근사 미분방정식의 수열을 고려하지만, 주된 초점은 유체 근사의 타당성보다는 평형 및 혼합 성질에 있다.
• 평형 상태에서 길이가 최소 k 이상인 대기열의 수가 평형 값 주위에 엄밀히 농도가 높게 집중되어 있는 양호한 상태 집합 𝒩^ε 를 정의한다.
• 서로 다른 상태에서 시작하는 두 과정을 비교하기 위해 커플링 기법을 적용하여, 그들의 대기열 길이 벡터 간의 기대 L1 거리에 상한을 정한다.
• 집중 부등식과 드리프트 분석을 사용하여 긴 대기열 수 Q_k 의 기대 변화를 경계함으로써, 평형에서의 이탈 속도가 느리다는 것을 보여준다.
• 문헌 [5] 의 1-리프시츠 함수에 대한 결과를 활용하여 Q_k 의 尾 확률 경계를 유도함으로써 혼합 시간의 하한을 도출한다.

실험 결과

연구 질문

• RQ1 n → ∞ 일 때 λ(n) → 1 이고 d(n) → ∞ 이며 이러한 조건에서 슈퍼마켓 모델의 대기열 길이 분포는 어떻게 되는가?
• RQ2 이러한 점점 증가하는 조건 하에서 시스템은 얼마나 빨리 평형 상태에 도달하는가?
• RQ3 이러한 매개변수 설정 하에서 평형 상태에서의 최대 대기열 길이는 정확히 얼마인가?
• RQ4 혼합 시간 경계 O(kd^{k−1}n log n) 는 타이트한가, 아니면 향상시킬 수 있는가?
• RQ5 양호한 상태에서 평형에 가까운 초기 상태로 시작했을 때 시스템은 어떻게 행동하는가? 그리고 악성 초기 조건 하에서는 평형에서 얼마나 벗어지는가?

주요 결과

• 장기간의 시간 간격 동안 평형 상태에서 최대 대기열 길이는 k = ⌈log(1−λ)⁻¹ / log d⌉ 에 대해 고도로 농도가 높게 집중되어 있다.
• 평형 상태에서 대부분의 대기열 길이가 정확히 k 이며, 그 이하의 각 길이를 가진 대기열의 수는 정확하게 추정할 수 있다.
• 양호한 집합 𝒩^ε 에서의 초기 상태에서 혼합 시간은 최대 O(kd^{k−1}n log n) 이며, 이 경계는 거의 최적이다.
• 혼합 시간은 최소 Ω(n(λd)^{k−1}) 이며, 이는 상한 경계가 로그 인자 외에는 타이트함을 보여준다.
• 악성 초기 상태에서조차 혼합 시간은 O(kd^{k−1}n log n) 이며, 이 경계 역시 본질적으로 최적이다.
• 초기 상태 𝒩^ε 에서 시작할 경우 시스템은 빠른 혼합을 보이며, 총변화 거리가 O(kd^{k−1}n log n) 이후 지수적으로 감소한다.