같은 owner가 lock을 두 번 얻으면 hold count가 증가한다
재진입 횟수만큼 unlock해야 다른 thread가 획득할 수 있습니다.
초기owner 없음 · count 0
lockT1 · count 1
재진입 lockT1 · count 2
unlockT1 · count 1
unlockowner 없음 · count 0
핵심: 중첩 호출에서 획득과 해제가 대칭인지 lexical 구조로 검토합니다.
재진입 횟수만큼 unlock해야 다른 thread가 획득할 수 있습니다.
핵심: 중첩 호출에서 획득과 해제가 대칭인지 lexical 구조로 검토합니다.