产生死锁的必要条件

产生死锁的必要条件

产生死锁有四个条件：互斥、请求和保持、不可抢占、循环等待。

只要任意一个条件不成立，死锁就不会发生。

互斥条件：进程对所分配到的资源进行排它性使用，即在一段时间内，某资源只能被一个进程占用。如果此时还有其它进程请求该资源，则请求进程只能等待，直至占有该资源的进程用毕释放。

请求保持条件：进程已经保持了至少一个资源，但又提出了新的资源请求，而该资源已被其它进程占有，此时请求进程被阻塞，但又对自己以获得的资源保持不变。

不可抢占条件：进程已获得的资源在未使用完之前不能被抢占，只能在进程使用完时由自己释放。

循环等待条件：在发生死锁时，必定存在一个由进程构成的资源循环链（进程集合{P0,P1,P2,...,Pn}中的P0正在等待一个P1占用的资源，P1正在等待P2占用的资源，......，Pn正在等待P0占用的资源）。