다중 소스 트래픽 할당에서 네트워크·서버 혼잡을 고려한 볼록 최적화와 가격 기반 분산 제어

초록

본 논문은 여러 출발지와 다수의 서비스 노드 사이에서 접근 경로 지연과 서버 대기 지연을 동시에 고려한 트래픽 할당 문제를 볼록 최적화 형태로 정형화하고, 각 서버가 발표하는 단일 혼잡 가격을 이용해 소스가 흐름을 분배하도록 하는 경량 분산 알고리즘을 제안한다. 중앙 최적해와 동일한 수렴성을 보이며, 다양한 엣지·클라우드·무선 시스템에 적용 가능함을 실험으로 입증한다.

상세 분석

이 논문은 두 종류의 비선형 지연 함수를 동시에 모델링한다는 점에서 기존의 네트워크 유틸리티 최대화(NUM) 혹은 단일 지연 모델과 차별화된다. 첫 번째는 출발지‑서버 간 접근 경로(예: 라우터·링크·무선 채널)의 지연 D₍ᵢⱼ₎(λᵢⱼ) 로, 사용률이 증가하면 급격히 발산하는 볼록 함수이며, M/M/1 형태 1/(μᵢⱼ−λᵢⱼ) 로 구체화된다. 두 번째는 서버 자체의 대기 지연 Dⱼ(Λⱼ) 로, 전체 유입량 Λⱼ=∑ᵢλᵢⱼ에 의존하며 역시 볼록·증가 함수이다. 두 지연을 합한 총 지연 eD₍ᵢⱼ₎=D₍ᵢⱼ₎+Dⱼ는 흐름 λᵢⱼ에 대한 곱셈 형태 λᵢⱼ·eD₍ᵢⱼ₎ 로 목적함수에 등장한다. 저자는 gᵢⱼ(x)=x·D₍ᵢⱼ₎(x)와 gⱼ(x)=x·Dⱼ(x) 를 정의하고, 각각의 2차 미분이 비음이므로 볼록성을 증명한다. 따라서 전체 최적화 문제는 선형 제약(흐름 보존·용량 제한) 위에 볼록 목적함수를 갖는 표준 형태가 된다.

KKT 조건을 전개하면, 각 사용된 경로 (i,j)에 대해
∂gᵢⱼ/∂λᵢⱼ + ∂gⱼ/∂Λⱼ = νᵢ + αᵢⱼ + βⱼ
와 같이 라그랑주 승수 νᵢ(소스별 흐름 보존), αᵢⱼ(경로 용량), βⱼ(서버 용량)가 등장한다. 여기서 ∂gᵢⱼ/∂λᵢⱼ는 접근 경로의 한계 지연, ∂gⱼ/∂Λⱼ는 서버의 혼잡 가격(pⱼ)으로 해석된다. 즉, 모든 사용된 경로는 “경로 한계 지연 + 서버 혼잡 가격”이 동일해야 한다는 Wardrop‑type 평형을 만족한다. 이 평형은 “총 한계 비용이 최소화된 흐름 분배”라는 직관과 일치한다.

분산 구현 아이디어는 바로 이 구조에 기반한다. 각 서버 j는 현재 총 부하 Λⱼ를 측정해 pⱼ = ∂gⱼ/∂Λⱼ 를 계산하고, 이를 스칼라 신호로 브로드캐스트한다. 소스 i는 받은 가격 집합 {pⱼ}와 자신의 접근 경로 한계 비용 ∂gᵢⱼ/∂λᵢⱼ 를 합산해,
min_{λᵢⱼ≥0,∑ⱼλᵢⱼ=λᵢ} ∑ⱼ λᵢⱼ (∂gᵢⱼ/∂λᵢⱼ + pⱼ)
를 풀어 새로운 흐름 분배를 얻는다. 이 서브문제는 λᵢⱼ에 대해 완전히 분리된 1차 볼록 최적화이며, 라그랑주 승수 νᵢ를 통해 간단히 해를 구할 수 있다(예: 물량을 비용이 낮은 경로에 역순으로 할당).

알고리즘은 가격 업데이트와 흐름 재분배를 교대로 수행한다. 가격 업데이트는 pⱼ^{t+1}=pⱼ^{t}+γ(Λⱼ^{t}−μⱼ+ε) 형태의 서브그라디언트 상승법을 사용해, 적절한 스텝 사이즈 γ>0 를 선택하면 전통적인 프라임스-듀얼 방법과 동일한 수렴성을 보인다. 저자는 수렴 증명을 위해 라그랑주 이중성, 강한 볼록성, 그리고 제한된 용량(ε) 조건을 활용한다.

실험에서는 M/M/1 모델을 기반으로 3개의 소스와 3개의 서버를 구성하고, 접근·서버 용량을 다양하게 바꾸어 시뮬레이션했다. 결과는 (1) 중앙 최적해와 거의 일치하는 비용 수렴, (2) 가격 신호 하나만으로도 복잡한 다중 경로·다중 서버 상호작용을 충분히 조정 가능함을 보여준다. 또한, 접근 지연만 고려하거나 서버 지연만 고려할 경우보다 전체 지연이 현저히 감소함을 확인했다.

이 논문의 주요 기여는 (i) 접근·서버 혼잡을 동시에 포함한 볼록 모델을 제시하고, (ii) KKT 기반의 총 한계 비용 평형을 명시적으로 도출했으며, (iii) 단일 스칼라 가격을 이용한 경량 분산 알고리즘을 설계·분석·실험까지 수행했다는 점이다. 특히 O‑RAN의 E2 인터페이스와 같은 제한된 제어 채널에서도 적용 가능하다는 실용적 함의가 크다.