제어 이론으로 푸는 스케줄링 설계

초록

본 논문은 스케줄링 문제를 제어 시스템으로 모델링하고, 제어 이론을 이용해 스케줄러 자체를 설계하는 새로운 방법론을 제시한다. 기존의 피드백 스케줄링이 기본 알고리즘에 파라미터 튜닝을 적용하는 데 반해, 제어기를 직접 합성함으로써 강인성·동적 성능 조절 등 복합 요구사항을 자연스럽게 만족한다. 실시간 벤치마크 실험을 통해 방법론의 실현 가능성을 확인하였다.

상세 요약

이 논문은 스케줄링 문제를 “제어 대상(plant)”과 “제어기(controller)”로 명확히 구분한다는 점에서 기존 연구와 차별화된다. 시스템의 상태벡터를 작업 큐의 길이, CPU 사용률, 마감시간 초과율 등으로 정의하고, 목표는 이러한 상태를 원하는 레퍼런스 궤적에 따라 조정하는 것이다. 여기서 핵심은 “기본 스케줄러”를 별도로 두지 않고, 제어기 자체가 작업 선택·배정 로직을 수행한다는 점이다. 이를 위해 저자는 선형 시불변(LTI) 모델링을 기본으로 삼아, 상태공간 표현식 x(k+1)=Ax(k)+Bu(k)와 출력 y(k)=Cx(k) 를 도출한다. 제어 설계 단계에서는 H∞, LQR, μ‑synthesis 등 다양한 로버스트 제어 기법을 적용할 수 있으며, 특히 H∞ 설계는 외란(예: 작업 도착률 변동)과 모델 불확실성에 대한 강인성을 보장한다.

또한, 제어 이론의 시간-주파수 해석 도구를 활용해 스케줄러의 동적 응답을 정량화한다. 예를 들어, 단계 응답을 통해 작업 대기시간 감소 속도와 오버슈트(마감시간 초과) 정도를 직접 설계 목표에 포함시킬 수 있다. 이는 전통적인 휴리스틱 기반 스케줄러가 경험적 파라미터 튜닝에 의존하는 것과는 달리, 설계 단계에서 명시적인 성능 사양을 반영한다는 장점을 제공한다.

논문은 또한 “제어기 합성 = 스케줄러 설계”라는 관점을 통해 재사용성을 강조한다. 동일한 제어 구조를 다른 시스템(멀티코어, 분산)에도 그대로 적용하거나, 요구되는 성능 지표만 바꾸어 재설계하면 된다. 이는 복잡한 실시간 시스템에서 새로운 스케줄링 정책을 빠르게 프로토타이핑할 수 있게 한다.

실험 부분에서는 실시간 벤치마크인 “LITMUS⁺”의 일부 워크로드에 H∞ 기반 스케줄러를 적용하였다. 결과는 평균 응답시간 감소, 마감시간 초과율 감소, 그리고 부하 변동에 대한 강인성 향상을 보여준다. 다만, 제어기 설계 과정에서 시스템 모델링 정확도와 제어 비용 함수 정의가 결과에 큰 영향을 미치므로, 모델 추정 단계가 중요한 과제로 남는다.

전체적으로 이 연구는 제어 이론을 스케줄링에 직접 적용함으로써 설계·분석·검증의 일관된 프레임워크를 제공한다는 점에서 학술적·실용적 의의가 크다.