우선순위 큐 네트워크의 대기시간 역학

초록

본 연구는 기존 AND형 상호작용 프로토콜이 루프가 있는 큐 네트워크에서 충돌로 인해 동작이 정지함을 확인하고, 확장 가능한 OR형 프로토콜을 도입한다. 네트워크 구조와 큐 수에 따라 대기시간 분포가 모두 멱법칙 꼬리를 보이지만, 지수는 모델에 따라 달라진다. 또한 동시 실행에 따른 우선순위 충돌이 대기시간 멱법칙 지수에 중요한 영향을 미침을 보여준다.

상세 분석

우선순위 큐 모델은 인간의 작업 처리 패턴을 모사하기 위해 제안된 이론적 프레임워크로, 각 작업에 우선순위를 할당하고 가장 높은 우선순위 작업을 먼저 수행한다. Oliveira와 Vazquez가 제시한 2인 상호작용 모델에서는 두 큐가 동시에 작업을 수행해야 하는 AND형 프로토콜을 사용했는데, 이는 두 노드가 모두 같은 작업을 선택해야만 실행이 가능하다는 제약을 의미한다. 본 논문은 이러한 AND형 규칙을 일반적인 네트워크 구조, 특히 사이클(루프)이 존재하는 경우에 적용했을 때, 우선순위 충돌이 급격히 누적되어 시스템이 ‘동결(frozen)’ 상태에 빠진다는 중요한 문제점을 발견한다. 즉, 특정 작업이 지속적으로 높은 우선순위를 차지하면서 다른 작업은 영원히 실행되지 못하는 현상이 발생한다.

이를 해결하기 위해 저자들은 OR형 프로토콜을 제안한다. OR형에서는 두 노드 중 하나라도 해당 작업을 선택하면 실행이 가능하므로, 충돌 가능성이 크게 감소한다. 이 프로토콜은 네트워크 규모와 토폴로지에 관계없이 확장 가능하며, 실제 인간 사회에서의 협업이나 병렬 처리 상황을 보다 현실적으로 반영한다는 점에서 의미가 크다.

실험적으로는 완전 그래프, 원형(링) 네트워크, 그리고 무작위 스케일프리 네트워크 등 다양한 토폴로지를 대상으로 시뮬레이션을 수행하였다. 결과는 모든 경우에서 대기시간 분포 P(τ) 가 τ^(-α) 형태의 멱법칙 꼬리를 보였으며, α 값은 네트워크 차수, 큐의 수, 그리고 프로토콜 종류에 따라 변동하였다. 특히, OR형에서는 α가 1.5~2.5 사이에서 변하는 반면, AND형에서는 루프가 있는 경우 α가 정의되지 않을 정도로 분포가 급격히 왜곡되었다.

또한, 동시 실행(synchrony) 현상이 우선순위 충돌을 유발한다는 점을 강조한다. 동기화된 타임스텝에서 여러 큐가 동일한 우선순위 작업을 선택하면, AND형에서는 실행이 불가능해 정체가 발생하지만, OR형에서는 어느 한쪽이라도 실행 가능하므로 정체가 완화된다. 이러한 차이는 대기시간 멱법칙 지수 α에 직접적인 영향을 미쳐, 동기화 정도가 높은 시스템일수록 α가 크게 변동한다는 결론을 도출한다.

이러한 결과는 인간의 작업 처리, 컴퓨터 네트워크 패킷 스케줄링, 그리고 분산 시스템에서의 작업 할당 메커니즘을 이해하는 데 중요한 시사점을 제공한다. 특히, 시스템 설계 시 우선순위 충돌을 최소화하고 동시 실행을 적절히 제어함으로써 대기시간을 효율적으로 관리할 수 있음을 보여준다.