"Deadlock can arise if four conditions hold simultaneously."


Circular wait 가 일어나면 request한 resource를 받아야 process가 wait하지 않는데 No preemption 과 Hold and wait 에 의해 모든 process가 resource를 request 하고 있는데 모든 resource가 process에 의해 release가 되지 않고 Mutual exclusion에 의해 process가 release하지 않은 resource를 받을 수도 없기 때문에 Deadlock이 일어난다. 


엄밀해 보임? 무언가 다르게 해석할 수 있다거나 꼭 이렇지는 않다하는 부분이 있으면 조언 좀..