교착 상태 조건

교착상태 성립 조건

한 조건이라도 깨면 교착상태는 예방됩니다. 그래서 시험에서는 조건 이름과 예시를 짝지어 묻습니다.

상호배제

한 자원은 한 프로세스만 프린터처럼 동시에 나눠 쓰기 어려운 자원이 있을 때입니다.

점유와 대기

잡은 채로 또 기다림 자원 A를 가진 상태에서 자원 B를 더 요구합니다.

비선점

강제로 빼앗지 못함 운영체제가 사용 중인 자원을 중간에 회수하지 못합니다.

환형대기

기다림이 원을 이룸 P1은 P2를, P2는 P3을, P3은 P1을 기다립니다.

예방 네 조건 중 하나가 성립하지 않게 설계합니다.

회피 은행원 알고리즘처럼 안전 상태인지 보고 할당합니다.

탐지·복구 발생 후 그래프로 찾고 프로세스 종료나 자원 회수로 풉니다.