같은 owner가 lock을 두 번 획득하는 hold count

재진입은 self-deadlock을 막지만 unlock 횟수 책임을 늘린다.

1

outer lock

hold 1

owner current

2

inner lock

hold 2

즉시 재진입

3

inner unlock

hold 1

아직 locked

4

outer unlock

hold 0

다른 waiter 가능

핵심: 각 successful acquisition은 반드시 대응하는 finally unlock을 가져야 한다.