예방은 조건 부정 — 회피는 안전 여부 미리 판단
회피 = 은행원 알고리즘 = 다익스트라
Banker's
은행원 알고리즘
한 줄 시그니처
교착 가능성을 미리 판단해 안전 상태일 때만 자원을 할당. 대출 요청마다 '나머지 고객까지 다 처리 가능?'을 계산해 불안전이면 거절 — 다익스트라가 고안.
| 구분 | 예방 (Prevention) | 회피 (Avoidance) |
|---|
| 접근 | 4조건 중 하나를 원천 부정 | 안전 여부 미리 판단 후 할당 |
| 언제 | 시스템 설계 단계 | 자원 요청 매 순간 |
| 대표 기법 | 4부정 방법 | 은행원 알고리즘 |
합격 한 줄
안전 순서열 존재 = 안전 / 없음 = 불안전(교착 가능성 有, 반드시 교착은 ❌). 매년 1순위 함정 '은행원 = 예방' → 정답은 회피.