[논문 리뷰] Online Flexible Busy Time Scheduling on Heterogeneous Machines

Gruiă Cälinescu, Sami Davies외 2명|arXiv (Cornell University)|2024. 01. 01.

Scheduling and Optimization Algorithms인용 수 1

한 줄 요약

이 논문은 이질적 머신에서 균일한 길이의 작업을 스케줄링하여 총 바쁜 시간 비용을 최소화하는 데 목적이 있는 8-경쟁적 온라인 알고리즘을 제안한다. 작업을 그들의 마감 기한 윈도우 내에서 스케줄링할 수 있는 유연한 스케줄링 모델을 도입하고, 일치하는 마감 기한을 가진 단위 길이 작업에 대해 2의 날카로운 하한선을 증명하며, 실용적이고 이질적인 환경에서의 온라인 바쁜 시간 스케줄링에 대한 이해를 크게 향상시킨다.

ABSTRACT

We study the online busy time scheduling model on heterogeneous machines. In our setting, jobs with uniform length arrive online with a deadline that becomes known to the algorithm at the job's arrival time. An algorithm has access to machines, each with different associated capacities and costs. The goal is to schedule jobs on machines by their deadline, so that the total cost incurred by the scheduling algorithm is minimized. While busy time scheduling has been well-studied, relatively little is known when machines are heterogeneous (i.e., have different costs and capacities), despite this natural theoretical generalization being the most practical model for clients using cloud computing services. We make significant progress in understanding this model by designing an 8-competitive algorithm for the problem on unit-length jobs and providing a lower bound of 2 on the competitive ratio. The lower bound is tight in the setting when jobs form non-nested intervals. Our 8-competitive algorithm generalizes to one with competitive ratio $8(2p-1)/p < 16$ when all jobs have uniform length $p$.

연구 동기 및 목표

• 클라우드 컴퓨팅에 더 현실적인 이질적 머신 환경에서 온라인 바쁜 시간 스케줄링에 대한 이론적 이해의 격차를 메우기 위해.
• 다양한 용량과 비용을 가진 머신들 간에 전략적으로 스케줄링되는 유연한 균일한 길이의 작업을 고려하여 총 비용을 최소화하는 온라인 알고리즘을 설계하기 위해.
• 특히 단위 길이 작업에 대해 일치하는 마감 기한 조건이 적용될 경우, 문제에 대한 날카로운 경쟁 비율 상한선을 확립하기 위해.
• 일반화된 길이 p를 가진 작업들에 대해 알고리즘을 확장하여, 8(2p−1)/p < 16의 경쟁 비율을 제공하기 위해.
• 모든 강력한 적 모델에서의 결정론적 온라인 알고리즘에 대해 2의 하한선을 증명함으로써, 경쟁력의 한계를 탐색하기 위해.

제안 방법

• 알고리즘은 작업의 마감 기한과 머신의 비용 효율성에 기반해 작업을 그룹화하는 그리디 배치 전략을 사용하며, 큰 배치에 대해 비용 효율적인 머신을 우선시한다.
• 온라인 알고리즘의 비용을 두 개의 다른 타당한 스케줄링과 비교하는 새로운 분석 프레임워크를 도입하여, 이 두 스케줄의 평균 비용이 온라인 비용의 (1 + 3/M)/2 배 이내임을 보여준다.
• 증명은 M개의 작업 그룹으로 구성된 최악의 경우 인스턴스를 활용하며, 적이 작업의 도착 시간과 마감 기한을 제어하여 어떤 온라인 전략이라도 높은 비용을 유도하도록 한다.
• 단위 길이 작업의 경우, 일치하는 마감 기한 성질을 활용해 더 단순한 그리디 할당을 통해 2-경쟁성을 달성한다.
• 길이 p인 작업으로의 일반화는 스케줄링 가능한 시간 윈도우가 증가하므로 이를 고려한 수정된 배치 히어리스틱을 사용한다.
• 경쟁 비율 분석은 온라인 솔루션의 작업들을 두 개의 별도된 솔루션(각각 짝수 및 홀수 그룹에 해당)으로 매핑하여 타당성을 확보하고 비용을 제한하는 데 기반한다.

실험 결과

연구 질문

• RQ1 이질적 머신에서 스케줄링 유연성이 있는 균일한 길이의 작업에 대해 온라인 바쁜 시간 스케줄링의 최선의 가능한 경쟁 비율은 무엇인가?
• RQ2 결정론적 온라인 알고리즘이 단위 길이 작업에 대해 8보다 나은 경쟁 비율을 달성할 수 있는가?
• RQ3 이질적 머신 모델에서 단위 길이 작업에 대해 일치하는 마감 기한 조건이 적용될 경우, 2-경쟁 비율은 날카로운가?
• RQ4 일반적인 경우에서 작업 길이 p에 따라 경쟁 비율은 어떻게 변화하는가?
• RQ5 이 모델에서 온라인 스케줄링의 기본 한계는 무엇이며, 이는 효율적인 알고리즘에 의해 도달될 수 있는가?

주요 결과

• 논문은 이질적 머신에서 단위 길이 작업에 대해 8-경쟁적 알고리즘을 제시한다.
• 일치하는 마감 기한 조건이 적용되는 단위 길이 작업의 경우, 더 단순한 알고리즘이 2-경쟁 비율을 달성하며, 이는 하한선을 통해 날카로운 것으로 입증된다.
• 2의 하한선은 M개의 작업 그룹으로 구성된 최악의 경우 인스턴스를 사용하여 증명되며, 이는 적이 어떤 온라인 전략이라도 높은 비용을 유도하도록 한다.
• 균일한 길이 p를 가진 작업에 대해 경쟁 비율은 8(2p−1)/p < 16으로 일반화되며, 이는 작업 지속 시간에 따라 스케일링 가능함을 보여준다.
• 분석은 두 개의 타당한 대안 스케줄의 비용 합이 온라인 알고리즘의 비용의 (1 + 3/M)/2 배 이내임을 증명하며, M → ∞의 극한에서 2-경쟁 하한선으로 이어진다.
• 결과는 작업의 마감 기한 내에서 스케줄링 시간에 대한 탄력성이, 고정된 간격 스케줄링에 비해 경쟁력 향상에 크게 기여함을 보여준다.