[운영체제] 데드락(Dead Lock, 교착상태)

 

 

1. 데드락이란

- 두 개 이상의 프로세스나 스레드가 서로 자원을 얻지 못해서 다음 처리를 하지 못하는 상태입니다.

- 즉, 무한히 다음 자원을 기다리는 상태입니다.

- 시스템적으로 한정된 자원을 여러 곳에서 사용하려고 할 때 발생합니다.

 

2. 발생조건

  - 데드락의 발생 조건은 다음 네가지 입니다. 네개를 모두 만족하는 경우에 데드락이 발생하며, 이 중 하나라도 만족하지 않는다면 데드락이 일어나지 않습니다.

 

  1) 상호배제 : 자원은 한 번에 한 프로세스만이 사용할 수 있어야 한다.

  2) 점유대기 : 최소한 하나의 자원을 점유하고 있으면서 다른 프로세스에 할당되어 사용하고 있는 자원을 추가로 점유하기 위해 대기하는 프로세스가 있어야 한다.

  3) 비선점 : 다른 프로세스에 할당된 자원은 사용이 끝날 때까지 강제로 빼앗을 수 없어야 한다.

  4) 순환대기 : 프로세스의 집합 {P0, P1, ,…Pn}에서 P0는 P1이 점유한 자원을 대기하고 P1은 P2가 점유한 자원을 대기하고 P2…Pn-1은 Pn이 점유한 자원을 대기하며 Pn은 P0가 점유한 자원을 요구해야 한다.

 

3. 예방 & 회피

  1) 예방

    - 교착 상태 발생 조건 중 하나를 제거함으로써 해결하는 방법입니다. 그러나 자원의 낭비가 심하다는 특징이 있습니다.

 

  2) 회피

  - 은행원 알고리즘

 

4. 탐지 & 회복

  1) 탐지

  2) 회복

  - 식사하는 철학자