재난 상황을 위한 초스케줄러 설계와 안정성 분석

초록

본 논문은 재난 발생 시 급증하는 비정상적인 작업들을 실시간으로 처리하기 위한 ‘초스케줄러’를 제안한다. NP‑hard 문제로 규정된 최적 스케줄링을 근사적으로 해결하고, 프로세서 수 최소화와 장애 복구를 위한 Primary/Backup 메커니즘을 결합한다. EDF 기반의 동적 스케줄링과 안정성 모델을 통해 마감 기한 초과를 최소화하고, 시뮬레이션을 통해 소·중·대 규모 작업 집합에서의 성능을 검증한다.

상세 분석

이 논문은 기존 실시간 시스템 설계가 정상 운용 가정에 의존해 재난과 같은 급격한 부하 변동에 취약하다는 점을 정확히 지적한다. 저자는 ‘재난 생성 작업(catastrophe generated tasks)’이라는 새로운 작업 클래스를 도입하고, 이들 작업이 시스템에 동시다발적으로 투입될 때 발생하는 스케줄링 충돌을 최소화하는 알고리즘을 설계한다. 핵심은 ‘슈퍼 스케줄러(super scheduler)’라는 메타 스케줄링 레이어를 두어, 기존 EDF 스케줄러 위에 동적으로 재배치 및 우선순위 재조정을 수행한다는 점이다.

문제 정의 단계에서 작업 집합을 주기적(periodic)과 스포라딕(sporadic)으로 구분하고, 각각에 대해 Primary/Backup 복구 메커니즘을 적용한다. 이는 하드 실시간 시스템에서 결함 허용성을 확보하면서도 재난 상황에 대비한 여분 자원을 효율적으로 활용한다는 장점을 가진다. 저자는 이 문제를 NP‑hard 로 증명하고, 최적 해를 찾는 정확한 알고리즘보다는 근사 해법을 제시한다. 구체적으로는 작업의 마감 시간과 실행 시간, 그리고 재난 작업의 도착 시점을 고려한 비용 함수(총 마감 초과 횟수 최소화)를 정의하고, 이를 기반으로 그리디 기반의 스케줄링 규칙을 도출한다.

안정성 모델링 부분에서는 시스템 상태를 ‘안정’과 ‘불안정’ 두 구역으로 나누고, 각 구역에서의 작업 처리율을 수학적으로 분석한다. 특히, 재난 작업이 투입될 때 시스템이 불안정 구역으로 전이되는 임계 조건을 도출하고, 이를 방지하기 위한 최소 프로세서 수를 계산한다. 이때 사용된 라그랑주 승수법과 선형 프로그래밍 변형은 이론적 타당성을 부여한다.

시뮬레이션에서는 소규모(≤10개), 중규모(≈50개), 대규모(≥200개) 작업 집합을 대상으로 EDF 기반 슈퍼 스케줄러와 기존 단일 EDF 스케줄러를 비교한다. 결과는 재난 작업이 30% 이상 증가했을 때에도 슈퍼 스케줄러가 마감 초과율을 40% 이하로 억제하고, 프로세서 사용률을 15% 절감한다는 점을 보여준다. 다만 시뮬레이션 환경이 제한적이며, 실제 산업 플랜트와 같은 복합 시스템에 대한 검증은 부족하다는 한계가 있다.

전체적으로 이 논문은 재난 상황을 고려한 실시간 스케줄링이라는 새로운 연구 영역을 개척하고, 이론적 복잡도 분석과 실용적 알고리즘을 동시에 제시한다는 점에서 의의가 크다. 그러나 알고리즘의 시간 복잡도와 확장성, 그리고 실제 시스템 적용 시 발생할 수 있는 통신 지연·동기화 문제 등에 대한 추가 연구가 필요하다.