온라인 패킷 스케줄링 알고리즘 MG의 경쟁력 분석

본 논문은 QoS 버퍼 관리의 대표적인 온라인 문제인 bounded‑delay 패킷 스케줄링을 다룬다. 시간은 이산적이며, 각 시점에 도착하는 단위 길이 패킷은 릴리스 시점 rₚ, 마감 시점 dₚ, 가치 vₚ라는 세 가지 속성을 가진다. 온라인 알고리즘은 패킷이 도착하기 전까지 그 속성을 알 수 없으며, 매 시각 하나의 패킷만 전송할 수 있다. 목표는 마감 기한 내에 전송된 패킷들의 총 가치를 최대화하는 것이며, 성능 평가는 최적 오프라인 알고리즘과의 경쟁비(competitive ratio)로 측정한다. 관련 연구에서는 그리디 알고리즘이 2‑competitive임이 알려져 있었고, EDF_α와 같은 변형도 제안되었지만, 이들 역시 2‑competitive을 넘지 못한다. 저자는 이러한 배경에서 메모리리스(memoryless) 알고리즘인 MG(Modified Greedy)를 제시한다. MG는 매 단계마다 현재 버퍼에 존재하는 패킷들만을 이용해 최적 임시 스케줄(S)을 계산한다. S는 마감 오름차순·가치 내림차순으로 정렬된 패킷 집합이며, 여기서 가장 이른 마감(e)과 가장 높은 가치(h)를 식별한다. 이후 두 파라미터 α≥β≥1을 이용해 전송할 패킷을 선택한다. 구체적인 선택 규칙은 다음과 같다. 1) vₑ ≥ v_h/α이면 e를 전송한다. 2) 그렇지 않으면 v_f ≥ max{v_h/α, β·vₑ}를 만족하는 첫 번째 패킷 f를 전송한다. 알고리즘은 α=1,β=1이면 순수 그리디, β=1이면 EDF_α와 동일한 경쟁성을 보인다. 논문은 먼저 일반 모델에 대해 MG의 경쟁비를 분석한다. 가상의 적(ADV)을 도입해 MG와 동일한 버퍼 상태를 유지하도록 조작하고, 각 단계에서 ADV가 얻는 가치가 MG의 두 배를 초과하지 않음을 보인다. 이를 통해 1≤β≤α≤2일 때 MG는 2‑competitive임을 증명한다. 이어서 α=β=φ(골든비≈1.618)로 설정하면 경쟁비가 φ에 수렴함을 보이며, 이는 현재 알려진 하한 φ와 일치해 최적에 가깝다. 다음으로 논문은 여러 특수 경우에 대한 결과를 제시한다. - **Agreeable deadline**(릴리스 순서와 마감 순서가 동일)에서는 MG가 φ‑competitive이며, 이는 기존 연구와 일치한다. - **Anti‑agreeable deadline**에서는 경쟁비가 2이며, 일반 모델과 동일한 상한을 가진다. - **Agreeable value**와 **anti‑agreeable value** 경우에는 각각 2와 1(α=∞)의 경쟁비를 보인다. 특히 anti‑agreeable value에서는 MG가 최적(1‑competitive)임을 증명한다. - **Agreeable deadline/value** 조합에서는 α=β=φ²≈2.618일 때 φ‑competitive을 달성하고, 이는 최적에 근접한다. - **Anti‑agreeable deadline/value** 조합에서는 1‑competitive, 즉 최적임을 보인다. 각 변형에 대한 증명은 충전(Charging) 기법과 임시 스케줄의 배치 구조를 활용한다. 특히 agree­able deadline/value 경우에는 패킷을 배치별로 그룹화하고, 버퍼에서 탈락되는 패킷의 가치와 마감 관계를 정밀히 추적해 충전량이 MG의 가치보다 크게 되지 않음을 보인다. 마지막으로 논문은 MG가 구현이 간단하면서도 다양한 상황에서 최적 혹은 최적에 근접한 경쟁비를 제공한다는 점을 강조한다. 이는 실시간 네트워크 장비에서 QoS 보장을 위한 실용적인 알고리즘으로 활용될 가능성을 시사한다.