방송 스케줄링을 위한 최장 대기 우선 알고리즘 분석

초록

본 논문은 풀 기반 방송 모델에서 가장 오래 기다린 요청을 우선 전송하는 Longest‑Wait‑First(LWF) 알고리즘의 경쟁도와 속도 증강을 정량적으로 분석한다. 직관적인 증명을 통해 LWF가 (4+ε) 배속으로 평균 흐름시간에 대해 O(1/ε²) 경쟁성을 갖는 것을 보이고, 보다 정교한 분석으로 (3.4+ε) 배속에서 O(1/ε³) 경쟁성을 달성한다. 또한 LWF의 자연스러운 확장 버전이 평균 지연‑요인, 고정 k에 대한 Lₖ 지연‑요인 노름 등 다양한 목적 함수에 대해 O(1) 속도와 O(1) 경쟁성을 유지함을 증명한다.

상세 분석

논문은 온라인 방송 스케줄링 문제를 풀 기반(pull‑based) 모델로 정의한다. 서버는 n개의 단위 크기 페이지를 보유하고, 각 페이지에 대한 요청이 실시간으로 도착한다. 한 번의 전송으로 해당 페이지에 대한 모든 미처리 요청을 동시에 만족시킬 수 있다는 특성 때문에, 전송 순서를 어떻게 정하느냐가 전체 시스템의 평균 흐름시간(average flow‑time)과 지연‑요인(delay‑factor) 등에 큰 영향을 미친다. LWF 알고리즘은 “가장 오래 기다린 요청이 포함된 페이지”를 선택해 전송한다는 직관적인 규칙을 따른다. 이 규칙은 요청이 오래될수록 우선순위가 급격히 상승하므로, 오래된 요청이 무한정 대기하는 상황을 방지한다는 점에서 매력적이다.

첫 번째 주요 결과는 (4+ε) 배속 환경에서 LWF가 평균 흐름시간에 대해 O(1/ε²) 경쟁성을 가진다는 것이다. 여기서 배속(speed augmentation)이란 알고리즘이 실제 시스템보다 빠른 속도로 전송할 수 있게 허용하는 개념으로, 온라인 알고리즘 분석에서 흔히 사용된다. 논문은 LWF의 스케줄을 최적(OPT) 스케줄과 비교하면서, 각 시간 구간을 “활성 구간(active interval)”과 “비활성 구간(inactive interval)”으로 나눈다. 활성 구간에서는 LWF가 현재 가장 오래된 요청을 처리하므로, OPT가 해당 구간에서 얻을 수 있는 이득을 상한으로 제한한다. 비활성 구간에서는 LWF가 아직 처리하지 않은 오래된 요청이 없으므로, OPT가 추가적인 이득을 얻을 여지가 제한된다. 이러한 구간 분할과 요청의 대기시간을 정량화한 ‘잠재 비용(potential)’ 함수를 도입해, 전체 흐름시간 차이가 O(1/ε²) 배 이하임을 보인다.

두 번째 결과는 보다 정교한 잠재 함수와 미세한 구간 분석을 통해 (3.4+ε) 배속에서 O(1/ε³) 경쟁성을 달성한다는 점이다. 여기서는 LWF가 전송할 페이지를 선택할 때 단순히 가장 오래된 요청만 보는 것이 아니라, 해당 페이지에 누적된 대기시간의 합을 고려한다. 이를 “가중 최장 대기”(Weighted Longest‑Wait)라고 부르며, 잠재 함수에 페이지별 가중치를 부여해 분석한다. 이때 발생하는 복잡한 상호작용을 다루기 위해, 논문은 “역방향 전파(reverse‑propagation)” 기법을 도입해 LWF와 OPT 사이의 비용 차이를 단계별로 추적한다. 결과적으로, 배속을 약 3.4배만 늘려도 평균 흐름시간에 대해 O(1/ε³) 수준의 경쟁성을 보장한다.

마지막으로, LWF의 자연스러운 확장인 “가중 최장 대기‑우선”(Weighted LWF) 알고리즘을 제안한다. 이 알고리즘은 요청의 지연‑요인(delay‑factor)이나 그 Lₖ 노름과 같은 일반화된 목적 함수를 최소화하도록 설계되었다. 논문은 잠재 함수와 라그랑주 승수를 이용해, 이러한 목적 함수에 대해서도 O(1) 배속과 O(1) 경쟁성을 동시에 만족한다는 일반적인 정리를 증명한다. 즉, LWF는 평균 흐름시간뿐 아니라 다양한 성능 지표에 대해 강력한 보장을 제공한다는 점에서, 실무 시스템에 적용하기에 매우 유망한 알고리즘임을 확인한다.