进程死锁

概念

若系统中存在一组进程(两个或两个以上)，且它们中的每一个都无限等待被该组进程中另一进程所占用的且永远无法释放的资源，这种现象称这一组进程处于死锁状态。

产生死锁的原因

根本原因是：资源有限且分配不当；

1. 竞争资源
   资源分为可重用资源和消耗性资源。可重用资源在被释放后可立即分配给其他进程再次使用，如处理器、主存和各种外设等硬件资源以及文件、数据库、信号量等各种软件资源。消耗资源是指可以产生、被进程使用以及使用后就消失的资源，如中断、信号、消息等。可重用资源又进一步分为可剥夺资源和不可剥夺资源。可剥夺资源若已经分配给某进程且还没有被使用完毕，被剥夺后不会对该进程的运行造成有害影响。如 处理器、主存。不可剥夺资源有打印机、数据库、文件等。
2. 进程推进顺序不当，资源数量不够也未必一定产生死锁。

产生死锁的必要条件

1. 互斥条件。某个资源在一段时间内只能由一个进程占用，一旦将其分配给给某进程后，必须等待该进程使用完成且主动释放它之后，才能再次分配给其他进程使用。
2. 占有且等待条件。进程已占有至少一个资源，又申请新的资源。
3. 不可剥夺条件：一个进程所占有的不可剥夺资源在它使用完之前，系统不能剥夺，只能由改进措施用完之后主动释放。
4. 循环等待条件：系统中若干个进程之间对资源的占有和请求形成了循环等待的关系。

处理死锁的基本方法

预防死锁

1. 破坏占有且等待条件
   保证一个进程在申请资源时不能占有其他资源。实现思路如下：

• 静态分配资源。
  进程在获得全部资源后，才能开始执行。
  缺点：1. 进程获得的某些资源可能很长时间都不会使用，会严重降低资源利用率。2. 如果进程需要多个常用资源，可能产生饥饿现象。
• 要求进程在不占有资源时才可以申请资源。这种相对于静态资源可以一定程度上提高资源利用率和一定程度上减少进程启动运行的延迟。

2. 破坏不可剥夺条件（无语，，，你给人剥夺了傻子都知道不会死锁了）
3. 破坏循环且等待条件。
   按序分配资源。对系统中所有资源类型进行线性排序并编号，通常会根据大部分进程对资源类型的使用顺序进行排序；规定如果进程整个生命周期中需要申请两个及以上资源时，则必须按序号递增顺序申请资源；如果进程需要多个同类型资源，则必须同时一起申请。

避免死锁

避免死锁与预防死锁同属于”预防“策略，但并不是事先规定进程申请资源的限制以破坏产生死锁的必要条件。只是在进行资源分配时动态地检测资源分配状态，判断是否能满足进程本地资源请求，防止系统进入不安全状态。
银行家算法。

检测和解除死锁

死锁检测时机：

1. 每当进程请求资源且不得不满足时就检测。这样比较浪费CPU。
2. 周期性检测
3. 根据CPU利用率确定是否进行检测，当系统CPU利用率低于某个阈值时进行死锁检测。

死锁解除：

1. 撤销进程

• 撤销所有死锁进程
• 一次只撤销一个死锁进程直到解除死锁为止。但是CPU开销较大，因为每撤销一个进程都需要运行死锁检测算法以确定死锁是否已经解除。

2. 抢占资源
   逐步抢占部分死锁进程的资源给其他进程使用，并挂起被抢占资源的进程，直到解除死锁为止。需要考虑以下几个问题：

• 在选择被抢占资源的进程时要考虑代价问题，比如进程的优先级、进程的交互性、进程所占有资源的数量、各资源已为进程所做的工作。
• ”回滚“问题。当一个进程被抢占部分资源后，这些资源之前为进程所做的工作都作废了。因此应该将进程回滚到以前的某个安全状态。
• 避免饥饿现象。系统往往基于某种原则来选择被抢占进程，某一个进程可能总是被选为被抢占者。