操作系统（五）死锁

死锁的基本概念

死锁：一组竞争系统资源或相互通信的进程相互的“永久”阻塞。若无外力作用，这组进程将永远不能继续执行
可以引起死锁的资源主要是:需要采用互斥访问方法的、不可以被抢占的资源，即在前面介绍的临界资源。系统中这类资源有很多，如打印机、数据文件、队列、信号量等。
可重用性资源和消耗性资源：

• 可重用性资源 　　
  可重用性资源是一种可供用户重复使用多次的资源。例如：设备和文件。计算机中大部分资源都是可重用性资源。
• 可消耗性资源　　
  可消耗性资源又称为临时性资源，它是在进程运行期间，由进程动态地创建和消耗的。例如：用于进程之间通信的消息。

可抢占性资源和不可抢占性资源

• 可抢占性资源
  指某进程在获得这类资源后，该资源可以再被其它进程或系统抢占。例如：优先级高的进程可以抢占优先级低的进程。
• 不可抢占性资源
  一旦系统把某资源分配给该进程后，就不能将它强行收回，只能在进程用完后自行释放。 例如：刻录机。

产生死锁的原因

• 竞争不可抢占性资源引起死锁
• 竞争可消耗资源引起死锁
• 资源数 < 要求该种资源的进程数
• 进程推进顺序不当引起死锁

死锁产生的必要条件

• 互斥条件。任一时刻只允许一个进程使用资源。
• 请求和保持条件。进程在请求其它资源时，不主动释放已经占用的资源。
• 非剥夺条件。进程正在使用的资源不会被强行剥夺。
• 循环等待条件。在发生死锁时，存在进程的循环等待链，链中的每一个进程已获得的资源被链中另一个进程所请求。

处理死锁的方法

• 预防死锁
  通过设置某些限制条件，去破坏产生死锁的四个必要条件中的一个或几个来防止发生死锁。
  1．互斥条件——试图通过破坏互斥条件防止死锁的发生往往行不通。
  2．非剥夺条件——目前只适用于对内存资源和处理机资源的分配，并不适用于其他资源。
  3．请求和保持条件——可采用静态资源分配法。一方面资源被浪费而另一方面却存在进程“饿死”的现象。
  4．循环等待条件——为了破坏循环等待条件，可以采用有序资源分配法。
  死锁产生时,上述的四个条件必定存在。如果有一个不存在,死锁也不可能存在。
• 避免死锁
  银行家算法
• 检测死锁
  资源分配图：资源分配图又称进程——资源分配图，它是一种描述系统中进程与资源的申请和分配情况的有向图，其中方框结点表示资源，圆圈结点表示进程，从方框结点指向圆圈结点的有向边表示某类资源被某进程占有，从圆圈结点指向方框结点的有向边表示某进程申请某类资源。由于某一类资源可能含有多个同类资源，在方框中用圆点来表示同一类资源的数目
  通过对资源分配图进行化简来判断是否发生死锁。要判断系统是否处于死锁状态，只需判断简化后的资源分配图中是否形成环路。
  资源分配图的简化过程如下 ：
  • (1) 寻找一个非孤立且没有请求边的进程结点Pi， 去除所有Pi的分配边使Pi成为一个孤立结点。重复该步，直到找不到这样的结点。
  • (2) 寻找所有请求边均可满足的进程Pj，将Pj的请求边全部改为分配边，转(1)。若找不到这样的进程，则结束。
• 解除死锁
  • 终止所有死锁进程(鸵鸟算法)
  • 剥夺资源：从其它进程剥夺足够数量的资源给死锁进程。
  • 撤消进程：A.为解除死锁状态所需撤消的进程数目最小
    B.撤消进程所付出的代价最小