교착 상태(DeadLock)

도서 쉽게 배우는 운영체제와 강의 운영체제-반효경 를 보고 정리한 글입니다.

📌 교착 상태란?

프로세스들이 서로가 가진 자원을 기다리며 대기중인 상태이다.

CPU 스케줄링 파트에 나왔던 아사 현상과는 다른데, 아사 현상의 경우 특정 프로세스의 우선순위가 계속 밀려 장기간 CPU를 할당받지 못하는 것이고

교착상태는 여러 프로세스가 작업을 하다보니 서로의 자원을 할당받기 위해 무한정 대기하는 상태인 것이다.

교착 상태는 다음 4가지 조건을 💡 모두 만족했을 때, 발생한다.

1. 상호 배제
2. 비선점
3. 점유와 대기
4. 원형대기

상호 배제

프로세스가 사용하는 자원은 다른 프로세스와 공유할 수 없는 배타적인 자원이어야 한다.

즉, 자원이 임계구역으로서 보호되기 때문에 여러 프로세스가 동시에 자원을 사용할 수 없다.

🚨 독점적으로 사용하는 자원을 두지 않는 방법으로 예방할 수 있지만, 임계 구역을 보호하지 않으면 생기는 경쟁 조건이나 동기화 문제 때문에 현실적으로 가능하지 않다.

비선점

프로세스는 다른 프로세스가 사용하고 있는 자원을 강제로 빼앗을 수 없어야 한다.

만약, 자원을 빼앗을 수 있다면 대기할 필요 없이 가져오면 되기 때문에 교착 상태는 발생하지 않을 것이다.

🚨 모든 자원을 빼앗을 수 있도록 만드는 방법으로 예방할 수 있지만, 이 방법 역시 임계 구역을 보호하지 않으면 생기는 문제들도 있고 빼앗을 수 있는 우선 순위나 시간에 대한 기준을 세우기 어렵다.

점유와 대기

프로세스는 자원을 할당받은 상태에서 다른 프로세스가 점유하고 있는 자원을 할당받기 위해 대기중인 상태여야 한다.

🚨 프로세스가 어떤 자원을 할당받을 때 필요한 자원을 전부 할당받아, 다른 자원을 기다리는 상황을 없에는 것으로 예방할 수 있다.

하지만, 추가로 필요한 자원이 생기는 경우가 있을 수 있다.

또한, 당장 사용하지 않은 자원을 선점하는 것은 비효율적이고 자원이 많이 필요한 경우 초기에 확보하기 어렵다.

원형대기

점유와 대기를 하는 프로세스 간의 관계가 원을 이루어야 한다.

원을 이루기 때문에 서로 양보하지 않게 되고 교착 상태에 빠진다.

🚨 자원에 우선순위를 부여하고 우선순위 별로 처리하여 원형으로 교착상태가 발생하는 것을 막을 수 있지만,

작업 진행에 유연성이 떨어지고 우선순위를 어떻게 부여할지 결정하기 어렵다.

📌 교착 상태 회피

교착 상태가 발생하지 않는 범위 내에서만 자원을 할당하고, 교착 상태가 발생하는 범위에 있으면 프로세스를 대기시킨다.

은행원 알고리즘

은행원 알고리즘은 최악의 경우를 기준으로 문제 상황을 철저히 피하여 교착 상태를 막는다.

각 프로세스는 자신이 사용할 자원의 최대 수를 운영체제에게 알려준다.

1. 전체 자원 : 시스템 내 전체 자원의 수
2. 가용 자원 : 시스템 내 현재 사용할 수 있는 자원의 수
3. 최대 자원 : 각 프로세스가 선언한 최대 자원의 수
4. 할당 자원 : 각 프로세스에 할당되어 있는 자원의 수
5. 기대 자원 : 각 프로세스가 앞으로 사용할 자원의 수