교착상태(2)

7강. 교착상태(2)

지난 시간에 이어서 교착상태에 대해 알아보자.

주요 용어

• 안전 순서열: 가용자원, 또는 이전 프로세스에 할당된 자원을 이용하여 필요한 작업을 마칠 수 있는 프로세스의 순차적 순서열
  
  
• 은행원 알고리즘: 교착상태 회피를 위한 자원 할당 알고리즘으로,
  프로세스가 요구한 자원을 할당해 줄 경우 안전 순서열이 존재하는지를 검사하여 요구 수용 여부를 결정

---

정리하기

• 교착상태를 처리하는 방법은 교착상태를 방지하는 방법, 교착상태를 회피하는 방법,
  교착상태를 탐지하여 이를 복구하는 방법 등이 있다.
  
  
• 교착상태 회피 방법은 프로세스의 자원 사용에 대한 사전 정보를 활용하여
  교착상태가 발생할 수 있는 불안전상태가 되는 것을 피한다.
  
  
• 은행원 알고리즘은 프로세스가 요구한 자원을 할당해 줄 경우
  안전 순서열이 존재하는지를 검사하여 요구 수용 여부를 결정한다.
  
  
• 변형된 자원할당 그래프에서 선언간선을 할당간선으로 바꾸어도 사이클이 발생하지 않는 아전상태일 경우
  자원 요청을 수용한다.
  
  
• 교착상태 탐지 및 복구 방법은 교착상태가 발생하였는가를 탐지한 후,
  희생자를 선택하여 프로세스를 중지시키거나 자원을 선점한다.