적대적 큐잉 이론을 위한 새로운 대기 전략

** 본 논문은 적대적 큐잉 이론(Adversarial Queueing Theory, AQT)에서 기존에 널리 사용되는 FIFO, LIFO, FFS 등 전통적인 큐잉 프로토콜이 보편적으로 불안정하거나, 안정하더라도 큐 크기가 지수적으로 증가하는 문제점을 지적한다. 이러한 한계를 극복하고자 저자들은 ‘인터벌‑전략(interval‑strategy)’이라는 새로운 결정론적 스케줄링 방식을 제안한다. 인터벌‑전략은 패킷을 일정한 시간 구간(phase)으로 나누어, 각 구간에 들어온 패킷만을 정적 라우팅(static routing)으로 전송하고, 구간 진행 중에 새로 들어오는 패킷은 다음 구간까지 보류한다. 이를 위해 각 네트워크 에지는 두 개의 큐를 갖는다. 첫 번째 큐는 현재 구간에 포함된 모든 패킷을 처리하고, 두 번째 큐는 구간 중에 주입된 패킷을 임시 저장한다. 현재 구간이 종료되면 두 번째 큐의 내용이 첫 번째 큐로 복사되어 다음 구간이 시작된다. 논문은 먼저 AQT의 기본 개념과 안정성 정의를 정리한다. adversary는 (r, b) 파라미터를 갖는 (r·|I|+b) 제한 하에 매 타임스텝마다 패킷을 주입한다. 여기서 r은 주입률, b는 버스트 크기를 의미한다. 프로토콜이 ‘보편적 안정(universal stable)’하다는 것은 모든 네트워크와 모든 adversary에 대해 시스템 내 패킷 수가 시간에 따라 유계임을 뜻한다. 반대로 ‘보편적 불안정(universal unstable)’이면 특정 네트워크와 adversary 조합에서 패킷 수가 무한히 증가한다. **1. 인터벌‑전략의 정의** 인터벌‑전략은 동적 라우팅을 정적 라우팅으로 변환한다는 점에서 혁신적이다. 정적 라우팅은 초기 단계에 모든 패킷이 네트워크에 존재하고, 이후 추가 주입이 없으므로 라우팅 스케줄을 사전에 최적화할 수 있다. 인터벌‑전략은 동적 상황을 “정적 라우팅 구간 + 대기 구간”의 반복 구조로 모델링한다. 이 구조는 기존 연구에서 정적 라우팅에 대해 알려진 상한(예: 최장 경로 길이 d에 대한 O(d) 상한)을 그대로 적용할 수 있게 만든다. **2. 일방향 연결선(One‑Way Line) 분석** 가장 단순한 토폴로지인 일방향 선형 네트워크를 대상으로 상세히 분석한다. adversary가 (b, r) 파라미터를 가지고 길이 d인 선을 이용할 때, 첫 구간에 존재할 수 있는 패킷 수는 최대 b이며, 각 패킷은 d 홉을 통과해야 하므로 첫 구간의 소요 시간은 b+d가 된다. 두 번째 구간에 들어오는 패킷 수는 r·b·d 로, 이후 구간마다 r의 거듭제곱 형태로 감소한다. 무한히 진행했을 때 전체 전송 시간은 d/(1‑r) 로 수렴한다. 따라서 최악 경우 한 패킷이 네트워크에 머무는 시간은 2·d/(1‑r) 로, r이 1에 가까워도 선형적인 상한을 유지한다. 이는 인터벌‑전략이 일방향 선형 네트워크에서 보편적으로 안정하고, 시스템 내 패킷 수가 O(d·b/(1‑r)) 로 다항(선형) 제한됨을 의미한다. **3. 트리 구조 분석** 다음으로 트리 토폴로지를 고려한다. 트리의 최장 경로 길이를 d라 하면, 첫 구간에 존재하는 패킷 수는 b·d, 두 번째 구간에 주입되는 패킷 수는 r·b·d, i번째 구간에 존재하는 패킷 수는 r^{i‑1}·b·d^{i} 로 표현된다. 여기서 r·d>1이면 이 식은 i가 커질수록 무한히 커지며, 시스템 내 패킷 수가 기하급수적으로 증가한다. 따라서 r·d>1인 경우 인터벌‑전략은 보편적 불안정을 보인다. 반대로 r·d≤1이면 패킷 수가 수렴하지만, 실제 네트워크에서는 경로가 짧거나 주입률이 매우 낮은 경우에만 해당한다. **4. 정적 라우팅 최악 경우 시스템 시간** 정적 라우팅 단계에서 가장 바쁜 에지(e)의 부하를 기준으로 시스템 시간을 상한한다. 기존 연구에서 LIS, SIS 등은 최장 경로 길이와 비례하는 O(d) 상한을 갖지만, 정확한 상수는 알려지지 않았다. 인터벌‑전략은 정적 라우팅 구간을 설계할 때, 해당 상한을 선형으로 맞출 수 있음을 증명한다. 즉, 정적 라우팅 단계의 최대 소요 시간을 O(d·b) 이하로 제한하면 전체 인터벌‑전략도 O(d·b/(1‑r)) 로 다항적 안정성을 확보한다. **5. 확률적 변형 및 시뮬레이션** 논문은 또한 인터벌‑전략의 확률적 변형을 제시한다. 여기서는 패킷 지연 시간과 에지 선택을 확률적으로 수행하여, “높은 확률로 보편적 안정”을 달성한다. 시뮬레이션에서는 다양한 네트워크(선형, 트리, 그리드)와 다양한 (r, b) 조합에 대해 구현된 인터벌‑전략을 실행하였다. 결과는 일방향 선형 네트워크와 r·d≤1인 트리에서 패킷 수가 이론적 상한 이하로 유지되는 것을 확인했으며, r·d>1인 경우에는 패킷 수가 급격히 증가해 불안정성을 재현하였다. **6. 결론 및 향후 연구** 인터벌‑전략은 동적 라우팅을 정적 라우팅으로 변환함으로써 분석이 용이하고, 특정 토폴로지에서는 보편적 안정과 선형 시간 복잡성을 보장한다. 그러나 트리와 같이 경로 길이와 주입률의 곱이 1을 초과하는 경우에는 불안정성을 내포한다는 한계가 있다. 향후 연구에서는 복합 토폴로지에 대한 혼합 전략(예: 부분적으로 인터벌‑전략을 적용하고, 나머지는 기존 LIS 등)이나, 동적 적응형 구간 길이 조절 메커니즘을 도입해 r·d 조건을 자동으로 만족시키는 방법을 탐색할 필요가 있다. **