교착상태

교착상태

 다중 프로그래밍 시스템에서 프로세스가 일어나지 않을 사건을 시다리는 상태

 

 

 교착상태의 필요조건 

 1.상호배제

  한 순간에 한 프로세스만 점유할 수 잇는 자원이 있어야한다.

 2.점유와대기

  한 자원을 점유하고 다른 프로세스가 점유한 자원을 얻으려는 프로세스가 있어야한다.

 3.비선점

  점유된 자원을 강제로 뺏을 수 없음

 4.환형대기

 

 4가지의 조건이 모두 만족하면 필요충분 조건
하나라도 만족하지 않으면 절대 발생하지 않는다.