[논문 리뷰] Joint queue length distribution of multi-class, single server queues with preemptive priorities

Andrei Sleptchenko, Selen, Jori외 2명|TU/e Research Portal (Eindhoven University of Technology)|2014. 11. 12.

Advanced Queuing Theory Analysis인용 수 4

한 줄 요약

이 논문은 매트릭스 분석 기법을 활용한 정확한 재귀적 방법을 제시하여, N개의 고객 클래스와 우선순위를 가진 M/M/1 큐에서 평형 상태의 공동 대기열 길이 분포를 계산한다. 이 방법은 임베디드 M/G/1 유형의 마르코프 과정을 기반으로 하여 절단 또는 무한 급수를 피함으로써, 3개 클래스 시스템에서 5초 이내로 시스템 성능 지표(예: 예비 부품 가용성)를 신속하고 정확하게 계산할 수 있다.

ABSTRACT

In this paper we analyze an $M/M/1$ queueing system with an arbitrary number of customer classes, with class-dependent exponential service rates and preemptive priorities between classes. The queuing system can be described by a multi-dimensional Markov process, where the coordinates keep track of the number of customers of each class in the system. Based on matrix-analytic techniques and probabilistic arguments we develop a recursive method for the exact determination of the equilibrium joint queue length distribution. The method is applied to a spare parts logistics problem to illustrate the effect of setting repair priorities on the performance of the system. We conclude by briefly indicating how the method can be extended to an $M/M/1$ queueing system with non-preemptive priorities between customer classes.

연구 동기 및 목표

• 다중 클래스, 단일 서버 큐에서 우선순위 기반 스케줄링을 적용한 평형 상태의 공동 대기열 길이 분포를 정확하게 계산하는 방법을 개발한다.
• 기존의 다중 클래스 우선순위 큐에 대한 수치적 근사 오차를 줄이기 위해 절단 또는 무한 급수를 피한다.
• 수리 가능한 부품을 포함한 예비 부품 물류와 같은 실제 응용 분야에서 정확한 성능 평가를 가능하게 한다.
• 임베디드 마르코프 과정 프레임워크를 수정하여 비선점 우선순위 시스템으로 방법을 확장한다.
• 3개 클래스 예비 부품 수리 시스템에 대한 수치 실험을 통해 계산 효율성과 정확성을 입증한다.

제안 방법

• 이 방법은 상태 공간 N₀^N을 갖는 다차원 마르코프 과정으로 시스템을 모델링하여, 각 클래스의 대기열 길이를 추적한다.
• 더 높은 우선순위 고객이 존재하지 않는 수준에서 임베디드 마르코프 과정을 식별하며, 이는 M/G/1 유형이므로 첫 번째 통과 확률을 통해 재귀적 해법이 가능하다.
• 각 클래스 수준에서의 외출을 분석함으로써 전이 확률을 도출하는 1단계 분석을 사용하여 평형 확률을 재귀적으로 계산한다.
• 이 접근법은 저우선순위 고객이 시스템을 M/G/1 큐로 관찰하며, 고우선순위 서비스 중단 기간을 '휴가'로 간주한다는 사실을 활용한다.
• 비선점 시스템의 경우, 현재 서비스 중인 고객의 클래스를 상태 공간에 추가하고, 경계 확률의 재귀적 계산을 이를 고려하여 적응시킨다.
• 알고리즘은 자바로 구현되었으며, 정확성을 확보하면서도 계산 효율성을 유지하기 위해 확률 질량 절단 임계치 ε = 10⁻⁶를 사용한다.

실험 결과

연구 질문

• RQ1 N개의 선점 우선순위 클래스를 가진 M/M/1 큐에서 공동 대기열 길이 분포를 절단 또는 무한 급수 없이 정확하게 계산할 수 있는가?
• RQ2 매트릭스 분석 기법을 어떻게 재귀적으로 적용하여 우선순위 기반 상태 전이를 갖는 다차원 마르코프 과정의 평형 확률을 계산할 수 있는가?
• RQ3 다수의 수리 가능한 부품을 포함한 실제 예비 부품 물류 시나리오에서 제안된 방법의 계산 성능은 어떠한가?
• RQ4 공동 분포를 통해 다양한 우선순위 할당 및 베이스스톡 수준에서 정확한 시스템 가용성 분석이 가능할 수 있는가?
• RQ5 상태 기술과 임베디드 과정 구조를 수정함으로써 비선점 우선순위 시스템으로 방법을 확장할 수 있는가?

주요 결과

• 이 방법은 절단 또는 수치 근사 없이 재귀적 매트릭스 분석 기법을 사용하여 N-클래스 M/M/1 큐에서 선점 우선순위를 갖는 정확한 공동 대기열 길이 분포를 계산한다.
• 3개 클래스 예비 부품 수리 시스템에서 계산 시간은 하중 및 우선순위 할당에 따라 0.02에서 34.35초 사이로 변동하였으며, ε = 10⁻⁶로 인해 높은 정확도를 확보하였다.
• 다양한 우선순위 할당 조건 하에서 시스템 가용성이 정확히 계산되었고, 95% 활용률에서도 0.9994를 초과하는 값이 달성되었다.
• 고우선순위 부품을 먼저 수리하고 저우선순위 부품의 대기열을 최소화한 조건에서 최고의 가용성(0.9999)을 달성하였다.
• 다양한 활용률 수준과 우선순위 순위에서 뚜렷한 강건성을 보였으며, 평균 대기열 길이 및 베이스스톡 수준이 시스템 성능에 정확하게 반영되었다.
• 서비스 클래스를 상태 기술에 포함하고 경계 확률의 재귀 계산을 적응시킴으로써 비선점 시스템으로의 확장이 가능함을 입증하였다.