Circular Wait를 예방하는 방법에 대한 질문입니다!

Circular Wait 을 방지하기 위한 방법과 예시에 조금 헷갈리는 부분이 있어서 확인차원에서 질문드립니다. 제가 이해해한 부분이 맞는지 봐주시면 감사하겠습니다.

Circular Wait을 예방하기 위한 방법이란

R={R1, R2 ... Rn}

이러한 모든 자원 R에 대하여

'타입'별로 순서를 지정해서

thread_A{

getLock(R1)

getLock(R2)

}

thread_B{

getLock(R2)

getLock(R1)

}

이렇게 락을 획득하는 순서가 다른 상황이 일어나지 않도록 하는 방법을 말씀하신 건가요?

또 그 방법이 deadlock prevention을 보장하지 않는 이유가 공유자원 타입별로 순서를 정해도 공유자원의 순서가 보장되지 않는 경우가 있기 때문이고요. 그 예로서 transaction을 보여주신거라고 보면 될까요?

제가 이해한 부분이 맞는지 궁금합니다.