둘 다 사후 전략 — 탐지는 CCTV · 복구는 견인차
탐지 = 사이클 발견 · 복구 = 사후 해소
탐지 (Detection)
교착이 이미 발생했는지 감시 — 자원 할당 그래프에서 사이클(P1→R1→P2→R2→P1)이 존재하면 = 교착으로 판단. CCTV처럼 사고 나면 바로 감지.
| 복구 3방법 | 설명 |
|---|
| 프로세스 제거 | 교착 상태 프로세스를 강제 종료 |
| 자원 선점 | 교착 상태 프로세스의 자원을 강제 회수 |
| 복귀(Rollback) | 체크포인트로 복귀 — 게임 세이브 포인트 비유 |
매칭 + 세마포어
사이클=탐지 / 제거·선점·체크포인트=복구 / 안전 상태·은행원=회피. 세마포어=상호 배제 구현 도구, P=대기(Wait) · V=해제(Signal) — 자리 바꿔치기 주의.