교착상태 암기법

둘 이상의프로세스들이 자원을 점유한 상태에서 다른 프로세스가 점유하고 있는 자원을 요구하며 무한정 기다리는 현상.

교착상태의 필요충분 조건 암기법은 [비상점원]입니다.

비선점(Non-preemption)
상호배제(Mutual Exclusion)
점유와 대기(Hold and Wait)
원형대기(Circular Wait)

선형대기 아닙니다. 주의하세요!

다른 프로세스에 할당된 자원은 강제로 뺐을 수 없어야함=비선점
(내꺼야 내꺼!! 아무도 못 뺐어가)

한 번에 한 개의 프로세스만이 공유 자원을 사용할 수 있어야함=상호배제
(나혼자만 쓸꺼야!!)

최소 한 개 자원을 점유하고 있으면서 다른 프로세스에 할당된 자원을 추가로 점유하기 위해 대기해야함=점유와 대기
(저 놈 떡이 더 커보이는데???)

점유하고 있는 프로세스와 대기하고 있는 프로세스들이 원형으로 구성되어야 함=원형 대기
(하나씩 가지고 있으면서 또 얻으려고 줄줄이 대기중~)

<<교착상태의 해결방법>>
예방기법: 사전에 시스템 제어해서 교착상태 발생 안 하도록 함. 자원의 낭비가 제일 심함!!

회피기법: 교착상태가 발생하면 적절히 피해나가는 방법. 은행원 알고리즘이 사용된다!!

발견기법: 교착상태에 있는 프로세스와 자원을 발견하는 것.

회복기법: 교착상태인 프로세스를 종료하거나 교착상태인 프로세스에 할당된 자원을 선점하여 프로세스나 자원을 회복함.