공유 상태
큐 크기와 항목을 모니터 안에서만 변경한다.
모니터 프로토콜의 네 참여 요소
공유 상태와 대기 규칙은 같은 잠금 객체를 중심으로 연결되어야 한다.
모니터 객체
조건 술어
생산 가능 또는 소비 가능 여부를 반복 평가한다.
대기 집합
현재 행동할 수 없는 스레드가 락을 놓고 머문다.
알림 사건
상태를 바꾼 역할이 대기자에게 재검사를 요청한다.
핵심: 서로 다른 객체로 상태 보호와 알림을 나누면 신호 규약이 깨진다.
공유 상태와 대기 규칙은 같은 잠금 객체를 중심으로 연결되어야 한다.
큐 크기와 항목을 모니터 안에서만 변경한다.
생산 가능 또는 소비 가능 여부를 반복 평가한다.
현재 행동할 수 없는 스레드가 락을 놓고 머문다.
상태를 바꾼 역할이 대기자에게 재검사를 요청한다.
핵심: 서로 다른 객체로 상태 보호와 알림을 나누면 신호 규약이 깨진다.