TIL

Deadlock

Deadlock이란?

• 두 개 이상의 프로세스 혹은 스레드가 서로를 가진 리소스를 기다리는 상태

Deadlock을 만드는 네 가지 조건

1. Mutual exclusion
   1. 리소스를 공유해서 사용할 수 없다.
2. Hold and wait
   1. 프로세스가 이미 하나 이상의 리소스를 취득한 상태에서 다른 프로세스가 사용하고 있는 리소스를 추가로 기다린다.
3. No preemption
   1. 리소스 반환은 오직 그 리소스를 취득한 프로세스만 할 수 있다.
4. Circular wait
   1. 프로세스들이 순환 형태로 서로의 리소스를 기다린다.

OS에서의 Deadlock 회피 방법

데드락 방지 (Deadlock prevention)

• 데드락이 발생하는 네 가지 조건 중 하나가 충족되지 않게 시스템을 디자인
  1. 리소스를 공유 가능하게 함 (Mutual exclusion 방지)
  1. 현실적으로 불가능
     1. 사용할 리소스들을 모두 획득한 뒤에 시작하거나 리소스를 전혀 가지지 않은 상태에서만 리소스 요청 (Hold and wait 방지)
  2. 리소스 사용 효율 떨어짐
  3. starvation(기아) 상태가 발생할 수 있음
     1. 추가적인 리소스를 기다려야 한다면 이미 획득한 리소스를 다른 프로세스가 선점 가능하도록 한다. (No preemption 방지)
     2. 모든 리소스에 순서 체계를 부여해서 오름차순으로 리소스를 요청 (Circular wait 방지)
  4. 가장 많이 사용되는 방식

데드락 회피(Deadlock avoidance)

• 실행 환경에서 추가적인 정보를 활용해서 데드락이 발생할 것 같은 상황을 회피하는 것
• Banker algorithm
  • 리소스 요청을 허락해줬을 때 데드락이 발생할 가능성이 있으면 리소스를 할당해도 안전해질 때까지 계속 요청을 거절하는 알고리즘

데드락의 감지와 복구

• 데드락을 허용하고 데드락이 발생하면 복구하는 전략
  1. 프로세스를 종료한다.
  2. 리소스의 일시적인 선점을 허용한다.

데드락 무시

• 개발자가 해결할 것이라 생각하고 조치를 취하지 않음

참고

• https://www.youtube.com/watch?v=ESXCSNGFVto