정지 원인은 상태 이름보다 소유자·입구·조건으로 재구성한다

BLOCKED 한 줄만으로 교착이나 논리 정지를 판정할 수 없습니다.

멈춘 thread왜 진행하지 못하는가

owner

어떤 lock을 누가 보유

entry

어느 monitor 진입 대기

condition

무슨 술어를 기다림

signal source

누가 상태를 바꿈

progress

처리량이 실제 증가하는가

핵심: 스레드 덤프와 진행 지표를 함께 보아 누가 무엇을 바꿀 수 있는지 찾습니다.