关于死锁的总结

1、死锁的概念：
指在多道程序系统中，一组进程中的每一个进程均无限地等待被该组进程中另一个进程所占有且永远不会释放的资源，这种现象称为死锁。
或者说：一组进程中，每个进程都无限地等待该组进程中另一进程所占有的资源，因而永远无法得到的资源，这种现象称为进程死锁，这一组进程称为死锁进程。

关于死锁的一些结论：
1） 参与死锁的进程最少是两个；
2） 参与死锁的进程至少有两个已经占有资源；
3） 参与死锁所有进程都在等待资源；
4）参与死锁的进程是当前系统中所有进程的子集，一般是真子集；
2. 死锁产生的原因：
1）资源的概念：按照资源的使用性质，一般把系统中的资源分为两类：
a) 永久性资源：系统中那些资源可供进程重复使用、长期存在的资源，如内存、外部设备、CPU等硬件资源，以及各种数据资源，以及各种数据文件、表格、共享程序代码等软件资源。
b) 临时性资源 ：由某个进程所产生、只为另一个进程使用一次、或经过短暂时间后便不再使用的资源，如I/O和时钟中断、同步信号、消息等。
（申请―――分配―――使用―――释放模式）

2）产生死锁的原因主要是：
a) 竞争资源：因为系统资源不足，不能满足每个进程的需求。
b) 多道程序运行时，进程运行推进的顺序不合适。

如果系统资源充足，进程的资源请求都能够得到满足，死锁出现的可能性就很低，否则就会因争夺有限的资源而陷入死锁。其次，进程运行推进顺序与速度不同，也可能产生死锁。
3.产生死锁的四个必要条件：
（1）互斥条件：任何一个时刻一个资源每次只能被一个进程使用，其他进程若申请一个资源，而不该资源被另一进程占有时，则申请者等待，直到资源被占用者释放 。
（2）请求与保持条件：一个进程因请求资源而阻塞时，对已获得的资源保持不放。
（3）不剥夺条件:进程已获得的资源，在末使用完之前，不能强行剥夺。
（4）循环等待条件:若干进程之间形成一种头尾相接的循环等待资源关系。

这四个条件是死锁的必要条件，只要系统发生死锁，这些条件必然成立，而只要上述条件之一不满足，就不会发生死锁。

4．死锁的解除与预防：
理解了死锁的原因，尤其是产生死锁的四个必要条件，就可以最大可能地避免、预防和解除死锁。所以，在系统设计、进程调度等方面注意如何不让这四个必要条件成立，如何确定资源的合理分配算法，避免进程永久占据系统资源。此外，也要防止进程在处于等待状态的情况下占用资源。因此，对资源的分配要给予合理的规划。

1） 预防死锁：破坏那四个必要条件中的一个便不会产生死锁；
2） 避免死锁：资源对进程发出的每一个系统能够满足的资源申请进行动态检查，并根据检查结果决定是否分配资源；如果分配后系统可能发生死锁，则不予分配，否则予以分配，这是一种保证系统不进入死锁状态的动态策略。
最典型的的例子时：银行家算法
3） 检测死锁：确定是否存在“循环等待”条件，检查算法确定死锁的存在并识别出于死锁有关的进程和资源，以供系统采取适当的解除死锁措施。
4） 解除死锁：a.剥夺资源 b.撤销进程 c.重新启动 d.进程回退