교재 p103
(점유/대기 조건) 다원이 아니라 자원이겠지요?

교재 p114
"만일 프로세스의 자원 요구가 충족될 수 있으면 그 그래프에0서 해당 프로세스를 소거할 수 있다고 말한다."에서
숫자 0이 무엇인가요?? "그래프에서"의 오타인가요?

교재 p115
"단계 2에서 request_i <= Work인 것을 확인 즉시 단계 3에서 프로세스 R의 자원 요청은 이유는 Requesti < Work이기 때문에..."에서
'=' 기호가 빠진이유는 무엇인가요?? 그리고 여담으로 "요청은 이유는"이라는 문장은 어색하지 않나요???


운영체제 7강

"교착 상태 발견 알고리즘의 적용 예" 슬라이드
순서 [P0, P2, P3, P1, P4]가 교착상태가 되지 않는다고 되어 있는데요.
[P0, P2, P3, P4, P1] 순서로 되어야 하지 않나요?
work 변수값을 추적해보면
[work]
[0, 0, 1]   초기값
[0, 1, 1]   P0에 대하여 단계3 실행
P1는 request <= work 가 만족 하지 않음
[3, 1, 3]   P2에 대하여 단계3 실행
[5, 2, 4]   P3에 대하여 단계3 실행
[5, 2, 6]   P4에 대하여 단계3 실행
[7, 2, 6]   P1에 대하여 단계3 실행

으로 변하니까 순서는 [P0, P2, P3, P4, P1]이 되지 않나요?
[P0, P2, P3, P1, P4] 순서로 실행해도 교착상태는 발견되지 않습니다만, 이럴 때 단계2 에서 i를 찾는 과정이 어떻게 되는지 알고싶습니다.

"교착 상태 발견 알고리즘(2)" 슬라이드
프로세서 P2 가 유형 C 자원을 하나 더 요구한다고 해도 교착상태는 발견되지 않는것 같습니다.

마찬가지고 work 변수값을 추적해보면
[work]
[0, 0, 1]   초기값
[0, 1, 1]   P0에 대하여 단계3 실행
P1는 request <= work 가 만족 하지 않음
[3, 1, 3]   P2에 대하여 단계3 실행 ( request[0,0,1] <= work[0,1,1] )
[5, 2, 4]   P3에 대하여 단계3 실행
[5, 2, 6]   P4에 대하여 단계3 실행
[7, 2, 6]   P1에 대하여 단계3 실행

그리고 슬라이드에서 "Request 행렬의 내용" 표를 보면 "Need A B C"로 나와 있는데 "Request A B C"가 맞지 않나요?