[논문 리뷰] Doubly Exponential Solution for Randomized Load Balancing Models with Markovian Arrival Processes and PH Service Times

Quan‐Lin Li, Lui, John C. S.|arXiv (Cornell University)|2010. 09. 25.

Advanced Queuing Theory Analysis참고 문헌 46인용 수 9

한 줄 요약

이 논문은 마코프 입력 과정(MAP)과 단계형(PH) 서비스 시간을 갖는 무작위로 균형 잡힌 로드 밸런싱 모델을 분석하기 위해 행렬 해석적 접근법을 개발하며, 고정점이 이중 지수 감쇠 구조를 띠는 것으로 보여준다. 리프시츠 조건 하에서 고정점으로의 지수 수렴을 확립하여, 비푸아송 및 비지수 조건 하에서도 워크로드 프로빙이 효과적으로 로드를 균형 잡는다는 것을 입증한다.

ABSTRACT

In this paper, we provide a novel matrix-analytic approach for studying doubly exponential solutions of randomized load balancing models (also known as supermarket models) with Markovian arrival processes (MAPs) and phase-type (PH) service times. We describe the supermarket model as a system of differential vector equations by means of density dependent jump Markov processes, and obtain a closed-form solution with a doubly exponential structure to the fixed point of the system of differential vector equations. Based on this, we show that the fixed point can be decomposed into the product of two factors inflecting arrival information and service information, and further find that the doubly exponential solution to the fixed point is not always unique for more general supermarket models. Furthermore, we analyze the exponential convergence of the current location of the supermarket model to its fixed point, and apply the Kurtz Theorem to study density dependent jump Markov process given in the supermarket model with MAPs and PH service times, which leads to the Lipschitz condition under which the fraction measure of the supermarket model weakly converges the system of differential vector equations. This paper gains a new understanding of how workload probing can help in load balancing jobs with non-Poisson arrivals and non-exponential service times.

연구 동기 및 목표

• 푸아송 도착과 지수 분포 서비스 시간을 초월하여 일반적인 MAP 및 PH 분포로 슈퍼마켓 모델의 분석을 확장하기.
• 푸아송 및 지수 분포가 아닌 조건 하에서도 대기열 길이 분포의 이중 지수 감쇠가 유지되는지 조사하기.
• 슈퍼마켓 모델의 분수 측도가 미분 벡터 방정식 시스템으로 약한 수렴하는 조건을 확립하기.
• 폭발성 또는 자기유사성 있는 트래픽과 일반적인 서비스 시간 분포를 갖는 시스템에서 워크로드 프로빙의 이론적 기반을 마련하기.
• MAP 및 PH 서비스 시간을 갖는 더 넓은 도착 및 서비스 시간 가정 하에서도 이중 지수 해 구조의 강건성 입증하기.

제안 방법

• MAP 도착과 PH 서비스 시간을 갖는 슈퍼마켓 시스템을 밀도에 따라 변화하는 점프 마코프 과정으로 모델링하기.
• 인구 수 n → ∞ 일 때의 극한 행동을 기술하는 미분 벡터 방정식 시스템 유도하기.
• 쿠르츠 정리를 적용하여 리프시츠 조건 하에서 분수 측도가 미분 방정식 시스템으로 약한 수렴함을 확립하기.
• 행렬 해석 기법을 사용하여 이중 지수 구조를 갖는 폐쇄형 고정점 해를 유도하기.
• 고정점을 도착 영향을 미치는 요소와 서비스 영향을 미치는 요소의 곱으로 분해하여 구조적 성질 드러내기.
• 드리프트 함수 F(y)의 리프시츠 연속성을 확립하여 고정점으로의 과정의 지수 수렴 보장하기.

실험 결과

연구 질문

• RQ1 푸아송 과정 대신 마코프 입력 과정(MAP)으로 모델링된 도착 조건 하에서도 대기열 길이 분포의 이중 지수 감쇠가 유지되는가?
• RQ2 단계형(PH) 서비스 시간을 갖는 슈퍼마켓 모델의 고정점이 일반적인 MAP 도착 조건 하에서도 여전히 이중 지수 해 구조를 보일 수 있는가?
• RQ3 슈퍼마켓 모델의 분수 측도가 어떤 조건에서 미분 벡터 방정식 시스템으로 약한 수렴하는가?
• RQ4 MAP와 PH 서비스 시간을 갖는 일반적인 슈퍼마켓 모델에서 고정점의 이중 지수 해는 일반적으로 유일한가?
• RQ5 비지수 및 비푸아송 조건 하에서 워크로드 프로빙 메커니즘이 로드 밸런싱 성능에 어떤 영향을 미치는가?

주요 결과

• MAP 도착과 PH 서비스 시간을 갖는 슈퍼마켓 모델의 고정점은 이중 지수 구조를 갖는 폐쇄형 해를 갖는다.
• 고정점은 도착 특성(MAP)을 반영하는 요소와 서비스 특성(PH)을 반영하는 요소의 곱으로 분해될 수 있다.
• 더 일반적인 슈퍼마켓 모델에서는 이중 지수 해가 항상 유일하지 않으며, 이는 시스템 파라미터에 대한 구조적 민감성을 시사한다.
• 드리프트 함수에 대한 리프시츠 조건 하에서 시스템의 현재 상태가 고정점으로의 지수 수렴이 보장된다.
• 유도된 리프시츠 조건 하에서 슈퍼마켓 모델의 분수 측도는 미분 벡터 방정식 시스템으로 약한 수렴하며, 플루이드 근사의 타당성을 검증한다.
• 초기 상태가 빈 시스템에서 태그된 고객의 기대 체류 시간은 d에 대한 이중 지수 항을 포함하는 식으로 위상으로 유계되며, 제안된 모델 하에서 성능 향상이 확인된다.