두 입력 스트림과 두 재시도 큐를 갖는 단일 서버 시스템의 안정성 및 성능 분석

초록

두 개의 독립적인 포아송 도착 흐름이 하나의 서버와 크기 1의 공통 버퍼를 공유한다. 서버가 점유 중이면 각 유형의 작업은 별도의 재시도(오빗) 큐로 이동하여 자신만의 포아송 재시도율로 다시 전송을 시도한다. 본 논문은 다차원 확률생성함수를 이용해 시스템을 모델링하고, 경계값 문제를 풀어 안정성 조건을 필요충분하게 도출한다. 또한 평균 대기시간, 재시도 큐 길이, 서버 이용률 등 주요 성능 지표를 계산하고 수치 예시를 제시한다.

상세 분석

본 연구는 제한된 버퍼(용량 1)를 가진 단일 서버 시스템에 두 개의 독립적인 포아송 도착 흐름이 동시에 접근하는 상황을 모델링한다. 각 흐름 i (i=1,2)의 작업이 서버에 도착했을 때 서버가 바쁘면 즉시 차단(blocked)되어 전용 재시도 큐, 즉 orbit queue i 로 이동한다. orbit 큐는 무한 용량을 가정하고, 내부에 대기 중인 작업은 각각 고유의 재시도율 λ_i^r 로 서버에 재시도 요청을 보낸다. 따라서 시스템은 3개의 상호 의존적인 큐(버퍼, orbit1, orbit2)로 구성된다.

수학적 분석은 다변량 확률생성함수(PGF) G(z_0, z_1, z_2) 를 정의함으로써 시작한다. 여기서 z_0, z_1, z_2 는 각각 버퍼, orbit1, orbit2 에 있는 작업 수를 나타낸다. 균형 방정식을 전이율에 따라 전개하면, 다음과 같은 핵심 함수 방정식이 도출된다.

K(z_1, z_2)·G(z_0, z_1, z_2) = A(z_1, z_2)·G(0, z_1, z_2) + B(z_1, z_2)·G(z_0, 0, z_2) + C(z_1, z_2)·G(z_0, z_1, 0)

여기서 K는 커널 함수이며, A, B, C는 도착률 λ_i 와 재시도률 μ_i 로 구성된 다항식이다. 커널 K(z_1, z_2)=0 의 해는 복소평면에서 두 개의 곡선을 정의하고, 이 곡선 위에서 경계값 문제를 설정한다. 저자들은 복소해석 기법, 특히 Riemann–Hilbert 방법을 적용해 경계값을 푸는 과정을 상세히 전개한다.

안정성 분석은 시스템이 정상적인 확률분포를 갖기 위한 필요충분 조건을 찾는 것이다. 이를 위해 평균 도착률과 평균 서비스·재시도율의 관계를 검토한다. 결과적으로 다음과 같은 불등식이 도출된다.

λ_1 + λ_2 < μ·(1 - ρ_1·ρ_2)

여기서 μ 는 서버의 서비스율, ρ_i = λ_i / μ_i^r 은 각 orbit 큐의 이용률이다. 이 식은 두 흐름이 동시에 높은 재시도율을 가질 때 시스템이 불안정해질 수 있음을 보여준다.

성능 지표는 PGF 를 미분하여 얻는다. 평균 버퍼 점유율, 각 orbit 큐의 평균 길이 E