상호배제
자원을 동시에 공유할 수 없어 한 프로세스가 독점합니다.
deadlock
교착상태는 네 조건의 동시 성립
하나라도 깨지면 교착상태는 성립하지 않습니다. 문제에서는 조건명과 대응 기법을 섞어 묻습니다.
점유와 대기
이미 가진 자원을 놓지 않고 새 자원을 기다립니다.
비선점
운영체제가 강제로 자원을 빼앗을 수 없습니다.
환형대기
프로세스들이 원형으로 서로의 자원을 기다립니다.
| 방식 | 판단 시점 | 핵심 단서 |
|---|---|---|
| 예방 | 자원 요청 전 | 네 조건 중 하나가 구조적으로 성립하지 않게 설계 |
| 회피 | 요청 승인 순간 | 은행원 알고리즘처럼 안전 순서가 있는지 검사 |
| 탐지와 복구 | 발생 후 | 대기 그래프를 확인하고 프로세스 종료나 자원 회수 |