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

초록

본 논문은 차등 프로세서 공유(DPS) 정책에서 가중치 벡터가 시스템의 평균 체류시간에 미치는 영향을 분석한다. 지수 서비스 시간 가정 하에, 가중치 순서가 서비스율 순서와 반비례할 때 기대 체류시간이 감소한다는 단조성 정리를 제시하고, 이를 위해 클래스 평균이 충분히 차이나는 경우에 한정된 충분조건을 도출한다. 또한, 동일 평균을 가진 클래스들을 하나로 합치는 방법과 수치 실험을 통해 이론적 결과를 검증한다.

상세 분석

논문은 먼저 차등 프로세서 공유(DPS) 모델을 정의하고, 각 클래스 k가 포아송 도착률 λ_k와 평균 1/µ_k인 지수 서비스 시간을 가진다고 가정한다. 시스템 전체 부하 ρ=∑λ_k/µ_k<1을 전제한다. DPS에서는 가중치 벡터 g=(g₁,…,g_M) >0에 따라 현재 시스템에 존재하는 N_k개의 작업이 각각 g_k/∑{i=1}^M g_i N_i 비율로 서비스된다. 기존 연구에서는 가중치 선택이 시스템 성능에 미치는 영향을 정량화하기 어려웠지만, 본 논문은 기대 체류시간 T_DPS(g)를 선형 방정식 시스템(1)으로 표현하고, 이를 행렬 형태로 재구성한다. 핵심은 두 가중치 벡터 α와 β가 모두 가중치 순서 집합 G(즉, α₁≥α₂≥…≥α_M, β₁≥β₂≥…≥β_M)를 만족할 때, α와 β 사이에 비율 관계 α{i+1}/α_i ≤ β_{i+1}/β_i (i=1,…,M−1) 가 성립하면 T_DPS(α) ≤ T_DPS(β)임을 보이는 정리 1이다. 이 정리는 “가중치가 최적 cµ‑rule에 가까울수록 체류시간이 짧아진다”는 직관을 수학적으로 입증한다.

정리 1의 증명은 σ(g){ij}=g_j µ_i/(g_i µ_j+g_j µ_i) 라는 보조 함수를 도입하고, σ의 단조성(레마 6)과 행렬 A(g), D(g)의 구조적 특성을 이용한다. 특히, y=1ᵗ(E−B(α))^{-1}M 벡터가 y₁≥y₂≥…≥y_M을 만족하면 T_DPS(α)−T_DPS(β)≤0이 된다. 이 y의 순서는 추가적인 충분조건(조건 5) µ{j+1}/µ_j ≤ 1−ρ (j=1,…,M−1) 로 보장된다. 즉, 클래스 평균 서비스 속도가 충분히 차이나면 y의 단조성이 유지되어 정리 1이 성립한다. 조건 5는 필요충분조건은 아니며, 부하가 낮을수록 완화된다.

조건을 만족하지 않는 인접 클래스에 대해서는 가중치를 동일하게 설정(α_{j+1}=α_j, β_{j+1}=β_j)하면 여전히 정리를 적용할 수 있다(레마 9). 이는 평균이 비슷한 클래스들을 하나의 그룹으로 묶어 동일 가중치를 부여함으로써 제한을 극복할 수 있음을 의미한다.

또한, λ_i가 1이 아닌 일반적인 경우에도 정리 1을 확장하는 방법을 제시한다. λ_i를 공통 배수 q로 통일하거나, 유리수·실수 경우를 연속성 원리를 이용해 변환함으로써 동일한 결과를 얻는다(명제 10).

수치 실험에서는 M=3인 시스템에 대해 가중치 벡터 g(x)=(x−1, x−2, x−3)/∑(x−i) (x>1)를 사용하였다. µ₁=160, µ₂=14, µ₃=1, λ_i=1으로 ρ=0.91인 경우, 조건 5가 만족되어 T_DPS(g(x))가 x가 증가함에 따라 단조 감소함을 확인했다. 반면, µ₁=5, µ₂=4, µ₃=3 (ρ≈0.9)에서는 조건이 위배되어 단조성이 깨지는 현상이 관찰되었다. 이러한 결과는 이론적 정리와 수치적 일치성을 보여준다.

전체적으로 논문은 DPS 정책에서 가중치 선택이 기대 체류시간에 미치는 영향을 명확히 규정하고, 클래스 평균 차이가 클 때 단조성을 보장하는 충분조건을 제시함으로써 실무적 가중치 설계에 유용한 지침을 제공한다.