3.5预防死锁的方法

一、预防死锁

资源的排他性无法更改，故在其他3个条件上入手
（1）摒弃“请求和保持”条件：所有进程开始运行前，必须一次性的申请其在整个运行过程所需的全部资源（AND）。算法简单、易于实现且很安全。但缺点是资源浪费严重、或进程延迟运行。
（2）摒弃“不剥夺”条件：允许进程先运行，但当提出的新要求不被满足时必须释放它已保持的所有资源，待以后需要时再重新申请。实现比较复杂且付出很大代价。可能会造成前功尽弃，反复申请和释放等情况。
（3）摒弃“环路等待”条件

• 有序设置资源：将所有资源按类型进行线性排队，赋予不同序号。所有进程对资源的请求必须严格按照资源序号递增的次序提出，这样在所形成的资源分配图中，不可能会出现环路。
• 与前两种策略比较，资源利用率和系统吞吐量都有较明显的改善。但也存在严重问题：
  ①资源编号限制新设备的增加；
  ②应用中的使用设备顺序与规定的顺序并不协调；
  ③限制了用户编程自由。

二、避免死锁

采用避免死锁的方法则是只施加较弱限制条件，从而获得令人满意的系统性能。

安全状态：

系统能按某种进程顺序为每个进程分配所需资源，直至满足每个进程对资源的最大需求，并能顺利完成。

不安全状态：

系统无法找到一种使多个进程能够顺利分配资源执行完的安全序列。

*由安全状态向不安全状态的转换

• 每次资源分配时，都应分析判断资源分配图，看该次操作后是否有安全序列。若没有，说明该操作会使系统进入不安全状态。
• 只要使系统始终处于安全状态，便可避免发生死锁。
• 不是所有的不安全状态都是死锁状态。

三、银行家算法避免死锁

最有代表性的避免死锁的算法，是Dijkstra的银行家算法。由于该算法能用于银行系统现金贷款的发放而得名。

1.思路描述：

随时对系统中的所有资源信息进行统计，包括每种资源的数量、已分配给各进程的数量；每当进程提出某种资源请求时判断该请求分配后是否安全，如果安全才分配。对每个资源请求的处理都要保证系统始终从一个安全状态到另一个安全状态。

利用安全性算法在下表找一个安全序列{P1,P3,P4,P2,P0}，故是安全的。（最后检查应是资源释放完后又回到10、5、7 ）

2.银行家算法中的数据结构

（1）各类可利用资源的数量

• 向量Available ：（i1，i2，…，im），含m个元素，每个元素代表一类可利用的资源数目。
• 动态变化的，初始值是系统配置的该类资源的全部数目，值随资源的分配与回收而动态的改变。
• 实现：一维数组。Available【j】=K，表示系统中Rj类资源现有可用数量为K个。

（2）每个进程对每类资源的需求
最大需求、已获得的、还需要的

• 最大需求矩阵Max
  n*m，系统中n个进程中每个进程分别对m类资源的最大需求。
  取值：根据进程需求赋初始值。
  实现：二维数组。Max【i，j】=K，表示进程 i 需要Rj类资源的最大数目为K。
• 已分配矩阵Allocation。
  n*m，定义系统中每一进程已获得的每类资源数量。
  Allocation【i，j】=K，表示进程i当前已分得Rj类资源数为K。
• 还需求的矩阵Need。
  n*m，表示每一进程尚需的各类资源数。
  Need【i，j】=K，表示进程i还需要Rj类资源K个，方能完成任务。
  上述三个矩阵存在关系：
  Max【i，j】= Allocation【i，j】+Need【i，j】

3.算法过程：

就是对各进程的Request向量及资源数量进行一系列判断及值操作。
进程Pi发出资源请求后，系统按下述步骤进行检查：
首先是两个基本判断：
（1）IF Requesti[j]<= Need[i,j]
THEN 转向步骤2；
ELSE 认为出错，所需资源数超过宣布的最大值（自我矛盾)
（2）IF Requesti[j]<= Available[j]
THEN 转向步骤3；
ELSE 表示尚无足够资源，Pi需等待（现实不满足）
如果上面两步判断都通过了，进入实质的资源分析
（3）系统试探着把资源分配给进程Pi ，并修改相应数据结构的值（假设性操作）：
Available【j】=Available【j】 - Requesti【j】
Allocation【i,j】=Allocation【i,j】+ Requesti【j】
Need【i,j】= Need【i,j】- Requesti【j】
（4）系统执行安全性算法，判断新的资源分配状态是否是安全的。
即：找一个安全序列，使这些进程按顺序执行完）如果能够找到，则将假设操作真正实施完成资源分配。

安全性算法

（1）需要一些记录信息的数据结构，设置两个向量：

• 工作向量work
  算法开始时work=Available;
  系统找安全序列的过程需要不断判断和修改当前资源数量，不能直接修改原始数据记录Aailable。
• 标志向量Finish
  表示每个进程是否有足够的资源使之运行完成。开始时所以进程都设置初值Finish[i]:=false;
  找安全序列的过程相当于使所有Finish[i]:=true。