자원 12개 · 총 할당 9 · 사용 가능 3개 — 시험 단골 계산
안전 순서열 P2 → P1 → P3
| 프로세스 | 최대 요구 (Max) | 현재 할당 (Alloc) | 추가 필요 (Need) |
|---|
| P1 | 10 | 5 | 5 |
| P2 | 4 | 2 | 2 |
| P3 | 9 | 2 | 7 |
① P2가용 3→5
Need(2) ≤ 가용(3) → P2 완료, 자원 2 반환
② P1가용 5→10
Need(5) ≤ 가용(5) → P1 완료, 자원 5 반환
③ P3가용 10
Need(7) ≤ 가용(10) → P3 완료, 전부 회수
합격 한 줄
P1에 먼저 5를 주면 가용 3→0 → P2·P3 모두 불가 = 불안전. 그래서 P2부터. 안전 순서열 1개 이상 존재 = 안전 상태(여러 개여도 안전).