정지 원인을 재구성하는 증거

하나의 상태 이름이 아니라 소유권과 업무 흐름을 연결해야 한다.

멈춘 작업자

잠금 소유자

어떤 스레드가 대상 모니터를 들고 있는지 찾는다.

대기 호출

wait, await, park, join 중 실제 스택 위치를 확인한다.

조건 값

큐 크기와 종료 플래그가 어떤 술어를 만들었는지 본다.

시간 변화

간격을 둔 덤프에서 같은 프레임과 처리량을 비교한다.

핵심: 순환 락이 없어도 조건 변경자가 실행되지 않는 논리 정지는 발생할 수 있다.