다중 속도조절 프로세서에서 이익 기반 스케줄링의 최적 온라인 알고리즘

초록

이 논문은 여러 개의 속도조절 가능한 프로세서를 이용해, 작업의 가치와 에너지 소비를 동시에 고려하는 온라인 이익‑지향 스케줄링 문제를 다룬다. 제시된 알고리즘은 작업을 선택·포기하고, 선택된 작업에 대해 적절한 프로세서와 속도를 할당함으로써 전체 손실(가치 손실 + 에너지 비용)을 최소화한다. 경쟁도 분석 결과, 알고리즘은 최적 해에 비해 최대 α^α 배만큼 비용이 증가한다는 것을 보이며, 이는 기존 단일 프로세서 결과(α^α + 2eα)보다 엄격히 개선된 것이다.

상세 분석

본 연구는 온라인 환경에서 다중 속도조절 프로세서(Multi‑Speed‑Scalable Processors, MSSP)를 활용한 profit‑oriented scheduling 문제를 정형화한다. 작업은 도착 시점, 워크로드 w_i, 가치 v_i, 마감시간 d_i를 갖고, 프리엠션이 허용된다. 스케줄러는 각 작업을 완료하거나 포기할 수 있으며, 포기 시 v_i 만큼의 손실을 입는다. 작업을 완료하려면 해당 워크로드를 마감시간 이전에 처리해야 하는데, 이를 위해 프로세서의 속도 s를 선택하고, 전력 소비는 P(s)=s^α (α>1) 로 모델링한다. 에너지 비용은 시간에 걸친 전력의 적분, 즉 ∫ s(t)^α dt 로 계산된다. 온라인 특성상 미래 작업에 대한 정보가 없으므로, 알고리즘은 현재까지 관측된 작업만을 기반으로 의사결정을 해야 한다.

저자들은 기존 단일 프로세서 모델(Chan et al., 2010)에서 사용된 잠재함수(potential function) 기법을 확장하였다. 핵심 아이디어는 각 프로세서에 대해 “가상 부하”를 정의하고, 작업이 들어올 때마다 이 부하를 재분배함으로써 전체 시스템의 잠재 에너지(잠재 함수 값)를 제한한다. 작업을 수용할 경우, 알고리즘은 가장 낮은 현재 부하를 가진 프로세서에 할당하고, 해당 프로세서의 속도를 (현재 부하 + 작업 워크로드)^(1/α) 로 설정한다. 이렇게 하면 각 프로세서가 처리해야 할 총 작업량과 속도 사이에 α‑거듭제곱 관계가 유지되어, 에너지 소비가 최소화된다.

경쟁도 분석에서는 (1) 작업을 포기했을 때 발생하는 가치 손실, (2) 실제 에너지 소비, (3) 잠재 함수 감소량을 모두 고려한 아몰티제이션(amortized) 불평등을 구축한다. 이를 통해 알고리즘이 매 순간 최적 해 대비 α^α 배 이하의 비용을 초과하지 않음을 증명한다. 특히, 다중 프로세서 환경에서도 잠재 함수가 선형적으로 합산되므로, 전체 시스템에 대한 상한이 동일하게 유지된다. 이 결과는 α^α 경쟁도가 “tight”하다는 의미로, α가 커질수록 경쟁도는 α^α 로 수렴하지만, 기존 결과인 α^α + 2eα 보다 항상 더 우수함을 보인다.

또한, 저자들은 경쟁도 하한을 구성하여 제시된 알고리즘이 이론적으로 최적에 가깝다는 점을 강조한다. 하한은 adversarial job sequence를 통해 구축되며, 이때 어떤 알고리즘도 α^α‑보다 작은 경쟁도를 달성할 수 없음을 보인다. 따라서 제안된 알고리즘은 다중 속도조절 프로세서 환경에서 profit‑oriented scheduling 문제에 대한 현재까지 알려진 최선의 온라인 해법이라 할 수 있다.