[논문 리뷰] The Chaos of Propagation in a Retrial Supermarket Model

Quan‐Lin Li, Meng Wang외 2명|arXiv (Cornell University)|2011. 05. 22.

Advanced Queuing Theory Analysis참고 문헌 43인용 수 3

한 줄 요약

이 논문은 N개의 동일한 서버를 가진 재시도 슈퍼마켓 모델을 소개하며, 두 개의 탐색 서버 선택 수를 사용해 주요 도착 및 재시도 도착을 동적으로 라우팅하고, 연산자 족 이론을 통해 평균장 근사한 극한을 수립한다. 주요 기여는 M/M/1 재시도 꼬리 방정식을 일반화한 비선형 방정식계로, 고정점 계산을 통한 성능 분석과 도착률 및 재시도률 변화에 따른 대기열 길이 행동의 수치적 검증을 가능하게 한다.

ABSTRACT

When decomposing the total orbit into $N$ sub-orbits (or simply orbits) related to each of $N$ servers and through comparing the numbers of customers in these orbits, we introduce a retrial supermarket model of $N$ identical servers, where two probing-server choice numbers are respectively designed for dynamically allocating each primary arrival and each retrial arrival into these orbits when the chosen servers are all busy. Note that the designed purpose of the two choice numbers can effectively improve performance measures of this retrial supermarket model. This paper analyzes a simple and basic retrial supermarket model of N identical servers, that is, Poisson arrivals, exponential service and retrial times. To this end, we first provide a detailed probability computation to set up an infinite-dimensional system of differential equations (or mean-field equations) satisfied by the expected fraction vector. Then, as N goes to infinity, we apply the operator semigroup to obtaining the mean-field limit (or chaos of propagation) for the sequence of Markov processes which express the state of this retrial supermarket model. Specifically, some simple and basic conditions for the mean-field limit as well as for the Lipschitz condition are established through the first two moments of the queue length in any orbit. Finally, we show that the fixed point satisfies a system of nonlinear equations which is an interesting networking generalization of the tail equations given in the M/M/1 retrial queue, and also use the fixed point to give performance analysis of this retrial supermarket model through numerical computation.

연구 동기 및 목표

• 포아송 도착, 지수 분포 서비스 및 재시도 시간을 갖는 대규모 재시도 슈퍼마켓 시스템을 모델링한다.
• N → ∞ 일 때 시스템 상태를 기술하는 마르코프 과정의 수열에 대해 엄밀한 평균장 근사한 극한을 수립한다.
• 성능 평가를 위해 M/M/1 재시도 꼬리 방정식을 일반화한 비선형 방정식계를 유도하고 해를 구한다.
• 다양한 도착률과 재시도률 하에서 기대 대기열 길이를 수치 계산하여 모델을 검증한다.
• 재시도 대기열 네트워크 분석 분야에서 이전 연구가 제한적인 상황에서 평균장 방법의 효과성을 입증한다.

제안 방법

• 다섯 가지 모델링 케이스에 걸친 정확한 확률 계산 기반으로 무한차원 평균장 미분방정식계를 수립한다.
• 연산자 족 이론을 적용하여 평균장 근사한 극한의 존재성과 유일성을 증명하며, 극한에서의 혼돈 전파를 보장한다.
• 어느 궤도 내 대기열 길이의 일차 및 이차 모멘트를 사용해 리프시츠 조건을 수립하여 수렴을 보장한다.
• M/M/1 재시도 대기열의 꼬리 방정식을 일반화한 고정점 비선형 방정식계를 도출한다.
• 수치적 방법(예: MATLAB 포함)을 사용해 고정점 방정식을 풀어 성능 평가를 수행한다.
• 기대 정적 상태 고객 수를 높은 정밀도로 근사하기 위해 M=50에서 잘라내기를 적용한다. 이는 대기열 확률의 초지수적 감쇠 덕분이다.

실험 결과

연구 질문

• RQ1 두 선택 라우팅을 갖는 재시도 슈퍼마켓 모델은 어떻게 수립할 수 있으며, 이를 통해 부하 균형과 성능을 어떻게 향상시킬 수 있는가?
• RQ2 N개의 동일한 서버를 갖는 재시도 대기열 시스템에서 평균장 근사한 극한의 존재성과 유일성을 보장하는 조건은 무엇인가?
• RQ3 대기열 길이의 일차 및 이차 모멘트는 수렴을 위한 리프시츠 조건 수립에 어떻게 기여하는가?
• RQ4 고정점 방정식계는 M/M/1 재시도 대기열의 꼬리 방정식을 어떻게 일반화하는가?
• RQ5 다양한 도착률과 재시도률은 모델이 예측하는 시스템 내 기대 고객 수에 어떻게 영향을 미치는가?

주요 결과

• 연산자 족 이론과 대기열 길이의 일차 및 이차 모멘트로부터 유도된 리프시츠 조건을 사용해 평균장 근사한 극한이 엄밀히 수립되었다.
• 고정점은 M/M/1 재시도 대기열의 꼬리 방정식을 일반화한 비선형 방정식계를 만족하며, 성능 분석의 기초를 제공한다.
• 수치 결과에 따르면, 모든 d₁, d₂에 대해 포아송 도착률 λ 증가에 따라 E[Q]가 증가하지만, d₁ 및 d₂ 증가에 따라 급격히 감소한다.
• 재시도률 θ 증가에 따라 E[Q]가 크게 감소하며, 특히 d₁ 및 d₂ 값이 클수록 감소 폭이 더 크다.
• M=50에서의 잘라내기는 π_{I,k} 및 π_{W,k} 수열의 초지수적 감쇠 덕분에 E[Q]의 고정밀 근사치를 제공한다.
• 제안된 평균장 방법은 대규모 재시도 슈퍼마켓 모델에 효과적이고 적용 가능하며, 비포아송, 비지수 분포 및 더 복잡한 시스템으로의 확장 가능성도 있다.