제한된 큐에서 마감시간이 있는 가중 패킷 스케줄링 알고리즘

1. **문제 정의 및 배경** - 라우터 버퍼 관리에서 패킷마다 가치와 마감시간을 부여해 QoS를 차별화하고자 하는 요구가 증가하고 있다. 기존 연구는 무한 버퍼를 가정하거나, 마감시간이 패킷 도착 순서와 일치하는 ‘agreeable deadline’ 경우에만 제한적인 경쟁비를 제공했다. - 본 논문은 이러한 한계를 극복하고, 실제 라우터가 갖는 용량 제한 b∈ℕ⁺를 명시적으로 모델링한 “유한 큐 모델(finite‑queue model)”을 제시한다. 시간은 이산적이며, 매 단계 하나의 패킷만 전송 가능하고, 패킷은 도착 시점에만 알려진 가치 wₚ≥0와 마감시간 dₚ∈ℤ⁺를 가진다. 2. **관련 연구와 한계** - bounded‑delay 모델(무한 버퍼)에서는 deterministic 알고리즘의 최적 하한이 φ≈1.618이며, 2‑competitive greedy 알고리즘이 알려져 있다. - 다중 버퍼 확장에서는 9.82‑competitive deterministic 메모리리스 알고리즘이 존재하지만, 유한 큐에 대한 연구는 거의 없었다. - 무작위화된 알고리즘은 e/(e‑1)≈1.582의 경쟁비를 달성했지만, 역시 무한 버퍼 전제였다. 3. **알고리즘 ME (Modified EDF)** - 기본 아이디어: EDF는 가장 이른 마감시간을 가진 패킷을 전송하지만, 포화 시 최소 가치 패킷을 삭제한다. ME는 이 과정을 “가치‑마감쌍을 수정”하여, 현재 큐에 있는 패킷들의 가치를 기준으로 가상의 마감시간을 재조정한다. - 구체적 동작: 1) 새 패킷이 도착하면, 큐가 가득 있으면 현재 큐 내 최소 가치 패킷을 삭제하고 새 패킷을 삽입한다. 2) 전송 단계에서는 현재 큐에서 “가치 대비 마감시간 비율”이 가장 높은 패킷을 선택한다. - 경쟁비 분석: 충전 스킴을 도입해, OPT가 전송한 각 패킷에 대해 ME가 일정량(≤3배)만큼 “충전”하도록 설계한다. 불변식은 (i) 큐 크기 ≤ b, (ii) 각 충전량 ≤ 3·wₚ, (iii) 전체 충전량 ≤ 3·OPT 총 가치 로 구성된다. 이를 통해 ME는 언제나 OPT 대비 최소 1/3의 가치를 확보한다. 4. **알고리즘 RME (Randomized ME)** - 무작위 선택을 통해 기대 경쟁비를 개선한다. 각 단계에서 현재 큐에 있는 패킷들을 가치‑마감비율에 따라 정렬하고, 상위 ⌈φ⌉개의 패킷 중 하나를 확률적으로 선택한다. 선택 확률은 φ²에 맞추어 조정되어, 기대 충전량이 ≤ φ²·wₚ 로 제한된다. - 분석은 ME와 동일한 충전 스킴을 사용하지만, 확률적 기대값을 고려한다. 결과적으로 E