교착상태 발견1 운영체제 정리 4. 병행성 : 교착상태와 기아상태 교착상태 조건 -상호 배제 조건 : 한 순간에 한 프로세스만이 자원을 사용할 수 있어야 한다.-점유대기 조건 : 이미 자원을 보유한 프로세스가 다른 자원을 요청하며 기다려야 한다.-비선점 조건 : 프로세스에 의해 점유된 자원을 다른 프로세스가 강제로 빼앗을 수 없다.-환형 대기 조건 : 프로세스들 간에 닫힌 연결이 존재한다. 자원 할당 그래프에서 환형이 만들어 지는 것이다.(예시 참고) 교착상태 예방 -감기와 같이 교착상태도 예방 할 수 있다 그 방법은 교착상태가 일어나는 상호배제, 점유대기, 비선점 조건들을 허용하지 않거나 직접적으로 환형대기가 생기지 않도록 하는 것이다. -상호 배제-시스템을 설계할 때 상호 배제 조건을 없앨 수는 없으므로 상호 배제가 필요시에 OS가 이를 지원해 주어야 한다. -점유.. 2018. 11. 28. 이전 1 다음
