salsa source

교착상태 회피 항상 안전상태를 떠나지 않도록 고수하기 위함 시스템에 순환대기 상황이 발생하지 않도록 함 자원할당 상태 검사 -> 가용 자원 수, 할당된 자원 수, 프로세스들의 최대 요구 수 안전상태 : 시스템이 안전 순서를 찾을수있다면 안전한 상태임(=불안전/교착상태예방가능) 찾을 수 없다면 불안전상태(무조건 교착상태 발생하는 것은 아님) 회피 알고리즘 자원이 1개 -> 자원할당 그래프 알고리즘 정점(프로세스 P, 자원 R)과 간선으로 이루어짐 그래프가 사이클을 형성하면 교착상태(자원의 인스턴스가 여러개면 반드시 교착은X) 교착상태 교착상태 아님 자원이 2개 이상일 경우 -> 은행원 알고리즘 다익스트라 알고리즘 응용하여 사용 프로세스에서 운영체제에 자원을 요청할 때 마다 운영체제에서 실행되는 알고리즘 일..