Deadlocks

Deadlock의 처리 방법

Deadlock Avoidance

• Single instance per resource types : Resource Allocation Graph algorithm
• Multiple instances per resoucre types : Banker's Algorithm 사용

Resource Allocation Graph algorithm

Banker's Algorithm

<가정>
1. 평생에 쓸 자원의 최대 사용량을 미리 명시
2. 프로세스가 요청 자원을 모두 할당받은 경우 유한 시간 안에 이들 자원을 다시 반납자원들이 반납되어서 available한 자원이 많아지면 process의 요구에 맞게 순서대로 처리 => 비효율적(deadlock이 생길지도 모른다는 위험에 자원을 안 주니....)

Deadlock Detection and recovery

(a) -> (b) 를 통해 deadlock이 생겼는 지 더 깔끔하게 확인 가능. deadlock 발생한 경우임.1) 가용 자원 확인
2) 요청 없는 process들의 자원을 반납한다고 가정
3) 요청 있는 process들의 request를 순차적으로 진행

Deadlock Ignorance