락을 쥔 sleep은 빈칸을 만들 소비자까지 입구에서 막는다
생산자가 full 조건에서 monitor를 보유한 채 잠들면 소비자는 remove를 실행할 수 없습니다.
buffer fullproducer lock 보유
producer sleeplock 유지
consumer 진입BLOCKED
빈칸 생성실행 불가
복원조건 대기로 lock release
핵심: 시간 대기는 조건을 바꾸는 주체에게 lock을 양보하지 않아 정지를 해결하지 못합니다.
생산자가 full 조건에서 monitor를 보유한 채 잠들면 소비자는 remove를 실행할 수 없습니다.
핵심: 시간 대기는 조건을 바꾸는 주체에게 lock을 양보하지 않아 정지를 해결하지 못합니다.