정의
두 개 이상의 프로세스가 자원을 점유한 상태에서 서로 다른 프로세스가 점유하고 있는 자원을 요구하며, 서로의 작업을 끝나기만을 기다리며 둘 다 영원히 끝나지 않는 상황
교착상태의 발생 조건 4가지
1.
상호 배제
•
한 번에 한 개의 프로세스만이 공유자원을 사용할 수 있음
2.
점유 대기
•
프로세스가 할당된 자원을 가진 상태에서 다른 자원을 기다림
3.
비선점
•
프로세스가 작업을 마친 후 자원을 자발적으로 반환할 때까지 기다림
◦
(이미 할당된 자원을 강제적으로 빼앗을 수 없음)
4.
순환 대기
•
프로세스의 자원 점유 및 점유된 자원의 요구 관계가 원형을 이루면서 대기하는 조건
•
각 프로세스는 순환적으로 다음 프로세스가 요구하는 자원을 가지고 있음