CS/OS
[OS] Conditions for Deadlock
Yeji Heo
2023. 2. 26. 15:13
Coffman교수가 말하는 데드락의 필요충분조건에 대해 설명한다.
데드락 상태라면 아래의 조건은 모두 만족한다고 볼 수 있다.
1. mutual-exclusion
한 자원을 둘이서 동시에 쓸 수 없게 하는 것
2. hold-and-wait
한 자원을 차지한 채 다른 자원을 요청해 대기
3. no pre-emption
내가 가진 자원을 다른 프로세스가 빼앗아 갈 수 없음
4. circular wait
점유요청을 쭉 따라가다 보면 싸이클이 생긴다.
모두가 요청한 채 기다리는 상황