6-2.[os] 교착 상태 필요조건
교착 상태 필요조건
상호 배제
- (특징)
- 한 프로세스가 사용하는 자원은 다른 프로세스와 공유할 수 없는 배타적인 자원이어야 한다.
- 배타적인 자원은 임계구역으로 보호되기 때문에 다른 프로세스가 동시에 사용할 수 없음
비선점
- (특징)
- 한 프로세스가 사용 중인 자원은 중간에 다른 프로세스가 빼앗을 수 없는 비선점 자원이어야한다
- 어떤 자원을 빼앗을 수 있다면 시간 간격을 두고 자원을 공유할 수 있다
점유와 대기
- (행위)
- 프로세스가 어떤 자원을 할당 받은 상태에서 다른 자원을 기다리는 상태여야 한다
- 다른 프로세스가 필요로 하는 자원을 점유하고 있으면서 또 다른 자원을 기다리는 상태
원형 대기
- (행위)
- 점유와 대기를 하는 프로세스 간의 관계가 원을 이루어야
- 점유와 대기를 하는 프로세스들이 서로 방해하는 방향이 원을 이루면 프로세스들이 서로 양보하지 않기 때문
교착상태 필요조건: 교착 상태는 상호배제, 비선점, 점유와 대기, 원형 대기를 모두 충족해야 발생하고, 이중 단 하나라도 충족하지 않으면 발생하지 않는다.