M/M/1대기행렬 (M/M/1 Queue)

한 줄 정의: M/M/1대기행렬은 고객(작업)이 포아송 과정에 따라 무작위로 도착하고, 서비스 시간이 지수분포를 따르며, 서버가 1대인 대기행렬 시스템을 수학적으로 분석하는 확률 모형입니다.

쉽게 풀면

은행 창구가 하나뿐인 지점을 떠올려 보면 쉽습니다. 손님은 예측할 수 없는 간격으로 하나둘 도착하고, 창구 직원이 한 손님을 처리하는 시간도 매번 조금씩 다릅니다. M/M/1대기행렬은 이런 상황에서 손님이 평균적으로 얼마나 오래 기다릴지, 대기줄이 평균 몇 명이나 될지를 수식으로 계산해 주는 모형입니다. 여기서 M은 도착과 서비스가 각각 "메모리 없는(markovian)" 무작위 성질을 가진다는 뜻이고, 1은 서버가 하나라는 뜻입니다.

왜 중요한가

M/M/1대기행렬은 콜센터, 생산라인의 병목 설비, 병원 응급실, 통신 네트워크 등 서버가 하나인 시스템의 성능을 분석하는 데 널리 쓰이는 가장 기본적인 대기행렬 모형입니다. 복잡한 실제 시스템을 분석하기 전 기준선을 제공하고, 다른 대기행렬 모형(M/M/c, M/G/1 등)을 이해하는 출발점이 되기 때문에 산업공학의 서비스 시스템 설계 연구에서 자주 다뤄집니다.

논문에서는 이렇게 쓰입니다

"본 시스템은 도착률 λ와 서비스율 μ를 갖는 M/M/1대기행렬로 모형화되었으며, 이용률 ρ=λ/μ<1 조건에서 정상상태 해를 도출하였다."

시스템의 도착과 서비스 특성을 M/M/1 모형으로 가정하고, 안정적으로 운영되기 위한 조건을 확인했다는 의미입니다.

"M/M/1대기행렬 이론을 적용하여 단일 검사 스테이션에서의 평균 대기시간과 평균 대기고객 수를 산출하였다."

단일 서버 시스템의 성능 지표를 M/M/1 공식을 통해 계산했다는 의미입니다.

조금 더 깊게 보면

M/M/1 모형은 도착 과정을 포아송 과정으로, 서비스 시간을 지수분포로 가정하기 때문에 시스템의 상태(대기 중인 고객 수)가 마르코프 연쇄로 표현됩니다. 이 성질 덕분에 평균 대기시간, 평균 시스템 내 고객 수, 평균 대기행렬 길이 등을 비교적 간단한 폐형식(closed-form) 공식으로 유도할 수 있습니다. 이러한 지표들은 흔히 리틀의 법칙을 이용해 서로 연결되어 계산됩니다.

주의할 점

실제 시스템의 도착이나 서비스 시간이 항상 지수분포를 따르는 것은 아니므로, 실무 적용 시 데이터로 분포 가정을 검증할 필요가 있습니다. 또한 이용률 ρ가 1 이상이면 대기행렬이 무한히 길어져 시스템이 불안정해지므로, 모형 적용 시 이 조건을 반드시 확인해야 합니다.