유한 버퍼는 네 수량의 합과 경계를 항상 맞춘다
capacity와 size뿐 아니라 수용·처리·거부 누적을 함께 보면 손실을 찾을 수 있습니다.
| 수량 | 불변식 | 의미 |
|---|---|---|
| size | 0 ≤ size ≤ capacity | 현재 대기 |
| accepted | queued+consumed | 수용 누적 |
| rejected | submitted-accepted | 거부 누적 |
| consumed | accepted-queued | 처리 누적 |
| closed | 새 수용 금지 | 수명 상태 |
핵심: 종료 토큰은 정상 데이터와 분리해 수량 통계를 오염시키지 않습니다.