차등 프로세서 공유 정책 비교

본 논문은 차등 프로세서 공유(Discriminatory Processor Sharing, 이하 DPS) 정책의 성능을 가중치 벡터의 선택 관점에서 체계적으로 분석한다. DPS는 Kleinrock이 제안한 정책으로, 여러 클래스의 작업이 하나의 서버를 공유하면서 각 클래스에 부여된 가중치에 비례하여 서비스 비율을 할당받는다. 이러한 구조는 TCP 흐름 제어, 웹 서버 스케줄링, 라운드‑로빈 방식 등 다양한 네트워크·컴퓨팅 환경에 적용 가능하다. **1. 모델 정의 및 기존 연구** M개의 클래스가 존재하고, 클래스 k는 포아송 도착률 λ_k와 평균 1/µ_k인 지수 서비스 시간을 가진다. 시스템 부하 ρ=∑λ_k/µ_k<1을 가정한다. 가중치 벡터 g=(g₁,…,g_M) >0에 따라 현재 N_k개의 작업이 각각 g_k/∑_{i=1}^M g_i N_i 비율로 서비스된다. 기존 연구(Fayolle 등, Kim & Kim 등)는 지수 서비스 시간 가정 하에 기대 체류시간 T_k를 선형 방정식 시스템(1)으로 구했으며, 최적 가중치 선택이 어려운 문제임을 강조했다. **2. 문제 설정** 본 논문은 두 개의 가중치 벡터 α와 β에 대해 기대 전체 체류시간 T_DPS(·)의 비교를 목표로 한다. 특히, α와 β가 모두 가중치 순서 집합 G(α₁≥α₂≥…≥α_M, β₁≥β₂≥…≥β_M)를 만족할 때, 어느 쪽이 더 작은 체류시간을 제공하는지를 규명한다. **3. 주요 정리와 증명** - **정리 1**: α, β∈G이며 α_{i+1}/α_i ≤ β_{i+1}/β_i (i=1,…,M−1) 를 만족하고, 추가적으로 클래스 평균 비율이 µ_{j+1}/µ_j ≤ 1−ρ (j=1,…,M−1) 인 경우 T_DPS(α) ≤ T_DPS(β) 가 성립한다. 이는 “가중치가 최적 cµ‑rule에 가까울수록 기대 체류시간이 감소한다”는 의미이다. - **증명 개요**: 기대 체류시간을 행렬 형태 T(g) = (E−D(g)−A(g))^{-1}·(1/µ) 로 표현하고, σ(g)_{ij}=g_j µ_i/(g_i µ_j+g_j µ_i) 라는 보조 함수를 도입한다. 레마 5와 레마 6을 통해 α와 β 사이의 비율 관계가 σ 행렬의 원소 순서를 결정함을 보인다. 이후 y=1ᵗ(E−B(α))^{-1}M 벡터가 y₁≥y₂≥…≥y_M을 만족하면 T_DPS(α)−T_DPS(β)≤0이 된다. y의 순서는 조건 5에 의해 보장된다. - **조건 5의 해석**: µ_{j+1}/µ_j ≤ 1−ρ는 클래스 평균 서비스 속도가 충분히 차이나야 함을 의미한다. 부하가 낮을수록 이 조건은 완화된다. 조건을 만족하지 않는 경우, 인접 클래스에 동일 가중치를 부여하면 y의 순서를 회복할 수 있다(레마 9). 이는 평균이 비슷한 클래스들을 하나로 묶어 동일 가중치를 주는 전략과 일치한다. - **λ_i 일반화**: 명제 10에서는 λ_i가 1이 아닌 경우에도 정리 1을 적용할 수 있음을 보인다. λ_i를 공통 배수 q로 스케일링하거나, 유리수·실수 경우를 연속성 원리로 확장함으로써 동일한 단조성 결과를 얻는다. **4. 수치 실험** M=3인 시스템에 대해 두 가지 파라미터 셋을 사용하였다. 첫 번째 셋은 µ₁=160, µ₂=14, µ₃=1, λ_i=1 (ρ=0.91) 로 조건 5가 만족한다. 가중치 벡터를 g(x)=(x−1, x−2, x−3)/∑(x−i) (x>1) 로 정의하고 x를 증가시켰을 때 T_DPS(g(x))가 단조 감소함을 확인했다. 두 번째 셋은 µ₁=5, µ₂=4, µ₃=3 (ρ≈0.9) 로 조건 5가 위배되었으며, 동일한 가중치 변화를 적용했을 때 체류시간이 비단조적으로 변함을 관찰했다. 이는 이론적 충분조건의 필요성을 강조한다. **5. 실무적 함의** 정리 1은 가중치 선택 시 “큰 가중치를 큰 평균 서비스 속도를 가진 클래스에 할당하고, 비율이 점진적으로 감소하도록 설계”하면 기대 체류시간을 최소화할 수 있음을 제시한다. 또한, 평균이 비슷한 클래스들을 하나로 합쳐 동일 가중치를 부여하면 조건 5를 우회할 수 있어, 실제 시스템 설계 시 클래스 통합 전략을 활용할 수 있다. **6. 결론** 본 연구는 DPS 정책에서 가중치 벡터와 클래스 평균 사이의 관계가 기대 체류시간에 미치는 영향을 정량적으로 규명하였다. 충분조건(µ_{j+1}/µ_j ≤ 1−ρ) 하에서 가중치 순서가 서비스율 순서와 일치하면 체류시간이 단조적으로 감소한다는 정리를 제시하고, 이를 수치적으로 검증하였다. 이러한 결과는 네트워크·클라우드·운영체제 등 다양한 분야에서 DPS 기반 스케줄링을 최적화하는 데 실용적인 가이드라인을 제공한다.