OS · deadlock

데드락 탐지 방식 선택도

자원이 단일 인스턴스인지 다중 인스턴스인지에 따라 대기 그래프와 행렬 기반 탐지가 나뉩니다.

자원 유형별 탐지

deadlock

resource type

자원 인스턴스 수를 먼저 확인합니다.

wait-for graph

단일 인스턴스는 프로세스 간 대기 간선으로 봅니다.

cycle check

그래프 사이클이 있으면 데드락입니다.

matrix detect

다중 인스턴스는 요청/할당 행렬로 가능 실행을 찾습니다.

recovery

탐지 후 종료나 회수 정책을 적용합니다.

resource type → single graph → cycle → multi matrix → recover

정리

데드락 탐지는 한 가지 공식이 아니라 자원 모델이 무엇인지에 맞춰 다른 관찰 구조를 고르는 문제입니다.