모니터 프로토콜은 lock·predicate·wait set·signal이 함께 동작한다

네 요소 중 하나라도 다른 객체나 다른 조건을 사용하면 신호 유실과 불변식 위반이 생깁니다.