[OS] Conditions for Deadlock

Coffman교수가 말하는 데드락의 필요충분조건에 대해 설명한다. 

데드락 상태라면 아래의 조건은 모두 만족한다고 볼 수 있다.

 

1. mutual-exclusion

한 자원을 둘이서 동시에 쓸 수 없게 하는 것

 

2. hold-and-wait

한 자원을 차지한 채 다른 자원을 요청해 대기

 

3. no pre-emption

내가 가진 자원을 다른 프로세스가 빼앗아 갈 수 없음

 

4. circular wait

점유요청을 쭉 따라가다 보면 싸이클이 생긴다.

모두가 요청한 채 기다리는 상황