BLOCKED 한 줄만으로 교착이나 논리 정지를 판정할 수 없습니다.
어떤 lock을 누가 보유
어느 monitor 진입 대기
무슨 술어를 기다림
누가 상태를 바꿈
처리량이 실제 증가하는가
핵심: 스레드 덤프와 진행 지표를 함께 보아 누가 무엇을 바꿀 수 있는지 찾습니다.