운영체제 강의 22

1. Deadlock Avoidance

‣ 시스템이 safe state에 있으면 → no deadlock

‣ 시스템이 unsafe state에 있으면 → possibility of deadlock

‣ Deadlock Avoidance

         ✓ 시스템이 unsafe state에 들어가지 않는 것을 보장

         ✓ 2가지 경우의 avoidance 알고리즘

                   • Single instance per resource types

                            - Resource Allocation Graph algorithm 사용

                   •  Multiple instances per resource types

                            - Banker's Algorithm 사용

 

 

 

 

Need가 Available보다 더 크거나 같으면 자원을 준다

 

 

 

현재 요청안한 것들이 끝나면 Available로 추가될 것이기에 그 자원들을 더했을 때, 데드락이 안걸릴 것을 예측 

만약 요청없는 것들을 모아도 요청한 것들보다 수가 적으면 데드락