[논문 리뷰] Insensitivity of the mean-field Limit of Loss Systems Under Power-of-d Routing

Thirupathaiah Vasantam, Arpan Mukhopadhyay외 1명|arXiv (Cornell University)|2017. 08. 30.

Advanced Queuing Theory Analysis인용 수 6

한 줄 요약

이 논문은 일반적인 서비스 시간 분포를 가진 경우에도 Power-of-d 라우팅을 사용하는 대규모 다중 서버 손실 시스템에서 평균장 한계의 민감도 부족을 규명한다. 측도값 마코프 과정과 민감도 문제 접근법을 사용하여, 평균장 방정식이 유일한 고정점을 가지며 이는 지수 분포 서비스 시간의 경우와 동일함을 증명함으로써 일반적인 유한 평균 서비스 시간 분포에 대한 민감도 부족을 확인한다.

ABSTRACT

In this paper, we study large multi-server loss models under power-of-$d$ routing scheme when service time distributions are general with finite mean. Previous works have addressed the exponential service time case when the number of servers goes to infinity giving rise to a mean field model. The fixed point of limiting mean field equations (MFE) was shown to be insensitive to the service time distribution through simulation. Showing insensitivity to general service time distributions has remained an open problem. Obtaining the MFE in this case poses a challenge due to the resulting Markov description of the system being in positive orthant as opposed to a finite chain in the exponential case. In this paper, we first obtain the MFE and then show that the MFE has a unique fixed point that coincides with the fixed point in the exponential case thus establishing insensitivity. The approach is via a measure-valued Markov process representation and the martingale problem to establish the mean-field limit. The techniques can be applied to other queueing models.

연구 동기 및 목표

• Power-of-d 라우팅을 사용하는 손실 시스템에서 평균장 고정점이 일반적인 서비스 시간 분포에 대해 민감도가 없는지 여부라는 미해결 문제를 해결하는 것.
• 마코프성 구조가 없는 일반(비지수) 서비스 시간 분포를 가진 시스템에 대한 평균장 한계를 수립하는 것.
• 평균장 방정식의 고정점이 지수 분포의 경우와 동일함을 보여, 민감도 부족을 입증하는 것.
• 비마코프성 대기열 시스템을 평균장 영역에서 분석하기 위해 측도값 과정과 민감도 문제를 활용한 일반적인 프레임워크를 개발하는 것.

제안 방법

• 일반적인 서비스 시간의 단계형 표현을 통해 서버 상태를 나타내는 양의 부등식 영역 상의 측도값 마코프 과정으로 시스템을 모델링한다.
• 민감도 문제 공식화를 통해 N → ∞ 일 때 평균장 한계를 엄밀히 확립하여 유한-N 과정이 결정론적 상미분 방정식계로 약한 수렴함을 보장한다.
• 각 서버의 작업 수와 잔여 단계 수에 기반한 상태에 의존하는 전이율을 사용하여 평균장 방정식(MFE)을 정의한다.
• 생성자 구조와 수렴 추론을 이용하여 MFE의 해가 존재하고 유일함을 증명한다.
• 평형 방정식을 지수 분포의 경우와 비교하여 MFE의 고정점이 서비스 시간 분포에 영향을 받지 않음을 보여, 민감도 부족을 입증한다.
• 프로호로프의 정리와 에르고딕성을 활용하여 유한-N 정적 분포가 평균장 고정점으로 수렴함을 확립한다.

실험 결과

연구 질문

• RQ1 일반적인 서비스 시간 분포를 가질 경우에도 Power-of-d 라우팅을 사용하는 손실 시스템의 평균장 고정점이 지수 분포일 때와 동일하게 유지되는가?
• RQ2 측도값 과정을 사용하여 일반적인 서비스 시간 분포를 가진 비마코프성 시스템에 대해 평균장 한계를 엄밀히 확립할 수 있는가?
• RQ3 평균장 방정식의 고정점은 전역적으로 안정적이며 서비스 시간 분포에 민감도가 없는가?
• RQ4 평균장 한계에서 비마코프성, 양의 부등식 영역에 정의된 확산 과정을 분석하기 위해 필요한 수학적 기법은 무엇인가?

주요 결과

• 평균장 한계가 존재하며, 민감도 문제 접근법을 통해 유도된 상미분 방정식계로 유일하게 특징지어진다.
• 평균장 방정식의 고정점이 지수 분포 서비스 시간의 경우와 동일하여 서비스 시간 분포에 민감도가 없음을 입증한다.
• 유한 평균을 가진 일반적인 서비스 시간 분포 하에서도 유한-N 시스템이 평균장 한계로 수렴함을 입증한다.
• 다양한 초기 조건에서의 수치 시뮬레이션을 통해 고정점이 전역적으로 안정됨을 보여주었다.
• 측도값 과정과 민감도 문제를 통한 접근법은 다중 클래스 및 프로세서 공유 시스템을 포함한 다른 비마코프성 대기열 모델로 일반화 가능하다.