[교착 상태] 교착 상태란

[1two13]

교착 상태

• 일어나지 않을 사건을 기다리며 진행이 멈춰 버리는 현상이다.

교착 상태 해결 법

1. 교착 상태가 발생했을 때의 상황을 정확히 표현해 보기
2. 교착 상태가 일어나는 근본적인 이유에 대해 알기

[1two13]

자원 할당 그래프

• 교착 상태는 자원 할당 그래프를 통해 단순하게 표현할 수 있다.
• 어떤 프로세스가 어떤 자원을 사용하고 있고, 어떤 자원을 기다리고 있는지를 표현하는 그래프다.

규칙

• 원: 프로세스
• 사각형: 자원의 종류
• 사각형 내에 점: 사용할 수 있는 자원의 개수
• 화살표: 프로세스가 어떤 자원을 할당받아 사용 중이라면 자원에서 프로세스를 향해 화살표 표시, 프로세스가 어떤 자원을 기다리고 있다면 프로세스에서 자원으로 화살표 표시

[1two13]

교착 상태 발생 조건 4️⃣

• 4가지 조건 중 하나라도 만족하지 않는다면 교착 상태는 발생하지 않는다.

  1. 상호 배제

• 한 프로세스가 사용하는 자원을 다른 프로세스가 사용할 수 없을 때 발생한다.

  2. 점유와 대기

• 자원을 할당받은 상태에서 다른 자원을 할당받기를 기다릴 때 발생한다.

  3. 비선점

• 어떤 프로세스도 다른 프로세스의 자원을 강제로 빼앗지 못할 때 발생한다.

  4. 원형 대기

• 프로세스들과 프로세스가 요청받은 자원이 원의 형태를 이루었기 때문에 발생한다. 이 때, 원의 형태를 띈다고 해서 반드시 교착 상태가 발생하는 것은 아니다.