lock(A) // ➊ lock(B) // ➋ lock(C) // ➌ lock(B) // ➍ lock(A) // ➎ unlock(C) // ➏ unlock(B) // ➐ unlock(A) // ➑


이렇게 lock unlock을 할 경우에 A, B는 아직 unlock가 안된것 같은데 제가 맞는지 모르겠습니다.
인터넷에서는
"이미 잠근 것을 또 잠그는 것이므로 잠금 순서 그래프 무시 가능"
이라고 언급되는데 이게 unlock도 문제가 없다고 하는건지 언급이 없어서 잘 모르겠습니다.