Operating System Concept Ch7

목차

없음

본문내용

7.1
a. Mutual exclusion : 하나의 차가 도로에 있는 공간을 혼자 점유하고 있습니다.
Hold and Wait : 도로가 점유되어 있다면, 멈춰서 기다립니다.
No preemtion : 차는 도로에서 갑자기 사라질 수 없으므로 비선점적입니다.
Circular wait : 그림 속에 하나의 순환구조가 형성되어 있고, 리소스를 사용하기 위해 기다리고 있어 Circular wait도 만족합니다.
b. 간단한 방법들로 위에 제시된 데드락의 특성을 반대로하면 됩니다. 도로를 2차선으로 뚫어버린다는지, 도로와 도로를 잇는 지름길을 만들면 됩니다.

7.2.
교착상태가 계속해서 발생할 수 있습니다. Writer락을 설정한 순간 다른 쓰레드들은 해당 리소스를 서로 공유할 수 없기 때문에 Mutual exclusion을 보장합니다. 하나의 쓰레드는 하나의 리소스에 락을 가질 수 있기 때문에, 다른 쓰레드가 기다리는 시간이 생기고 따라서 Hold and Wait도 보장합니다. 또한 락 처리하는 도중 다른 쓰레드가 가져가버릴 수 없기 때문에 Nopreemtion 또한 유지되고. 모든 스레드들 간의 순환 대기 또한 가능합니다.

참고 자료

없음