스레드 상태와 업무 조건의 경계

진단 정보는 위치를 보여 주고 도메인 지표는 멈춘 이유를 설명한다.

스레드 관찰

상태, 잠금 이름, 소유자, 상위 스택을 수집한다.

순간 스냅샷

getState 결과는 다음 순간 달라질 수 있다.

진단 경계

업무 진행

처리 카운터와 큐 깊이의 시간 변화를 기록한다.

제어 계약

래치, 조건, 큐가 실제 시작과 종료를 합의한다.

핵심: 스레드 enum을 제어 신호로 사용하지 않고 진행 지표와 함께 해석한다.