대규모 이기종 프로세서 공유 시스템에서의 부하 균형 분석

초록

본 논문은 서버 속도가 서로 다른 대규모 PS(Processor Sharing) 시스템에서 무작위화된 파워‑오브‑투(두 서버 선택) 부하 균형 정책을 분석한다. 평균장(Mean‑field) 접근과 무한 서버 한계에서의 독립성 가정을 이용해 정적 최적 라우팅과 비교한 안정성 영역, 평균 체류시간, 그리고 서비스 시간 분포에 대한 무감도성을 제시한다. 또한, 정적 라우팅과 파워‑오브‑투를 결합한 하이브리드 스킴이 안정성 손실을 보완하면서도 평균 지연을 최소화함을 보인다.

상세 분석

이 논문은 이기종 서버군을 갖는 대규모 PS 시스템에 두 가지 무작위 부하 균형 방식을 적용한다. 첫 번째는 전통적인 파워‑오브‑투(SQ(2)) 스킴으로, 도착 시 두 서버를 균등하게 샘플링하고 현재 미완료 작업 수가 적은 서버에 작업을 할당한다. 두 번째는 Lagrange 그림자 비용(미완료 작업 수 ÷ 서버 용량)을 기준으로 선택하는 변형 스킴이다. 두 스킴 모두 서버가 무한히 많아질 때 ‘전파된 혼돈(Propagation of Chaos)’이 성립한다는 가정 하에, 각 서버의 점유 상태가 서로 독립적으로 행동한다는 asymptotic independence 를 이용해 분석을 전개한다.

먼저, 지수분포 서비스 시간 가정 하에 평균장 방정식(ODE) 시스템을 도출한다. 상태 변수 u_j^n(t)는 용량 C_j를 가진 서버 중 n개의 작업을 보유한 서버 비율을 의미한다. 도착률 λ와 서비스율 µ를 이용해 전이율을 명시하고, 이를 통해 고정점 P_j^n을 구한다. 중요한 결과는 (i) 고정점이 존재하고 전역적으로 안정적이며, (ii) 고정점의 꼬리 분포가 이중 지수적으로 감소한다는 점이다. 이중 지수 감소는 서버 점유가 매우 빠르게 0에 수렴함을 의미하며, 따라서 평균 체류시간이 유한하고, 시스템이 ‘정상’ 상태에 머무른다.

다음으로, 안정성 영역을 분석한다. 정적 상태‑독립 라우팅(Optimal State‑Independent Scheme)에서는 λ < µ·∑j γ_j C_j 라면 시스템이 안정된다. 그러나 SQ(2) 스킴에서는 더 엄격한 조건 λ < µ·min{I⊆J} (∑{j∈I} γ_j C_j)/(∑{j∈I} γ_j)^2 가 필요하다. 즉, 서버 용량이 이질적일 경우 파워‑오브‑투가 전체 시스템의 안정성을 제한한다는 역설적인 현상이 발견된다. 이는 두 서버를 무작위로 선택하면서도 용량 차이가 큰 서버가 과부하될 가능성이 높아지기 때문이다.

이 문제를 해결하기 위해 제안된 하이브리드 스킴은 먼저 서버 클래스(용량 C_j)를 확률 p_j에 따라 선택하고, 그 클래스 내에서 두 서버를 무작위로 샘플링한다. 이렇게 하면 각 클래스별로 파워‑오브‑투의 이점을 유지하면서 전체 시스템의 안정성 한계를 원래의 정적 라우팅 수준으로 복원한다. 수학적으로는 p_j를 최적화하여 평균 체류시간을 최소화하고, 평균장 방정식에 동일한 형태의 고정점이 존재함을 보인다.

또한, 서비스 시간 분포에 대한 무감도성을 증명한다. 평균장 분석은 서비스 시간의 첫 번째 모멘트(1/µ)만을 필요로 하며, 고차 모멘트가 달라져도 고정점과 꼬리 분포 형태는 변하지 않는다. 이는 실제 웹 서비스와 같이 다양한 작업 크기를 갖는 환경에서도 제안된 스킴이 견고하게 동작함을 의미한다.

수치 실험에서는 이론적 고정점과 시뮬레이션 결과가 매우 일치함을 확인한다. 특히, 이기종 환경에서 파워‑오브‑투만 사용했을 때 평균 체류시간이 정적 라우팅보다 오히려 악화되는 경우가 관찰되었으며, 하이브리드 스킴이 이를 크게 개선한다.

요약하면, 이 논문은 (1) 이기종 PS 시스템에서 파워‑오브‑투의 안정성 제한을 정확히 규명하고, (2) 평균장 및 전파된 혼돈 기법을 통해 고정점과 꼬리 분포를 명시적으로 구하며, (3) 하이브리드 라우팅을 통해 안정성과 성능을 동시에 달성하는 실용적인 설계를 제시한다는 점에서 학술적·실무적 기여가 크다.