[CS] 은행원 알고리즘

데드락을 회피하기 위해 사용되는 기법으로, 운영체제가 각 프로세스들에게 어느 정도의 자원을 할당해야 교착상태가 발생하는지 파악해서 교착상태가 발생하지 않는 수준의 자원만 할당

안정상태 & 교착 상태

안정 상태

• 모든 프로세스가 최종적으로 그들의 최대 자원 요구를 만족할 수 있는 순서(실행 순서)를 찾을 수 있는 상태

교착 상태(데드락)

• 여러 프로세스가 각각 다른 프로세스가 보유한 자원을 기다리며 무한 대기 상태에 빠지는 상황

용어

MAX: 각 고객이 요구하는 대출 총액 = 각 프로세스가 요구하는 최대 자원

Allocation: 각 고객이 현재 빌려간 돈 = 각 프로세스에 할당된 자원

Available: 은행이 현재 금고에 보유한 = 시스템 전체 가용 자원