에너지·성능을 동시에 잡는 베이지안 스케줄링 최적화

초록

**
본 논문은 이종 멀티코어 시스템에서 작업 스케줄링을 에너지와 지연 시간이라는 두 목표를 동시에 최적화하도록 베이지안 최적화와 가우시안 프로세스를 활용한다. 매트리언 5/2 커널이 비연속적인 성능 절벽을 잘 모델링함을 보였으며, fANOVA 기반 민감도 분석을 통해 핵심 하드웨어 파라미터를 해석한다. 실험 결과 “Race‑to‑Idle” 현상을 자동으로 재발견하고, 빅코어와 리틀코어의 역할을 명확히 구분하는 파레토 프론티어를 도출한다.

**

상세 분석

**
이 논문은 포스트‑데나드 시대의 이종 멀티코어 아키텍처에서 스케줄링 파라미터가 에너지와 레이턴시라는 상충 목표에 미치는 영향을 정량화하고, 이를 자동화된 탐색 기법으로 해결하려는 시도이다. 핵심 기법은 가우시안 프로세스(GP)를 기반으로 한 베이지안 최적화(BO)이며, 여기서 두 가지 커널—RBF와 매트리언 5/2—을 비교한다. 매트리언 커널은 ν=2.5라는 매개변수를 갖고, 무한히 부드러운 RBF와 달리 2차 미분 가능성을 유지하면서도 급격한 성능 변화를 포착할 수 있다. 이는 코어 수, 주파수, 작업 우선순위와 같이 이산적인 파라미터가 존재하는 스케줄링 문제에 적합하다.

다중 목표 최적화는 파레토 프론티어 근사와 기대 하이퍼볼륨 개선(EHVI) 획득 함수를 사용해 구현한다. 단일 목표 단계에서는 로그 기대 개선(LogEI)을 적용해 에너지와 시간의 로그 가중합을 최소화한다. 이렇게 하면 서로 다른 스케일을 가진 두 목표를 균형 있게 다룰 수 있다.

민감도 분석은 fANOVA를 통해 수행된다. GP 모델이 학습한 각 입력 차원의 길이 스케일(l_d) 역수는 해당 차원의 중요도와 직접 연결된다. 결과적으로 빅코어 주파수, 코어 할당 비율, 작업 우선순위 등이 레이턴시와 에너지에 각각 어느 정도 기여하는지 정량적으로 파악한다. 특히, 매트리언 커널을 사용했을 때 길이 스케일이 작게 나타나는 파라미터가 “성능 절벽”을 일으키는 핵심 요인으로 밝혀졌다.

실험 환경은 SimPy 기반의 디스크리트 이벤트 시뮬레이터이며, 작업은 도착 시간, 목표 완료 시간, 명령어 수, 우선순위, 에너지 소비 등 5가지 속성을 가진 튜플로 정의된다. 시뮬레이션은 고정 주파수(DVFS 비활성) 설정 하에 진행되며, 에너지 모델은 동적 전력(α·C·V²·f)과 누설 전력(V·I_leakage)을 포함한다. 이론적 식(2), (3)을 통해 주파수와 에너지 사이의 비선형 관계를 명시하고, 이를 GP의 관측 데이터로 활용한다.

핵심 결과는 세 가지이다. 첫째, 매트리언 5/2 커널이 RBF보다 15~20% 빠르게 파레토 프론티어에 수렴하며, 급격한 성능 변화를 정확히 예측한다. 둘째, BO가 자동으로 “Race‑to‑Idle” 현상을 재발견한다. 즉, 고주파 빅코어를 짧은 시간 동안 가동한 뒤 빠르게 아이들 상태로 전환하는 것이 전체 에너지 효율을 높인다는 기존 물리적 직관을 데이터 기반으로 확인한다. 셋째, 다중 목표 민감도 분석을 통해 레이턴시에는 코어 할당과 우선순위가, 에너지에는 주파수와 누설 전류가 각각 가장 큰 영향을 미친다는 구조적 해석을 제공한다. 이러한 해석은 설계자가 스케줄러 파라미터를 물리적 제약과 목표에 맞게 조정하는 데 실용적인 가이드를 제공한다.

전반적으로 이 연구는 베이지안 최적화와 가우시안 프로세스가 고차원, 비연속적, 다중 목표 시스템 튜닝에 적합함을 실증하고, fANOVA 기반 민감도 분석을 통해 블랙박스 모델에 물리적 해석성을 부여한다는 점에서 학술적·실무적 의의가 크다.

**