이중 조건 큐의 생산 경로

생산자는 자신의 대기실에서 기다리고 저장 뒤 소비 대기실을 깨운다.

  1. 락 획득

    인터럽트 가능한 방식으로 큐 상태의 단독 접근권을 얻는다.

  2. notFull 대기

    용량이 찼으면 빈칸 술어가 참이 될 때까지 기다린다.

  3. 항목 삽입

    닫힘을 재확인하고 큐에 새 값을 추가한다.

  4. notEmpty 신호

    소비 가능한 데이터가 생겼음을 소비자 한 명에게 알린다.

핵심: 신호 대상은 현재 실행 역할이 아니라 이번 전이로 진행 가능해진 역할이다.