[논문 리뷰] The maximum queue length for heavy tailed service times

Misja Nuyens|ArXiv.org|2003. 08. 05.

Advanced Queuing Theory Analysis참고 문헌 10인용 수 3

한 줄 요약

이 논문은 무거운 尾 꼬리, 로그-凸인 서비스 시간 분포를 갖는 M/G/1 대기열에서 전경-배경(Foreground-Background, FB) 서비스 정책을 적용할 경우, 바쁜 사이클 동안 최대 대기열 길이의 꼬리가 시스템 부하 $\rho$에 대해 지수적으로 유계임을 증명한다. 즉, $\rho^n$으로 유계가 된다. 이 유계는 불안정한 시스템에서 FIFO보다 훨씬 긴 버퍼 오버플로우 시간을 암시하며, 이는 중복된 꼬리 분포 하에서 FB 정책이 뛰어난 성능을 보임을 보여준다.

ABSTRACT

In this paper we study the maximum queue length $M$ (in terms of the number of customers present) in a busy cycle in the M/G/1 queue. Assume that the service times have a logconvex density. For such (heavy-tailed) service-time distributions the Foreground Background service discipline is optimal. This discipline gives service to the customer(s) that have received the least amount of service so far. It is shown that under this discipline $M$ has an exponentially decreasing tail. From the behaviour of $M$ we obtain asymptotics of the maximum queue length $M(t)$ over the interval $(0,t)$ for $t o\infty$. These are applied to calculate the time to overflow of a buffer, both in stable and unstable queues.

연구 동기 및 목표

• 무거운 꼬리 서비스 시간을 갖는 M/G/1 대기열에서 바쁜 사이클 동안 최대 대기열 길이를 분석하는 것.
• 특히 전경-배경(Foreground-Background, FB) 정책이 최대 대기열 길이의 꼬리 행동에 미치는 영향을 조사하는 것.
• FB 정책 하에서 최대 대기열 길이 $M$에 대해 꼬리 확률 $P(M > n)$에 대한 지수적 상한을 유도하는 것.
• 무거운 꼬리 서비스 시간 분포를 갖는 안정적이고 불안정한 M/G/1 대기열에서 FB와 FIFO 정책 간의 버퍼 오버플로우 시간을 비교하는 것.
• 무거운 꼬리 서비스 시간을 갖는 불안정한 시스템에서 FB 정책이 버퍼 오버플로우를 상당히 지연시킴을 보여주는 것.

제안 방법

• 다른 서비스 시간 분포를 갖는 두 개의 M/G/1 FB 대기열 간의 커플링 추론을 사용하여 최대 대기열 길이 분포를 비교하는 것.
• 바쁜 사이클의 초기 고객이 다른 고객이 존재하지 않을 때에만 서비스되는 보조 서비스 정책인 FB*를 도입하여 핵심적인 확률 부등식을 도출하는 것.
• 대기열 길이 과정의 재생 구조를 적용하여 유한 간격 동안의 최대 대기열 길이를 바쁜 사이클의 최대값과 연결하는 것.
• 역변환 샘플링을 통한 서비스 시간 커플링을 적용하여 임계값 $p$까지 동일한 행동을 보장하고, 대기열 길이 과정의 확률 지배를 확보하는 것.
• 확률 유계 $P(M > n) \leq \rho^n$을 사용하여 $t \to \infty$일 때 $[0,t]$ 동안의 최대 대기열 길이 $M(t)$의 渐近적 행동을 유도하는 것.
• 원래 서비스 시간 분포의 절단 및 지수적 기울인 변환을 갖는 안정한 대기열과 커플링하여 결과를 불안정한 대기열에 적용하는 것.

실험 결과

연구 질문

• RQ1 무거운 꼬리, 로그-凸인 서비스 시간 분포를 갖는 M/G/1 대기열에서 FB 정책 하의 최대 대기열 길이의 꼬리 행동은 어떠한가?
• RQ2 무거운 꼬리 서비스 시간 분포 하에서 FB 정책은 FIFO 정책에 비해 버퍼 오버플로우 시간 측면에서 어떻게 비교되는가?
• RQ3 최대 대기열 길이의 꼬리에 대해 서비스 시간 분포의 구체적 형태에 관계없이 적용 가능한 지수적 상한을 도출할 수 있는가?
• RQ4 무거운 꼬리 서비스 시간을 갖는 불안정한 M/G/1 FB 대기열에서 오버플로우 시간은 어떻게 스케일링되는가?
• RQ5 로그-凸성 가정이 FB 정책의 성능 유계에 미치는 영향은 어떠한가?

주요 결과

• 로그-凸인 서비스 시간 밀도를 갖는 M/G/1 FB 대기열에서 최대 대기열 길이 $M$의 꼬리는 $P(M > n) \leq \rho^n$을 만족하며, 여기서 $\rho$는 시스템 부하이다.
• 이 유계는 서비스 시간 분포의 구체적 형태에 독립적이며, 무거운 꼬리(예: 파레토, $\beta < 1$인 웨이부르 등) 및 경량 꼬리(예: 감마 분포) 분포를 갖는 로그-凸 밀도에 모두 적용된다.
• 부하 $\rho = \infty$인 불안정한 대기열의 경우, 도착률이 낮을 경우 오버플로우 시간이 매우 길어질 수 있다. 예를 들어 $\lambda = 0.01$일 때 $t = 10^{40}$이면 오버플로우 확률가 0.02 미만임을 수치 예제로 보여준다.
• 커플링 추론을 통해 $M_F(t) \leq_{st} M_G(t) + K_p(t)$를 도출할 수 있으며, 여기서 $K_p(t)$는 비율 $\lambda(1-p)$를 갖는 포아송 과정이다. 이는 서로 다른 서비스 시간 분포를 갖는 시스템 간의 비교를 가능하게 한다.
• 파레토 서비스 밀도 $f(x) = 1/(x+1)^2$의 예제에서 버퍼 크기 $d=1000$일 때 $\lambda = 0.01$이면 오버플로우 시간이 높은 확률로 $10^{40}$을 초과함을 보여주며, 이는 서비스 시간 분포의 절단 및 지수적 기울인 변환된 형태의 안정성 때문임을 설명한다.
• 결과적으로 FB 정책은 무거운 꼬리 서비스 시간을 갖는 불안정한 시스템에서 버퍼 오버플로우 시간을 상당히 연기할 수 있음을 확인하며, FIFO에 비해 뛰어난 성능을 보임을 입증한다.