Question

死锁的四个必要条件

Answer 1

死锁的4个必要条件为互斥条件、请求与保持条件、不剥夺条件、循环等待条件，具体如下：

1、互斥条件：一个资源每次只能被一个进程使用。

2、请求与保持条件：一个进程因请求资源而阻塞时，对已获得的资源保持不放。

3、不剥夺条件：进程已获得的资源，在末使用完之前，不能强行被剥夺。

4、循环等待条件：若干进程之间形成一种头尾相接的循环等待资源关系。

解决死锁的方法

通过上面可以了解，这四个条件是死锁的必要条件，只要系统发生死锁，这些条件必然成立，而只要上述条件之一不满足，就不会发生死锁。不难看出，在死锁的四个必要条件中，第二、三和四项条件比较容易消除。具体可以使用以下方法解决死锁的问题：

1、静态分配：采用资源静态分配策略（进程资源静态分配方式是指一个进程在建立时就分配了它需要的全部资源），破坏＂部分分配＂条件。

2、可剥夺：允许进程剥夺使用其他进程占有的资源，从而破坏＂不可剥夺＂条件。

3、有序分配：采用资源有序分配法，破坏＂环路＂条件。