[논문 리뷰] A Single Server Retrial Queue with Different Types of Server Interruptions

Tewfik Kernane|ArXiv.org|2009. 02. 12.

Advanced Queuing Theory Analysis참고 문헌 15인용 수 4

한 줄 요약

이 논문은 고전적 재시도 정책 하에서 다중 간섭 유형—파괴적 간섭, 비파괴적 간섭, 공백 간섭—을 가진 단일 서버 재시도 큐를 분석한다. 생성 함수와 라플라스-스틸제스 변환을 사용하여 정적 상태의 공동 분포를 유도하며, 시스템 안정성 조건을 설정하고, 극한 확률 및 성능 지표에 대한 명시적 표현을 제공한다.

ABSTRACT

We consider a single server retrial queue with the server subject to interruptions and classical retrial policy for the access from the orbit to the server. We analyze the equilibrium distribution of the system and obtain the generating functions of the limiting distribution.

연구 동기 및 목표

• 서버가 파괴적 간섭, 비파괴적 간섭, 공백 간섭을 포함한 다수의 간섭 유형을 겪는 단일 서버 재시도 큐를 모델링하고 분석한다.
• 일반적인 서비스 및 간섭 시간 분포 하에서 시스템 안정성에 필요한 충분한 조건을 설정한다.
• 생성 함수와 임bedded 방정식을 사용하여 서버 상태와 오비트 크기의 공동 정적 상태 분포를 유도한다.
• 극한 확률에 대한 명시적 표현을 통해 시스템 워크로드, 대기열 길이, 서버 활용도 등의 성능 측도를 계산한다.
• 서버 고장이 있는 이전의 재시도 큐 연구를 일반화하여, 회복 행동이 다른 다양한 간섭 유형을 통합한다.

제안 방법

• 서버 상태(해방, 忙, 파괴적 간섭, 비파괴적 간섭, 공백 간섭)와 오비트 크기를 추적하는 상태를 포함하는 연속 시간 마르코프 과정으로 시스템을 모델링한다.
• 도착률, 재시도률, 간섭 과정을 포함한 시간 진화를 기술하기 위해 미분-차분 방정식을 사용한다.
• 생성 함수 $ P_F(z), P_B(x,z), P_D(x,z), P_N(x,y,z), P_I(x,z) $ 를 도입하여 방정식 시스템을 해결 가능한 형태로 변환한다.
• 시스템을 단순화하고 정적 상태 분포를 닫힌 형태로 표현하기 위해 보조 함수 $ h(z) $ 와 $ \chi(z) $ 를 도입한다.
• 정규화 조건과 서비스 및 간섭률을 포함한 안정성 조건을 사용하여 정적 상태 확률 $ P_F(1) $ 를 유도한다.
• 일반적인 서비스 및 간섭 시간 분포를 유지하기 위해 라플라스-스틸제스 변환 $ \beta(s), \beta_d(s), \beta_n(s), \beta_i(s) $ 를 사용한다.

실험 결과

연구 질문

• RQ1 다양한 간섭 유형을 가진 단일 서버 재시도 큐의 안정성에 필요한 충분한 조건은 무엇인가?
• RQ2 파괴적 간섭, 비파괴적 간섭, 공백 간섭의 포함이 시스템의 정적 상태 분포에 어떤 영향을 미치는가?
• RQ3 일반적인 서비스 및 간섭 시간 분포 하에서 서버 상태와 오비트 크기의 공동 정적 상태 분포의 명시적 형태는 무엇인가?
• RQ4 극한 분포의 생성 함수는 대기열 길이 및 서버 활용도와 같은 성능 지표와 어떻게 관련이 있는가?
• RQ5 다른 간섭 유형(파괴적 vs. 비파괴적)은 시스템의 장기적 행동과 안정성에 어떤 영향을 미치는가?

주요 결과

• 시스템은 유 effective 도착률이 유 effective 서비스률보다 작을 때만 안정하며, 안정성 조건은 $ \rho < 1 $ 를 포함한다. 여기서 $ \rho $ 는 서비스 및 간섭 파rameter에서 유도된다.
• 정적 상태 확률 $ P_F(1) $ 는 서비스 및 간섭률, 즉 $ \nu_d, \nu_n, \nu_i, \beta, \beta_d, \beta_n, \beta_i $ 와 그 일계 미분수를 포함하여 명시적으로 계산된다.
• 생성 함수 $ P_F(z) $ 는 $ P_F(1) \exp\left\{ \int_1^z \Psi(u) du \right\} $ 로 표현되며, 여기서 $ \Psi(z) $ 는 시스템 파rameter와 임베디드 동역학의 의존성을 반영한다.
• 서비스 시간이 $ x $ 인 忙 상태에 대한 공동 밀도 $ P_B(x,z) $ 는 $ P_B(0,z)(1-B(x))\exp(-h(z)x) $ 로 주어지며, 이는 임베디드 속도 함수 $ h(z) $ 에 의존함을 보여준다.
• 모든 상태에 대해 명시적 표현이 포함된 분포가 존재한다: $ P_D(x,z), P_N(x,y,z), P_I(x,z) $, 각각 해당 간섭 유형과 무기억 재시도 행동을 포함한다.
• 오비트 크기 및 서버 상태 확률과 같은 성능 지표는 생성 함수와 정규화 조건에서 도출될 수 있으며, 이는 시스템 행동의 정량적 분석을 가능하게 한다.