교착 상태 발생 조건

한 번에 한 실행 흐름만 사용할 수 있는 자원이 있는지 확인합니다.

이미 가진 자원을 놓지 않은 채 다른 자원을 기다리는 흐름을 찾습니다.

외부에서 강제로 회수할 수 없는 lock, 파일, 장치가 있는지 봅니다.

A는 B를 기다리고 B는 A를 기다리는 순환 그래프가 만들어졌는지 확인합니다.