[논문 리뷰] Large Deviations Optimal Scheduling of Closed Queueing Networks

Siddhartha Banerjee, Yash Kanoria외 1명|arXiv (Cornell University)|2018. 03. 13.

Advanced Queuing Theory Analysis참고 문헌 55인용 수 8

한 줄 요약

이 논문은 고정된 수의 작업을 가진 폐쇄 대기행렬 네트워크에 대해 스케일드 맥스웨이트(SMW) 스케줄링 정책을 제안하며, 처리량을 최대화하기 위해 작업 분포를 동적으로 관리한다. 완전 자원공유(CRP) 조건 하에서, 모든 SMW 정책은 작업 수가 증가함에 따라 처리량 손실 확률이 지수적으로 감소함을 보장한다; 놀랍게도, 서비스 속도와 라우팅 확률에 의해 결정되는 최상의 손실 지수를 달성하는 최적의 SMW 정책이 존재한다.

ABSTRACT

We study the design of dynamic scheduling controls in closed queueing networks with a fixed number of jobs. Each time a server becomes available, the controller has (limited) flexibility in choosing the buffer from which to serve a job. If no jobs are available at any compatible buffer, the server idles. If the job is served, it relocates to a ``destination'' buffer. We study how to maximize throughput in steady state via a large deviations analysis. We propose a family of simple state-dependent policies called Scaled MaxWeight (SMW) policies that dynamically manage the distribution of jobs in the network. We prove that under a complete resource pooling condition (analogous to the condition in Hall's marriage theorem), any SMW policy leads to exponential decay of throughput-loss probability as the number of jobs scales to infinity. Further, there is an SMW policy that achieves the optimal loss exponent among all scheduling policies, and we analytically specify this policy in terms of the service rates and routing probabilities. The optimal SMW policy maintains high job levels adjacent to structurally under-supplied servers. Our methodology also applies to the open network setting and leads to exponent-optimal policies.

연구 동기 및 목표

• 제한된 스케줄링 유연성으로 인한 작업 분포 불일치 문제를 해결하기 위해.
• 구조적 불균형과 확률적 변동성을 동시에 다루는 동적 스케줄링 정책을 설계하여, 느린 또는 사라지지 않는 손실률을 겪는 상태에 독립적인 정책들보다 향상된 성능을 달성하기 위해.
• 대규모 탈리케이션 분석을 통해 모든 동적 정책 중에서 처리량 손실 지수를 최소화하는 최적의 스케줄링 정책을 규명하기 위해.
• 맥스웨이트 정책을 상태에 따라 변하는 스케일드 맥스웨이트(SMW) 정책의 가족으로 일반화하고, 성능 보장을 갖춘 정책을 제안하기 위해.
• 분석을 개방형 네트워크 환경으로 확장하여, 폐쇄형 및 개방형 시스템 모두에서 지수 최적 정책을 도출하기 위해.

제안 방법

• 버퍼별 스케일링 인자로 파arameter화된 상태에 의존하는 스케일드 맥스웨이트(SMW) 정책의 가족을 제안하여 작업 분포를 동적으로 균형 잡기 위해.
• 대규모 탈리케이션 분석을 적용하여, 작업 수 K → ∞ 일 때 처리량 손실 확률의 지수 감소율을 특성화하기 위해.
• 구조적 부족 공급에 대한 작업 수준 기반의 리아푸노프 함수를 도입하여 시스템 안정성과 희귀사건 확률을 분석하기 위해.
• 사이클 분해와 리뉴얼-보상 추론을 사용하여 정적 손실 확률의 상한을 구하고, 리아푸노프 함수의 음의 기울기와 리프시츠 연속성에 의존하기 위해.
• 리아푸노프 함수의 척도 불변성에 의해 대규모 탈리케이션 비용 문제를 일변도 변분 문제로 감소시켜 최적 정책의 해석적 특성화를 가능하게 하기 위해.
• 손실 지수의 하한을 구하기 위해 미분 게임 설정을 활용하고, 작업 불균형에 이르는 비용이 최대가 되는 '이deal 적대자' 경로를 식별하기 위해.

실험 결과

연구 질문

• RQ1 상태에 의존하는 스케줄링 정책은 고정된 작업 수를 가진 폐쇄 대기행렬 네트워크에서 처리량 손실 확률이 지수적으로 감소할 수 있는가?
• RQ2 완전 자원공유(CRP) 조건 하에서, 모든 동적 정책 중에서 손실 지수를 최대화하는 최적의 스케줄링 정책은 무엇인가?
• RQ3 구조적 불균형과 확률적 변동성은 폐쇄 네트워크에서 스케줄링 정책의 성능에 어떻게 영향을 미치는가?
• RQ4 최적의 정책은 서비스 속도와 라우팅 확률에 대해 해석적으로 특성화될 수 있는가?
• RQ5 제안된 방법론은 개방형 네트워크 환경으로 확장되어 지수 최적 정책을 도출할 수 있는가?

주요 결과

• 완전 자원공유(CRP) 조건 하에서, 모든 스케일드 맥스웨이트(SMW) 정책은 작업 수 K → ∞ 일 때 처리량 손실 확률이 지수적으로 감소함을 보장한다.
• 모든 동적 스케줄링 정책 중에서 최적의 손실 지수를 달성하는 SMW 정책이 존재하며, 이 정책은 서비스 속도와 라우팅 확률에 의해 해석적으로 특성화된다.
• 최적의 SMW 정책은 구조적으로 부족한 공급이 있는 서버 주변의 높은 작업 수준을 유지하여 분포 불균형을 효과적으로 상쇄한다.
• 리아푸노프 함수의 척도 불변성 덕분에 손실 확률의 대규모 탈리케이션 비용 함수는 일변도 변분 문제로 감소된다.
• 최적 정책의 지수는 서비스 토큰 도착률의 레지어-펜첼 변환에 기반한 비용 함수를 모델링하는 미분 게임을 풀어 결정되며, 이는 작업 불균형에 이르는 최소 비용 경로를 나타낸다.
• 분석은 개방형 네트워크로 확장되어 그 환경에서도 지수 최적 스케줄링 정책을 도출한다.