은행원 알고리즘

**자원의 할당 여부 결정 전**에 미리 결정된 모든 자원의 **최대 가능한 할당량을 시뮬레이션**하여 안전 여부 검사

안전상태(이때만 자원 할당)

모든 프로세스가 **정상적 종료가 가능**한 상태

불안전상태(자원 요청 불가능, 자원 대기)

교착상태가 될 가능성이 있음

용어 정리

전체 자원 ⇒ 시스템 내 전체 자원 수

가용 자원(전체 - 할당) ⇒ 현재 사용 가능한(전체 자원 - 모든 할당 자원) 자원 수

할당 자원 ⇒ 각 프로세스에 할당된 자원 수

기대 자원(최대 - 할당) ⇒ 각 프로세스가 앞으로 사용할 자원 수

최대 자원(할당 + 기대) ⇒ 각 프로세스가 필요한 자원 수