백자의 블로그

기출문제

I. 교착상태 회피 Banker 알고리즘의 개요

가. Banker 알고리즘의 정의

- 운영체제는 자원의 상태를 감시하고 사용자 프로세스는 사전에 자기작업에서 필요한 자원의 수를 제시하는 교착상태 회피 알고리즘

- 운영체제는 사용자 프로세스로부터 자원의 요청이 있으면 모든 프로세스가 일정 기간 내에 성공적으로 끝날 수 있는 안전 상태인지를 면밀하게 분석하는 교착상태 회피 알고리즘

- 운영체제는 안전상태를 유지할 수 있는 요구만을 수락하고 불안전 상태를 초래할 사용자의 요구는 나중에 만족될 수 있을 때까지 계속 거절하는 교착상태 회피 알고리즘

나. Banker 알고리즘의 동작 개념도

II. Banker 알고리즘의 자료구조 및 처리 프로세스

가. Banker 알고리즘의 자료구조(n:프로세서 수, m:자원의 종류 수)

나. Banker 알고리즘 처리 프로세스

III. Banker 알고리즘의 구조(사례)

-풀이 2), 3) P2 – R2 – 4를 2로 확인 필요

- 최대 요구 자원 수 (Maximum Claim)에 대한 정보가 있을 경우를 가정

1) 현재 사용 가능한 리소스의 양을 구한다 (Available)

2) 추가 요구량을 구한다 (Request = Max – Allocation)

3) 추가 요구 자원이 현재 여유자원보다 적은 프로세스(i)를 찾는다 (수행을 끝내기 위한 충분한 자원을 확보한 프로세스 검사) [ (Request (i) ç Available(i) )

4) 수행 가능한 프로세스가 점유한 자원을 여유 자원으로 바꿈 (끝내고 반환한 경우로 가정)한 후에 3번부터 반복 (Available = Available + Allocation)

IV. 은행가 알고리즘(Banker’s Algorithm)의 한계 및 교착상태 방지 대응전략

- 일정한 수의 자원과 사용자에서만 가능하며 최대 자원 필요량을 사전에 등록해야 함

- 모든 요구를 유한 시간 내에서 수행해야 하며 프로세스들은 할당 받은 자원을 유한 시간 내 반환해야 함

- 따라서 교착상태 발생을 억제하기 위해서는 예방, 회피, 탐지, 복구 방법을 병행하여 사용하고 각 자원 유형별 특성을 파악하여 대응전략을 구분운영하는 것이 필요

“끝”