에너지·신뢰성·완성시간을 동시에 최적화하는 병렬 스케줄링 근사 알고리즘

초록

본 논문은 동일 속도의 프로세서들로 구성된 병렬 플랫폼에서, 작업 그래프(선형 체인 또는 독립 작업 집합)를 스케줄링하면서 에너지 소비를 최소화하고, 전체 실행 시간(메이크스팬)과 각 작업의 신뢰성 제한을 동시에 만족시키는 문제를 다룬다. 선형 체인에 대해서는 완전다항시간 근사 스킴(FPTAS)을 제시하고, 독립 작업에 대해서는 P=NP가 성립하지 않는 한 상수배 근사 알고리즘이 존재하지 않음을 증명한 뒤, 메이크스팬 제약을 완화한 근사 알고리즘을 제안한다.

상세 요약

이 논문은 동적 전압·주파수 조정(DVFS)과 작업 복제·재실행을 결합한 삼중 목표 최적화 문제를 정의한다. 먼저, 프로세서 속도를 낮출수록 에너지 소비는 감소하지만 고장 확률이 증가한다는 물리적 모델을 수학적으로 정형화한다. 신뢰성은 각 작업이 최소 한 번은 성공적으로 완료될 확률로 정의되며, 이를 보장하기 위해 동일 작업을 두 번 실행하거나 서로 다른 프로세서에 복제한다.

선형 체인(Chain) 경우, 작업 순서가 고정되어 있기 때문에 속도 할당과 복제 결정이 연속적인 최적화 변수와 이산적인 복제 여부 사이의 복합적인 트레이드오프를 만든다. 저자들은 이 문제를 이중 라그랑주 승수와 동적 계획법을 이용해 근사화하고, 전체 메이크스팬을 ε-근사 수준으로 유지하면서 에너지 소비를 (1+ε)배 이내로 최적값에 접근하는 FPTAS를 설계한다. 핵심 아이디어는 (i) 작업별 최소 속도(신뢰성 보장에 필요한)와 최대 속도(메이크스팬 제한에 필요한)를 구하고, (ii) 속도 구간을 로그 스케일로 양자화해 가능한 조합 수를 다항식으로 제한하는 것이다.

반면, 독립 작업(Independent Tasks)에서는 작업 간 선후 관계가 없으므로 복제와 속도 할당을 자유롭게 조합할 수 있다. 저자들은 이 경우 문제를 “제한된 용량의 다중 배낭” 문제와 귀납적으로 귀류함으로써, 상수배 근사 알고리즘이 존재하려면 P=NP가 성립해야 함을 증명한다. 즉, 에너지 최소화와 신뢰성 제약을 동시에 만족시키는 최적 배분은 NP-완전임을 보인다.

이를 회피하기 위해 메이크스팬 제약을 (1+β)배로 완화하는 접근법을 제안한다. 완화된 메이크스팬 하에서, 작업들을 에너지 효율이 높은 저속 프로세서에 배치하고, 신뢰성 부족 시 선택적으로 복제하거나 재실행한다. 이 알고리즘은 전체 에너지 소비를 O(log n) 배 이내로 보장하면서, 메이크스팬은 (1+β)·C_opt (C_opt는 원래 메이크스팬 최적값) 이하가 된다.

기술적 기여는 다음과 같다. ① 삼중 목표 최적화 모델을 명확히 수식화하고, 신뢰성 함수를 고장 확률의 지수적 감소 형태로 가정함으로써 실제 하드웨어 특성을 반영했다. ② 선형 체인에 대해 완전다항시간 근사 스킴을 설계해, 실시간 시스템에서 ε-근사 해를 효율적으로 얻을 수 있음을 보였다. ③ 독립 작업에 대한 복잡도 하한을 증명해, 근사 가능성의 한계를 이론적으로 규명했다. ④ 메이크스팬 완화 기반의 실용적 근사 알고리즘을 제시해, 제한된 시간 내에 에너지와 신뢰성을 균형 있게 관리할 수 있는 방안을 제공했다.

전체적으로 이 연구는 에너지 효율과 시스템 신뢰성을 동시에 고려해야 하는 현대 데이터센터·엣지 컴퓨팅 환경에 중요한 이론적 토대를 제공한다. 특히, FPTAS와 복제 전략의 결합은 실시간 제어·영상 처리 등 시간·전력·신뢰성 모두가 중요한 워크로드에 직접 적용 가능할 것으로 기대된다.