[논문 리뷰] Maximally Stabilizing Admission Control Policy for a Dynamical Queue

Ketan Savla, Emilio Frazzoli|arXiv (Cornell University)|2009. 09. 20.

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

한 줄 요약

이 논문은 인간 성능 법칙에 영감을 얻어 볼륨에 따라 변화하는 서비스 시간을 갖는 다이나믹 큐에 대해 임계값 기반의 입국 제어 정책을 제안한다. 이 정책은 큐가 안정된 상태를 유지하도록 보장함으로써, 가능한 한 최대의 도착률을 안정화할 수 있음을 증명한다.

ABSTRACT

In this paper, we consider the following stability problem for a novel dynamical queue. Independent and identical tasks arrive for a queue at a deterministic rate. The server spends deterministic state-dependent times to service these tasks, where the server state is governed by its utilization history through a simple dynamical model. Inspired by empirical laws for human performance as a function of mental arousal, we let the service time be related to the server state by a continuous convex function. We consider an admission control architecture which regulates task entry into service. The objective in this paper is to design such admission control policies that can stabilize the dynamical queue for the maximum possible arrival rate, where the queue is said to be stable if the number of tasks awaiting service does not grow unbounded over time. First, we prove an upper bound on the maximum stabilizable arrival rate for any admission control policy by postulating a notion of one-task equilibrium for the dynamical queue and exploiting its optimality. Then, we propose a simple threshold policy that allocates a task to the server only if its state is below a certain fixed value. We prove that this admission control policy ensures stability of the queue for the maximum possible arrival rate. 1

연구 동기 및 목표

• 서비스 시간이 서버 상태에 따라 달라지는 새로운 다이나믹 큐에서의 안정성 문제를 다루기 위해.
• 어떤 입국 제어 정책이든 적용할 수 있는 큐가 안정적으로 유지될 수 있는 최대 도착률을 결정하기 위해.
• 이 최대 안정화 가능 도착률을 달성하는 입국 제어 정책을 설계하기 위해.

제안 방법

• 과거 이용률에 따라 변화하는 서버 상태를 갖는 다이나믹 모델을 도입하며, 이는 연속적인 볼록 함수를 통해 서비스 시간에 영향을 준다.
• 최대 안정화 가능 도착률에 대한 상한을 유도하기 위해 일괄 작업 평형 개념을 정의한다.
• 서버 상태가 고정된 임계값 이하일 때만 작업이 입국되도록 허용하는 임계값 기반의 입국 제어 정책을 제안한다.
• 시간이 지남에 따라 대기 중인 작업 수가 무한히 증가하지 않도록 하여 시스템 안정성을 분석한다.
• 일괄 작업 평형의 최적성을 활용하여, 이 정책이 이론적으로 도출된 안정화 가능 도착률의 상한에 도달함을 증명한다.

실험 결과

연구 질문

• RQ1 볼륨에 따라 변화하는 서비스 시간을 갖는 다이나믹 큐에서 어떤 입국 제어 정책이든 안정화할 수 있는 최대 도착률의 이론적 상한은 무엇인가?
• RQ2 간단한 임계값 기반 입국 정책이 이 상한에 도달할 수 있는가?
• RQ3 서버 상태에 대한 서비스 시간 함수의 볼록성은 시스템 안정성과 최대 안정화 가능 도착률에 어떻게 영향을 미치는가?

주요 결과

• 일괄 작업 평형 개념을 활용하여, 어떤 입국 제어 정책이든 적용 가능한 최대 안정화 가능 도착률에 대한 상한을 도출하였다.
• 제안된 임계값 입국 제어 정책은 가능한 한 최대의 도착률에서 큐의 안정성을 보장한다.
• 이 정책은 고정된 임계값 이하의 서버 상태에서만 작업 입국을 허용함으로써 오버로드를 효과적으로 방지하고 안정성을 유지한다.
• 일괄 작업 평형의 최적성을 활용하여, 다른 어떤 정책도 더 높은 도착률을 안정화할 수 없음을 증명하였다.
• 서버 상태에 대한 서비스 시간 함수의 볼록성은 안정성 특성과 상한을 설정하는 데 필수적이다.