第二章 进程与线程（四）

目录

死锁

死锁、饥饿、死循环的区别

死锁产生的必要条件

死锁处理策略

预防死锁

避免死锁

死锁的检测

死锁的解除

死锁

在并发环境下，各进程因竞争资源而造成的一种互相等待对方手里的资源，导致各进程都阻塞，都无法向前推进的现象。

死锁、饥饿、死循环的区别

他们都是进程无法向前推进的现象。

死锁一定是“循环等待对方手里资源”而导致的。如果有死锁现象，则至少有两个及以上的进程同时发生死锁。发生死锁的进程一定处于阻塞态。

饥饿可能只有一个进程发生，发生饥饿的进程既可能是阻塞态也可能是就绪态。

死循环可能只有一个进程发生。死循环的进程是运行态，只不过无法像期待的那样顺利推进。

死锁和饥饿是由于操作系统分配资源的策略不合理导致的，而死循环是由代码逻辑的错误导致的。

死锁产生的必要条件

• 互斥条件：只有对必须互斥使用的资源的争抢才会导致死锁。
• 不剥夺条件：进程所获得的资源在未用完之前不能有其他进程强行夺走，只能主动释放。
• 请求和保持条件：进程已经保持了至少一个资源，但又提出了新的资源请求，而该资源又被其他进程占用，此时请求进程被阻塞，但对自己有的资源保持不放。
• 循环等待条件：存在一种进程资源的循环等待，链中的每一个进程以获得的资源同时被下一个进程所请求。

什么时候会发生死锁：对系统资源的竞争，进程推进顺序非法，信号量的使用不当。

死锁处理策略

预防死锁

破环互斥条件

把互斥使用的资源改造为允许共享使用，SPOOLing技术(假脱机技术)。

缺点：很多时候无法破坏互斥条件。

破环不剥夺条件

方案1：当某个进程请求新的资源得不到满足时，他必须立即释放保持的所有资源，待以后需要时再重新申请。可能导致饥饿。

方案2：当某个进程需要的资源被其他进程所占有的时候，由操作系统协助，将想要的资源强行剥夺。

缺点：实现较为复杂。释放以获得的资源可能造成前一阶段的工作失效。这种方法一般只适用与易保存和恢复状态的资源，如CPU。反复的申请和释放资源会增加系统开销，降低系统吞吐量。

破坏请求和保持条件

采用静态分配方法，即进程在运行前一次性申请完它所需要的全部资源，在他的资源为满足前不能投入运行。

缺点：有些资源可能只需要用很短的时间，因此如果进程的整个运行期间都一直保持所有资源，会造成严重的资源浪费，资源利用率低，可能会导致某些进程饥饿。

破坏循环等待条件

采用顺序资源分配法，首先给系统中的资源编号，规定每个进程必须按编号递增的次序请求资源，同类资源一次申请完。

缺点：不方便增加新设备，可能需要重新编号。进程实际使用资源的顺序可能和编号递增顺序不一致，会导致资源浪费，必须按规定次序申请资源，用户编程麻烦。

避免死锁

安全序列

安全序列指如果系统按照这种序列分配资源，每个进程都能顺序完成，只要能找到一个安全序列，系统就是安全状态。

如果分配了资源之后，系统中找不到任何一个安全序列，系统就进入了不安全的状态。这就意味着之后可能所有进程都无法顺序执行下去。如果有进程提前归还了一些资源，系统也有可能重新回到安全状态。

如果系统处于安全状态，一定不会发生死锁；如果系统进入不安全状态，可能发生死锁。

银行家算法

在进程提出资源申请时，先预判此次分配是否会导致系统进入不安全状态，如果会，就暂时不答应这次请求，让该进程先阻塞等待。

死锁的检测

用某种数据结构来保存资源的请求和分配信息。提供一种算法，利用上述信息来检测系统是否已进入死锁状态。

数据结构资源分配图有两种结点和两种边：进程节点(对应一个进程)，资源结点(对应一类资源)；进程节点-->资源节点的边(申请资源)；资源结点-->进程节点的边(分配资源)。

死锁的解除

• 资源剥夺法：挂起某些死锁进程，并抢占它的资源，将这些资源分配给其他的死锁进程。
• 撤销进程法：强制撤销部分甚至全部死锁进程，并剥夺这些进程的资源。实现简单但付出的代价很大。
• 进程回退法：让一个或多个死锁进程回退到足以避免死锁的地步，要求系统要记录进程的历史信息，设置还原点。