fostudy0838

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

only one instance of each resource type 상황에서&nbsp;
그림 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이 필요합니다.&nbsp;
결론적으로는 Dead lock avoidance를 위해서 요청의 승인 여부를 묻는 시점에, 이미 그림 8.10은 dead lock 상태가 될 수 밖에 없는 unsafe 상태로 보인다는 것이죠.
질문을 요약하면
강의내용은 저렇게 wait하는 방식으로 dead lock을 피할 수 있다고 나오는데 제가 보기에는 wait를 하든 안 하든 dead lock인 상황처럼 보여서요. 제가 놓친 부분이 어디인지 알고 싶습니다.

fostudy0838

Bài viết