03. 퀴즈.pdf

1. a : 순환 X

   b : 순환 O 하지만 인스턴스가 1개씩이므로 Deadlock 발생

   c : 순환 X

   d : 순환 2사이클 O 인스턴스가 2개씩이므로 Deadlock 발생

   e : 순환 1사이클 O R2, R3 인스턴스가 2개씩이므로 Deadlock 발생하지 않는다.

2. Deadlock이 발생하지 않기 위한 조건의 첫번째로 상호배제가 있다.

   최소한 하나의 자원이 비공유(non-sharable) 모드로 점유되어야 한다.

   따라서 T1, T2에 3개의 인스턴스를 배치하고 하나의 인스턴스를 추가해준다.

   3 + 3 + 1 = 7

3. 4가지 조건을 모두 충족해야 Deadlock이 발생한다.

4. 여러개의 자원 타입에 한 개의 인스턴스가 존재할 경우 대기 그래프가 사이클을 포함하는 경우에 시스템에 Deadlock이 발생한다.

   But, 문제에서 한개의 자원타입에 한 개의 인스턴스가 존재한다고 했다.

   딱 하나의 인스턴스만 존재하므로 Deadlock이 발생하지 않는다.