모니터 우편함의 세 상태

한 칸 슬롯은 생산과 소비 조건을 가장 작은 상태 기계로 보여 준다.

빈 슬롯

message == null

생산자는 저장할 수 있고 소비자는 기다린다.

message != null

생산자는 알림을 보내고 다음 빈칸을 기다린다.

local = message

소비자는 값을 지역 변수로 옮긴다.

message = null

소비 완료 알림으로 생산 가능 상태가 된다.

핵심: null 저장을 금지하면 빈 슬롯과 정상 메시지의 표현이 충돌하지 않는다.