교착 상태(데드락)

1. 교착 상태
   1. 일어나지 않을 사건을 기다리며 진행이 멈춰버리는 현상
2. 해결 방법
   1. 자원 할당 그래프 - 교착 상태 발생 조건 파악
      1. 프로세스는 원으로, 자원의 종류는 사각형으로 표현
      2. 사용할 수 있는 자원의 개수는 자원 사각형 내에 점으로 표현
      3. 프로세스가 어떤 자원을 할당 받아 사용 중이라면 자원에서 프로세스를 향해 화살표를 표시
      4. 프로세스가 어떤 자원을 기다리고 있다면 프로세스에서 자원으로 화살표를 표시
         

         

   2. 교착 상태가 일어난 그래프의 특징 - 원의 형태를 띄고 있다
   3. 교착상태가 일어나는 근본적인 이유를 알아보기
      1. 아래 네 가지 조건 모두 만족해야만 교착 상태 발생
         1. 상호 배제 - 한 프로세스가 사용하는 자원을 다른 프로세스가 사용할 수 없는 상태
         2. 점유와 대기 - 자원을 할당 받은 상태에서 다른 자원 할당을 기다리는 상태
         3. 비선점 - 어떤 프로세스도 다른 프로세스의 자원을 강제로 빼앗지 못하는 상태
         4. 원형 대기 - 프로세스들이 원의 형태로 자원을 대기하는 상태