명품 운영체제 7장 연습문제 풀이

파란색은 개인적으로 작성한 풀이이고, 빨간색 채점과는 관련이 없습니다.

 

 

 

1. 젓가락과 숟가락이 하나씩만 있는 식탁에서 두 사람이 식사를 한다고 하자. 숟가락과 젓가락을 동식에 들어야 한 입 식자가 가능하며, 숟가락이든 젓가락이든 한 번에 하나 씩 들어야 한다. 한 개만 가진 사람은 나머지 한 개가 준비될 때까지 기다려야 한다. 한 입 식사 후 들고 있던 숟가락과 젓가락은 모두 내려놓으며, 둘은 대화할 수 없다고 할 때, 두 사람이 식사하는 동안 교착 상태가 발생하는 상황을 사례를 들어 설명하라.
   A와 B는 식사를 반복적으로 진행한다. 그러다 A와 B는 동시에 각 각 숟가락과 젓가락을 들게 되는데, 그 순간 A와 B는 갖지 못한 두 수저를 기다리게 된다. 단 조건 상 자신이 가진 수저는 놓을 수 없기에 무한히 기다리게 된다. 이 상황을 교착상태라고 한다.

2. 식사하는 철학자 문제를 잘못 기술한 것은?
   ① 식사하는 철학자 문제는 공유 자원에 대한 멀티스레드의 스케줄링 문제이다.

3. 식사하는 철학자 문제를 해결하는 방법으로 적합한 것을 있는 대로 골라라.
   ① 철학자가 하나의 포크를 들고 다른 포크를 1분 이상 기다릴 때, 두 포크를 놓고 잠시 생각한 뒤 다시 식사를 하면 해결된다.
   ② 식당에 지배인을 두고 지배인이 포크를 대기하고 있는 철학자가 있을 때, 기다리는 포크를 가지고 1분 이상 식사하고 있는 옆 철학자의 포크를 뺏어 주면 된다.
   ③ 포크마다 번호를 매기고 포크가 필요할 때 번호 순으로 포크를 들게 하면 해결된다.

4. 식사하는 철학자 문제가 단일 CPU에서도 발생할 수 있는가, 없는가?
   일어날 수 있다. 각 자원을 요청한 후 컨텍스트 스위칭이 일어나면 교착 상태가 발생한다.
   해설: p.358
5. 다음 문장의 빈 곳에 적절한 단어를 선택하여 문자을 완성하라.
   컴퓨터 시스템에서
   교착상태
   는 deadly embrace라고도 불리는 것으로
   소유하면서 대기
   가 유발되는 4가지 필요충분조건은
   코프만
   에 의해 증명되었다. 그럼에도 불구하고 현재 거의 모든 컴퓨터 시스템에서는 이를 무시하는 방법을 사용하고 있는데 이것을
   타조
   알고리즘이라고 부른다.

6. 코프만의 4가지 조건에 해당하지 않는 것은?
   ① 우선순위 역전

7. 다음 자원할당 그래프에 대한 설명으로 맞는 것은?
   ④ 자원할당 그래프는 자원을 할당하는 과정에서 만들어진다.

8. 다음 자원 할당 그래프에 대한 설명으로 틀린 것은?
   ③ 현재 이 시스템에서 T4와 T5 사이에 교착상태가 발생하고 있다.

9. 다음 자원 할당 그래프 중 교착상태를 나타내는 것을 있는 대로 골라라.
   ③ (그림)

10. 코프만 조건은 어떤 문제에 관한 것인가?
    ① 교착상태

11. 교착상태 무시 전략이 나오게 된 배경이 아닌 것은?
    ② 교착상태가 발생한다고 피해가 발생하는 것은 아니다.

12. 교착상태 예방 전략의 이론적 배경은?
    ① 코프만 조건

13. 자원할당 그래프를 전혀 사용할 필요가 없는 교착상태 해결 전략은?
    ① 교착상태 예방

14. 교착상태 관련 알고리즘 중 타조 알고리즘에 대한 설명을 틀린 것은?
    ③ 타조가 머리를 모래에 박은 것처럼 교착상태가 지나가도록 기다리는 방법이다.

15. 교착상태 해결 방법 중 타조 알고리즘이 적합한 상황은?
    ① 개인용 PC

16. 교착상태 감지 및 복구와 관련된 방법이 아닌 것은?
    ② 모든 자원에 번호를 붙이고 각 스레드는 자원을 할당받을 때 작은 번호의 자원부터 할당받도록 함.

17. 교착상태 감지 및 복구 방법에 대한 설명으로 틀린 것은?
    ④ 이 방법은 너무 많은 시간과 공간을 소모하므로 별로 사용되지 않는다.

18. 교착상태에 대한 설명으로 옳은 것은?
    ② 교착 상태는 몇 몇 스레드들 사이에서 발생하므로 이들만의 문제이지 시스템 전체의 문제는 아니다.

19. 교착상태는 주로 어디에서 발생하는가?
    ① 사용자가 작성한 멀티스레드 응용프로그램의 스레드들 사이에