비대칭 멀티프로세서에서 의존성 작업의 에너지·시간 효율적 스케줄링

초록

본 논문은 서로 다른 속도를 가진 프로세서들로 구성된 비대칭 멀티코어 시스템에서, 선행 관계가 있는 작업들을 효율적으로 배치하는 두 가지 알고리즘을 제안한다. 첫 번째는 기존 스케줄을 사후 처리해 에너지 소비를 최소화하면서 makespan을 유지하는 선점형 “Save‑Energy” 알고리즘이며, 두 번째는 두 종류의 속도만을 갖는 제한된 비대칭 환경에서 거의 최적에 가까운 makespan을 보장하는 비선점형 “Remnants” 알고리즘이다. 또한 비대칭 시스템이 동일 평균 속도의 대칭 시스템보다 언제든지 같은 혹은 더 짧은 최적 makespan을 달성할 수 있음을 이론적으로 증명한다.

상세 분석

이 논문은 비대칭 멀티프로세서(Uniformly Related Machines) 모델을 두 가지 속도 집합으로 한정한다. 빠른 프로세서는 속도 s (>1)를, 나머지는 속도 1을 갖으며, 전력 소비는 c(k)^α·t (α>1) 로 정의된 볼록 함수 형태를 따른다. 첫 번째 기여인 “Save‑Energy” 알고리즘은 주어진 스케줄을 시간 구간별로 분할하고, 고속 코어에 할당된 작업을 가능한 한 저속 코어로 재배치한다. 핵심 정리는 “에너지 최적성 조건”으로, 어느 구간에서도 고속 코어 작업을 저속 코어로 옮겨 에너지를 감소시킬 수 없을 때 스케줄이 최적임을 보인다. 또한, 작업을 재배치할 최적 속도는 c(v)=α^{‑1}·c(u) 에 가장 가까운 속도임을 증명한다(α=2이면 c(v)=c(u)/2). 이 과정은 선점이 허용되므로 makespan에 영향을 주지 않으며, 실제 구현 시 복잡도는 O(m²·τ₀²) 이다.

시간 효율성 측면에서는, 동일 평균 속도와 프로세서 수를 가진 대칭 시스템에 비해 비대칭 시스템이 항상 같은 혹은 더 짧은 최적 makespan을 달성한다는 정리를 제시한다. 증명은 대칭 시스템의 최적 스케줄을 각 구간마다 비대칭 프로세서에 순차적으로 매핑함으로써 평균 처리 속도가 동일함을 보이며, 일부 프로세서가 유휴 상태인 경우 비대칭 시스템이 더 높은 총 처리 능력을 활용해 makespan을 감소시킨다.

두 번째 주요 기여는 두 종류 속도만을 갖는 제한된 비대칭 환경에서 비선점형 “Remnants” 알고리즘을 설계한 것이다. 이 알고리즘은 체인 기반 작업 집합을 우선순위에 따라 빠른 프로세서에 할당하고, 남은 작업을 느린 프로세서에 배분한다. 정밀 분석을 통해 기대값 기준 (3+o(1)) 의 근사 비율을 달성함을 보였으며, 기존 6‑approximation 보다 현저히 개선된 결과이다. 논문은 또한 최근 연구의 분석을 정교화하고, 이를 기반으로 스케줄링 정책을 특수화해 기대 근사비를 낮추는 방법을 제시한다.

전체적으로, 논문은 비대칭 하드웨어가 에너지 절감과 시간 효율성 두 축에서 모두 이점을 제공한다는 이론적 근거를 제시하고, 실제 알고리즘 설계와 복잡도 분석을 통해 실용성을 뒷받침한다. 다만, 선점 오버헤드가 무시된 점, 작업 단위가 모두 1시간이라고 가정한 점, 그리고 전력 모델이 단순화된 점은 실제 시스템 적용 시 추가 고려가 필요하다.