4조건 모두 만족해야 발생 — 하나라도 깨지면 교착 사라짐

★ 상점비환 ★ — 교착 4조건

스토리텔링 상점에 갇힌 비환자 — 상호배제·점유와 대기·비선점·환형 대기

글자	조건	한 줄 의미
상	상호배제 (Mutual Exclusion)	자원은 한 번에 한 트랜잭션만 사용
점	점유와 대기 (Hold and Wait)	점유한 채 다른 자원 또 기다림
비	비선점 (No Preemption)	락을 강제로 못 뺏음 — 자발 해제만
환	환형 대기 (Circular Wait)	T₁→T₂→…→Tₙ→T₁ 대기 사이클