[OS] 교착상태 (Deadlock) 🙀

교착상태 !?

• 프로세스가 절대 일어나지 않을 사건을 기다리는 행위.
• 둘 이상의 프로세스가 다른 프로세스가 사용중인 자원을 동시에 기다리는 상태
• 교착 상태는 하나 이상의 작업에 영향을 주기에 무한 대기나 기아 상태보다 더 심각한 문제를 일으킨다.

교착 상태의 4가지 조건

• 상호 배제 : 한 번에 하나의 프로세스/스레드만 해당 공유 자원을 사용할 수 있는 것
• 자원 점유 : 하나의 자원을 소유하고 있는 프로세스/ 스레드가 다른 자원도 요청할 수 있는 것.
• 비선점 : 한 프로세스/스레드가 다른 프로세스/스레드의 자원 접근 권한을 강제로 취소할 수 없는 것
• 순환대기 : 2개 이상의 프로세스/ 스레드가 공유 자원을 기다리는데 그 관계에 사이클이 있는 경우.

교착상태 해결법

운영 체제가 교착 상태를 해결하지 못할 경우, 시스템 운영자나 사용자가 작업을 교체하거나 종료하는 외부 간섭으로 해결한다.

• 예방
• 회피 - 교착상태를 발생시킬 수 있다고 판단한 경우 프로세스 시작 중지. 교착상태를 발생시킬 수 있다고 판단한 경우 자원할당 거부(은행가 알고리즘)
• 회복 - 이미 발생했을 경우 해결 알고리즘 이용 ex) 프로세스 중단

Reference

• https://beforb.tistory.com/8