비순환 포크조인 대기망의 대기시간 상한 하한 분석

초록

본 논문은 비순환 형태의 포크‑조인 대기망을 (max,+) 대수로 모델링하고, 사이클 평균시간에 대한 간단한 하한과 상한을 도출한다. 서비스 시간의 통계적 가정에 따라 경계의 거동을 분석하고, 수치 예시를 통해 이론적 결과의 실효성을 검증한다.

상세 분석

본 연구는 복합적인 동기화 메커니즘을 갖는 포크‑조인 대기망을 분석하기 위해 (max,+) 대수라는 비선형 대수 체계를 도입한다. (max,+) 대수는 전통적인 선형 대수와 달리 ‘최대(max)’ 연산과 ‘덧셈(+)’ 연산을 기본으로 하여, 작업이 여러 경로를 동시에 진행하고 다시 하나로 합쳐지는 구조를 자연스럽게 표현한다. 논문은 먼저 네트워크가 비순환(acyclic)이라는 전제 하에, 각 노드의 서비스 시간을 확률적 변수로 두고, 사이클(한 번의 포크와 조인 과정을 포함한 전체 흐름)의 시작 시점과 종료 시점을 (max,+) 선형 방정식 형태로 기술한다. 이를 통해 사이클 시간 T_k 를 T_k = max_i (A_i ⊗ x_{k-1} + B_i) 형태로 나타내며, 여기서 A_i, B_i는 네트워크 토폴로지와 서비스 시간 분포에 의해 정의된 (max,+) 행렬·벡터이다.

다음 단계에서는 이러한 표현을 이용해 평균 사이클 시간 𝔼