유한 버퍼의 총량 보존 흐름

시도한 항목은 수용과 거부 중 정확히 한 결과로 귀결되어야 한다.

  1. 제출 시도

    생산자가 항목과 함께 버퍼의 원자적 삽입 연산을 호출한다.

  2. 용량 판정

    현재 크기가 상한보다 작은지 같은 임계 영역에서 확인한다.

  3. 결과 분기

    빈칸이 있으면 수용하고 가득 찼으면 명시적으로 거부한다.

  4. 지표 대조

    수용, 거부, 소비, 잔여 수를 보존식으로 검산한다.

핵심: 시도 수는 수용 수와 거부 수의 합과 같아야 손실을 관찰할 수 있다.