4조건 모두 동시 만족해야 교착 — 하나만 깨도 사라짐

상 · 점 · 비 · 환 — ★상점비환★

두음	조건	영문명	OS 자원 시각 한 줄
상	상호 배제	Mutual Exclusion	한 자원은 한 번에 한 프로세스만 (공유 불가)
점	점유와 대기	Hold and Wait	자원을 점유한 상태에서 추가 자원 요구·대기
비	비선점	No Preemption	할당된 자원을 강제로 못 뺏음 (자발 반납만)
환	환형 대기	Circular Wait	프로세스들이 원형으로 자원 대기 (P1→P2→…→P1)

1 4조건에 '선점(Preemption)' 포함 비선점이 4조건 — '선점'은 오히려 교착 해결 방향

2 4조건 중 '하나만' 성립해도 교착 4가지 모두 동시 만족 시에만 발생

3 점유와 대기 = 환형 대기 점유와 대기=개별 상태 / 환형 대기=프로세스 간 사이클