교착상태 발생 조건(상호배제, 비선점, 점유와 대기, 순환대기) 중 하나를 제거 ⇒ 해결
교착상태 발생 조건(상호배제, 비선점, 점유와 대기, 순환대기) 중 하나를 제거
여러 프로세스가 자원 공유하며 의도치 않은 결과 발생
자원 공유하며 의도치 않은 결과
공유 자원에 대한 동기화 의미가 없어짐
자원이 오랫동안 할당, 사용 X ⇒ 자원 낭비
사용 X ⇒ 자원 낭비
필요 자원(R1, R2, R4)일 때 R1 받아야 R2 받을 수 있음
조건 ⇒ 최소 하나의 프로세스에게 할당해줄 만큼의 자원 보유해야함
교착상태 가능성 검사 ⇒ 교착상태 생기지 않을 경우만 자원 할당
교착상태 생기지 않을 경우만 자원 할당