死锁

死锁是指两个或两个以上的进程在执行过程中，因竞争资源而造成的一种互相等待的现象，若无外力作用，它们将无法推进下去。

死锁产生的原因：

(1)   系统资源的竞争；

(2)   进程推进顺序非法。

死锁产生的必要条件：

(1)   互斥条件：在一段时间内某资源仅为一个进程所占有，此时若有其他进程请求该资源，则请求进程只能等待，直至该进程释放资源。

(2)   不可剥夺条件：进程所获得的资源在未使用完毕之前，不能被其他进程强行夺走，只能由获得该资源的进程自己来释放。

(3)   请求和保持条件：进程每次申请它所需要的一部分资源时，在等待新资源的同时，进程继续占有已分配的资源。

(4)   循环等待条件：存在一个进程-资源的循环等待链。

预防死锁：破坏产生死锁的四个必要条件中的一个或几个。

(1) 静态分配资源；(2) 释放已占有资源；(3) 抢占性资源分配；(4) 按序分配资源。

避免死锁：在资源的动态分配过程中，用某种方法防止系统进入不安全状态。银行家算法是著名的避免死锁算法。

系统安全状态：系统能按照某种进程推进顺序(P1,P2, … ,pn)为每个进程Pi分配其所需资源，直至满足每个进程对资源的最大需求，是每个进程都可顺利的完成。

死锁的检测与解除

死锁检测：资源分配图简化。

死锁解除的方法：

(1) 剥夺资源法：从一个或多个进程中抢占足够数量的资源，分配给死锁进程，以解除死锁状态。

(2) 撤销进程法：撤销系统中的一个或多个死锁进程，直至打破循环环路，使系统从死锁状态解脱出来。