2018년 2회 정보처리기사 기출문제 59번

59. 교착상태와 은행원 알고리즘의 불안전상태(Unsafe State)에 대한 설명으로 가장 옳은 것은?

    ❶ 교착상태는 불안전상태에 속한다.

    ② 불안전상태의 모든 시스템은 궁극적으로 교착상태에 빠지게 된다.

    ③ 불안전상태는 교착상태에 속한다.

    ④ 교착상태와 불안전상태는 서로 무관하다.

300x250

 

 교착상태(Deadlock)와 은행원 알고리즘(Banker's Algorithm)의 불안전상태(Unsafe State) 개념은 정보처리기사 시험에서 자주 출제되는 개념입니다. 학생들이 쉽게 이해할 수 있도록 핵심 개념 정리 + 표 + 문제 분석 및 해설을 단계별로 정리해드릴게요.

---

🔍 [문제 분석]

문제: 교착상태와 은행원 알고리즘의 불안전상태에 대한 설명 중 가장 옳은 것은?

보기 분석:

선택지 내용 요약 옳고 그름 이유

❶	교착상태는 불안전상태에 속한다	✅ 정답	교착상태는 불안전상태의 일종입니다
②	불안전상태는 모두 교착상태로 이어진다	❌	불안전하다고 해서 무조건 교착되는 것은 아님
③	불안전상태는 교착상태에 속한다	❌	반대로 교착상태가 불안전상태에 속함
④	교착상태와 불안전상태는 무관하다	❌	서로 밀접한 관계 있음

---

📘 [핵심 개념 정리]

✅ 1. 교착상태 (Deadlock)

• 여러 프로세스가 자원을 점유한 상태에서 서로 자원이 풀리기만을 기다리며 더 이상 실행되지 않는 상태
• 4가지 조건이 모두 만족될 때 발생
  1. 상호 배제 (Mutual Exclusion)
  2. 점유와 대기 (Hold and Wait)
  3. 비선점 (No Preemption)
  4. 환형 대기 (Circular Wait)

---

✅ 2. 은행원 알고리즘 (Banker's Algorithm)

• 자원의 안전한 할당을 보장하기 위한 알고리즘
• 프로세스의 요청을 허용하기 전에, 시스템이 **안전 상태(Safe State)**를 유지할 수 있는지 판단함

---

✅ 3. 안전 상태(Safe) vs 불안전 상태(Unsafe)

구분 설명 교착상태 발생 가능성

안전 상태	현재 자원 할당 상태에서 모든 프로세스가 순서대로 자원을 얻고 종료할 수 있는 상태	❌ 없음
불안전 상태	당장은 문제가 없지만, 어떤 순서로도 모든 프로세스가 완료될 수 없는 상태	✅ 교착상태 발생 가능성 있음
교착상태	자원을 얻지 못해 영원히 기다리는 상태	✅ 이미 발생한 상태

📌 불안전상태는 곧바로 교착상태는 아니지만, 교착상태로 이어질 수 있는 상태입니다.
→ 즉, 교착상태 ⊂ 불안전상태

---

🧠 [쉬운 예시로 설명]

💡 비유: 자원을 ‘라면 조리기구’라고 생각해보세요!

• 라면 끓이려면: 냄비 + 가스레인지 + 물
• 학생들이 서로 이 기구들을 점유하고 교대로 기다리는 상황을 상상해보세요.

상태 예시 설명

안전상태	한 명씩 순서대로 끓이기 가능	모두 라면을 끓일 수 있음
불안전상태	각자 냄비는 들고 있는데, 가스레인지를 기다림	라면 못 끓이고 계속 기다릴 수도 있음
교착상태	냄비 들고 서로 기다리기만 함, 아무도 못 끓임	완전 멈춤 상태

---

✅ [정답 정리]

정답: ❶ 교착상태는 불안전상태에 속한다

• 교착상태는 불안전상태가 더 악화되어 발생하는 상태입니다.
• 불안전하다고 해서 항상 교착상태가 되는 것은 아니지만, 교착상태는 항상 불안전상태에 해당합니다.

---