[논문 리뷰] A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks

Krishnendu Chatterjee, Kössler, Alexander외 2명|arXiv (Cornell University)|2014. 01. 01.

Optimization and Search Problems참고 문헌 20인용 수 2

한 줄 요약

이 논문은 다중목적 그래프를 사용하여 고정된 마감 시간을 가진 실시간 작업을 위한 온라인 스케줄링 알고리즘의 경쟁 분석을 위한 유연하고 자동화된 프레임워크를 제시한다. 온라인 및 오프라인 스케줄러를 레이블이 부여된 전이 시스템으로 모델링하고, 적대자 제약 조건(예: 산발성, 작업 부하 한도)을 인코딩함으로써, 이 프레임워크는 경쟁 비율 계산을 다중목적 그래프 문제로 환원하며, 다항식 시간 내에 해결 가능하다. 이는 모든 작업세트에서 유일한 알고리즘이 항상 최적은 아님을 드러내며, 응용 분야에 맞는 스케줄러 선택이 필요함을 시사한다.

ABSTRACT

We present a flexible framework for the automated competitive analysis of on-line scheduling algorithms for firm-deadline real-time tasks based on multi-objective graphs: Given a taskset and an on-line scheduling algorithm specified as a labeled transition system, along with some optional safety, liveness, and/or limit-average constraints for the adversary, we automatically compute the competitive ratio of the algorithm w.r.t. a clairvoyant scheduler. We demonstrate the flexibility and power of our approach by comparing the competitive ratio of several on-line algorithms, including $D^{over}$, that have been proposed in the past, for various tasksets. Our experimental results reveal that none of these algorithms is universally optimal, in the sense that there are tasksets where other schedulers provide better performance. Our framework is hence a very useful design tool for selecting optimal algorithms for a given application.

연구 동기 및 목표

• 고정 마감 시간을 가진 실시간 시스템에서 온라인 스케줄링 알고리즘의 경쟁 분석을 위한 자동화된 도구 부족 문제를 해결하기 위해.
• 모든 가능한 작업세트가 아닌 특정 작업세트에 대해 경쟁 비율을 계산하여 정밀하고 응용 분야에 특화된 스케줄링 알고리즘 평가를 가능하게 하기 위해.
• 작업 순서에 대한 다양한 제약 조건(예: 산발성, 평균 부하 한도)을 지원하여 현실적인 시스템 행동을 모델링하기 위해.
• 수작업으로 악성 시나리오를 유도하는 대신 계산 기반 분석으로 대체하는 확장 가능한 자동화된 방법을 제공하기 위해.
• 응용 설계자가 특정 작업세트와 제약 조건에 최적의 스케줄러를 선택할 수 있도록 안내하기 위해.

제안 방법

• 온라인 및 오프라인 스케줄링 알고리즘을 레이블이 부여된 전이 시스템(LTS)으로 모델링하여 행동을 공식적으로 표현하기 위해.
• 적대자 제약 조건(예: 산발적인 작업 도착, 평균 부하 한도)을 유한 오토마타를 사용하여 표현하기 위해.
• 온라인 스케줄러, 오프라인 스케줄러(예측 가능한 스케줄러), 그리고 적대자 제약 조건 오토마타를 조합하여 제품 그래프를 구축하기 위해.
• 경쟁 비율 분석 문제를 제품 그래프 상의 다중목적 도달 가능성 문제로 환원하며, 목적은 유틸리티 최적화와 제약 조건 이행이다.
• 다중목적 그래프 문제를 다항식 시간 알고리즘을 사용해 해결하여 경쟁 비율의 자동 계산을 가능하게 하기 위해.
• 상태 공간 크기를 줄이고 확장성을 향상시키기 위해 대칭성 감소 및 추상화와 같은 최적화 기법을 적용하기 위해.

실험 결과

연구 질문

• RQ1 주어진 제약 조건이 있는 특정 고정 마감 시간 작업세트에 대해, 주어진 온라인 스케줄링 알고리즘의 경쟁 비율은 얼마인가?
• RQ2 최악의 작업 순서를 자동으로 식별할 수 있는가? 이는 온라인 스케줄러의 성능을 최적의 오프라인 스케줄러 대비 최소화하는 데 기여한다.
• RQ3 다양한 작업세트 구성과 제약 조건 하에서, 다양한 스케줄링 알고리즘(예: TD1, Dover, FIFO, SRT)의 경쟁 비율은 어떻게 비교되는가?
• RQ4 동일한 작업세트에 대해, 다양한 부하 또는 도착 패턴 제약 조건 하에서도 최적의 스케줄러가 일관되게 유지되는가?
• RQ5 에너지 효율성 또는 다중 프로세서 지원과 같은 추가 제약 조건을 프레임워크에 확장할 수 있는가?

주요 결과

• 추가 제약 조건이 없더라도, 어떤 온라인 스케줄링 알고리즘도 모든 작업세트에서 유일하게 최적은 아니다.
• 동일한 작업세트에서, 한정된 평균 부하 제약 조건이 더 강화될수록 최적 스케줄러는 비단조화적으로 변화하며, 이는 표 1에서 확인할 수 있다.
• TD1의 경쟁 비율은 작업세트 파라미터 η가 4에 가까워질수록 1/4로 수렴하며, 이는 0-지연, 균일한 밀도 작업세트에서 이론적 경계 1/4를 확인한다.
• η를 파라미터로 하는 작업세트의 시리즈에서, TD1의 경쟁 비율은 각각 η = 2, 3, 3.1, η ≥ 3.2일 때 1, 1/2, 7/25, 1/4를 기록한다.
• 작은 작업세트에 대해서는 프로토타입 런타임이 0.04초에서 1342.59초 사이로, 1분 이내에 경쟁 비율을 계산할 수 있어, 대표적인 인스턴스에서의 실현 가능성을 입증한다.
• 제품 그래프의 크기와 해법 시간은 작업세트 복잡도(예: 작업 수 N 및 최대 마감 시간 Dmax)에 따라 증가하지만, 최적화 기법이 상태 공간을 크게 줄여 확장성을 향상시킨다.