1. 교착 상태란

• 교착 상태 : 일어나지 않을 사건을 기다리며 무한히 대기하는 현상
  • 식사하는 철학자 문제 : 포크를 두 개 들어야 밥을 먹는데, 남는 포크가 하나도 없어서 밥을 못 먹음

1-1. 자원 할당 그래프

• 원 : 프로세스

• 사각형 및 점 : 자원의 종류와 사용할 수 있는 자원의 수

• 원을 향한 화살표 : 프로세스가 할당받은 자원

• 사각형을 향한 화살표 : 프로세스가 기다리는 자원

  

  [1] 자원 할당 그래프의 예시

1-2. 교착 상태 발생 조건

<aside> 💡

4가지 조건 중 하나라도 만족하지 않으면 교착 상태는 일어나지 않음

</aside>

1. 상호 배제 : 한 프로세스가 사용하는 자원을 다른 프로세스가 사용할 수 없을 때
2. 점유와 대기 : 자원을 할당받은 상태에서 다른 자원을 할당받기 기다리는 상태
3. 비선점 : 해당 자원을 이용하는 프로세스의 작업이 끝나야만 사용이 가능할 때(=빼앗지 못할 때)
4. 원형 대기 : 프로세스와 프로세스가 요청 및 할당받은 자원이 원의 형태를 이룰 때
   • 자원 할당 그래프가 원의 형태를 띄지 않으면 교착 상태는 아니나, 원이라고 해서 다 교착 상태인건 아님

2. 교착 상태 해결 방법