다중 서버 큐잉 시스템에서 최대 가중치 매칭의 지연 최적성

1. **연구 배경 및 문제 정의** 본 논문은 무선 네트워크와 같은 공유 자원 시스템에서, N개의 병렬 큐와 K개의 동일 서버가 존재하는 시간 슬롯 기반 큐잉 모델을 다룬다. 각 서버와 큐 사이의 연결 상태 Cₙ,ₖ(t)는 시간에 따라 독립적인 베르누이 확률 p₂로 변동한다. 한 슬롯에서 하나의 서버는 하나의 큐에만 할당될 수 있으며, 하나의 큐도 동시에 하나의 서버만 받을 수 있다. 패킷 도착 Aₙ(t) 역시 i.i.d. 베르누이(파라미터 λ)이며, 서비스는 한 슬롯당 하나의 패킷을 처리한다. 이러한 모델은 무선 채널의 불확실성, 릴레이 혹은 서브채널의 동시 할당 제한 등을 추상화한다. 2. **기존 연구와 차별점** 단일 서버·다중 큐 시스템에서는 LCQ(Longest Connected Queue) 정책이 처리량 및 지연 모두에서 최적임이 알려져 있다. 다중 서버·다중 큐(MQMS‑Type2)에서는 Maximum Weight (MW) 정책이 처리량 최적성을 보였지만, 지연 최적성은 증명되지 않았다. 특히, 서버가 개별적으로 연결되는 경우(그림 1(b)와 같이) 기존의 서버‑뱅크 모델과는 구조적 차이가 있어 새로운 분석이 필요했다. 3. **Maximum Weighted Matching (MWM) 정책 정의** 각 슬롯 t에서 현재 큐 길이 Xₙ(t‑1)와 연결 상태 Cₙ,ₖ(t)를 이용해 가중치 wₙ,ₖ = Xₙ(t‑1)·Cₙ,ₖ(t)를 부여한다. 그 후 N×K 완전 이분 그래프에서 가중치 합을 최대화하는 매칭을 찾는 것이 MWM 정책이다. 이는 백프레셔(back‑pressure) 알고리즘의 특수 형태이며, 정수계획법으로 표현될 수 있다. 4. **주요 이론적 결과** - **Lemma 1·2 (균형성 정리)**: 매칭 가중치가 최대인 경우, 선택된 매칭은 큐 길이 벡터를 가능한 한 균등하게 만든다. 즉, “가중치 최대화 ⇔ 큐 균형화”가 성립한다. 이 정리는 그래프 이론(매칭의 교환성)과 큐 길이의 부분 순서(partial order)를 결합해 증명된다. - **Stochastic Ordering Proof**: 동적 커플링 기법을 사용해, 임의의 인과적 정책 π와 MWM 정책을 같은 확률 공간에 정의한다. 두 정책이 동일한 도착·연결 실현을 공유하도록 구성한 뒤, 매 슬롯마다 MWM이 선택한 매칭이 큐 길이 벡터를 “작게” 만든다는 것을 보인다. 따라서 총 큐 점유량 ΣXₙ(t)와 같은 대칭 비용 함수는 모든 t에 대해 MWM이 확률적으로 최소이다. - **Imperfect Service Extension**: 서비스 실패 확률 ρ를 도입해 서비스 성공 여부를 독립적인 베르누이 변수 Sₙ,ₖ(t)로 모델링한다. 실패 시 큐 길이는 감소하지 않는다. 이 경우에도 MWM이 가중치 최대화를 목표로 하므로, 실패 여부와 무관하게 동일한 매칭 선택이 이루어지며, 앞서 증명한 stochastic ordering이 그대로 적용된다. - **Generalized Arrival/Connectivity Processes**: 도착 및 연결 과정이 i.i.d. 베르누이에서 “조건부 순열 불변”(conditional permutation invariant) 분포로 확장될 때, 시스템 전체의 대칭성이 유지된다. 따라서 MWM이 여전히 비용 함수를 최소화한다는 일반화 정리를 제시한다. 5. **시뮬레이션 및 실험** 시뮬레이션에서는 MWM 정책을 LCQ 및 무작위 매칭(Random) 정책과 비교한다. 평균 총 큐 점유량 및 평균 대기시간을 측정한 결과, MWM이 가장 낮은 값을 기록했으며, 특히 서버 수 K가 증가할수록 그 차이가 두드러졌다. 서비스 실패 확률을 0.1~0.3 범위로 변동시켜도 MWM의 우수성은 유지되었다. 6. **실용적 의미와 적용 가능성** 본 연구는 무선 액세스 네트워크, 클라우드 데이터센터, 그리고 사물인터넷(IoT) 환경에서 실시간 지연을 최소화해야 하는 스케줄링 문제에 직접적인 설계 지침을 제공한다. 특히, 서버와 큐 사이의 연결이 독립적으로 변동하고, 서비스 실패가 존재하는 현실적인 상황에서도 MWM이 최적임을 보였으므로, 기존 백프레셔 기반 알고리즘을 그대로 구현해도 지연 성능을 크게 향상시킬 수 있다. 7. **결론** i.i.d. 베르누이 도착·연결, 서비스 실패, 그리고 조건부 순열 불변 분포 등 다양한 확장 모델을 포괄적으로 고려했을 때, Maximum Weighted Matching 정책이 처리량 최적성을 넘어 지연 최적성까지 보장한다는 강력한 이론적·실험적 증거를 제시하였다. 이는 다중 서버·다중 큐 시스템에서 가장 간단하면서도 강력한 스케줄링 원칙으로 자리매김할 수 있음을 시사한다.