조건 변수의 notify를 락 밖으로 옮깁니다. 깨움 경합과 조건 변수 객체 수명은 어떻게 보호하나요?

predicate 변경은 같은 mutex로 보호하고 알림은 그 상태 변경 이후 수행합니다. 락 밖 notify는 깨어난 스레드가 즉시 같은 락을 기다리는 경합을 줄일 수 있지만 항상 더 빠르다는 보장은 없습니다.

락을 푼 직후 마지막 소유자가 조건 변수를 파괴하면 notify가 죽은 객체를 접근할 수 있어 notifier 수명까지 보장해야 합니다. 대기자는 while로 predicate를 재확인합니다. 알림 위치·spurious wakeup·종료·객체 파괴를 함께 시험하고 신호 자체를 상태로 사용하지 않습니다.