11분 36초 cycle 형성시 wait하면 cycle이 해제된다는 것이 이해가 안 갑니다.

감사합니다!

11분 36초 cycle 형성시 wait하면 cycle이 해제된다는 것이 이해가 안 갑니다.

only one instance of each resource type 상황에서 그림 8.10은 T1 - - -> R2 claim edge을 RAG에 넣어본 상태입니다. T1 - - -> R2 요청을 승인할 시 cycle이 형성됩니다. 그래서 승인하지 않고 dead lock을 피한다는게 강의에서 나온 내용입니다. 저는 위 상황에서 dead lock을 어떻게 피할 수 있는 것인지 잘 모르겠습니다. 왜냐하면 T1--->R2 를 승인하지 않고 T1을 wait 상태로 만들어도 T1은 R1을 가지고 있는 상태입니다. 강의내용에서는 wait하면 T2가 작업을 끝내고 R2를 다시 내놓는 것으로 나오는데, T2가 작업을 끝내기 위해서는 R1이 필요합니다. 결론적으로는 Dead lock avoidance를 위해서 요청의 승인 여부를 묻는 시점에, 이미 그림 8.10은 dead lock 상태가 될 수 밖에 없는 unsafe 상태로 보인다는 것이죠. 질문을 요약하면 강의내용은 저렇게 wait하는 방식으로 dead lock을 피할 수 있다고 나오는데 제가 보기에는 wait를 하든 안 하든 dead lock인 상황처럼 보여서요. 제가 놓친 부분이 어디인지 알고 싶습니다.