死锁

一原因

死锁产生的原因主要是：（1）系统资源不足；（2）进程运行推进的顺序不合适；（3）资源分配不当。

二定义

所谓 deadlocks(死锁)是指两个或两个以上的进程在执行过程中，因争夺资源而造成的一种互相等待的现象，若无外力作用，它们都将无法推进下去。此时称系统处于死锁状态或系统产生了死锁。

三  产生死锁的4个必要条件如下。

·互斥条件:一个资源每次只能被一个进程使用。

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

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

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

这4个条件是死锁的必要条件，只要系统发生死锁，这些条件必然成立，而只要上述条

件之一不满足，就不会发生死锁。

四死锁的解除与预防方法如下:

理解了死锁的原因，尤其是产生死锁的4个必要条件，就可以最大可能地避免、预防和解除死锁。所以，在系统设计、进程调度等方面注意如何不让这4个必要条件成立，如何确定资源的合理分配算法，避免进程永久占据系统资源。此外，也要防止进程在处于等待状态的情况下占用资源，在系统运行过程中，对进程发出的每一个系统能够满足的资源申请进行动态检査，并根据检査结果决定是否分配资源，若分配后系统可能发生死锁，则不予分配，否则予以分配。因此，对资源的分配要给予合理的规划。

根据产生死锁的4个必要条件，只要使其中之一不能成立，死锁就不会出现。为此，可以采取下列3种预防措施:

·采用资源静态分配策略，破坏“部分分配”条件。

·允许进程剥夺使用其他进程占有的资源，从而破坏“不可剥夺”条件。

·采用资源有序分配法，破坏“环路”条件。

这里注意一点:互斥条件无法被破坏。

死锁的避免不严格地限制死锁的必要条件的存在，而是系统在系统运行过程中小心地避免死锁的最终发生。避免死锁算法中最有代表性的算法是银行家算法，该算法需要检查申请者对资源的最大需求量，如果系统现存的各类资源可以满足申请者的请求，就满足申请者的请求。这样申请者就可很快完成其计算，然后释放它占用的资源，从而保证了系统中的所有进程都能完成，所以可避免死锁的发生。

五死锁的处理策略：

鸵鸟策略（不进行处理）、预防策略、避免策略、检测与解除死锁。

若一个进程的请求会导致死锁，则不启动该进程，一个非最优的策略是如果一个进程请求资源i的数量量加上已分配的资源i的数量大于系统中资源i的总量则不启动该进程

若一个进程增加的资源请求会导致死锁，则不允许这一资源的分配（银行家算法）