三、死锁预防
3.1 解决死锁的方法
- 不考虑此问题（鸵鸟算法）
- 不让死锁发生
- 死锁预防。这是一种静态策略：即设计合理的资源分配算法，不让死锁发生
- 死锁避免。这是一种动态策略：以不让死锁发生为目标，跟踪并评估资源分配过程，根据评估结构决策是否分配
- 让死锁发生
死锁检测和解除
3.2 死锁预防（Deadlock Prevention）(重点)
- 定义：在设计系统时，通过确定资源分配算法，排除发生死锁的可能性
- 具体做法：防止产生死锁的四个必要条件中任何一个条件的发生
3.2.1 破坏“互斥使用/资源独占”条件
- 资源转换技术：把独占资源变为共享资源
SPooling技术的引入，解决不允许任何进程直接占有打印机的问题。设计一个“守护进程/线程”负责管理打印机，进程需要打印时， 将请求发给该daemon，由它完成打印任务。
3.2.2 破坏“占有且等待”条件
- 实现方案1：要求每个进程在运行前必须一次性申请它所有求的所有资源，且仅当该进程所要资源均可满足时才给予一次性分配。当然，这种方案的资源利用率较低，容易出现“饥饿”现象。
- 实现方案2：在允许进程动态申请资源前提下规定，一个进程在申请新的资源不能立即得到满足而变为等待状态之前，必须释放已占有的全部资源，若需要再重新申请。
3.2.3 破坏“不可抢占”条件
- 实现方案
当一个进程申请的资源被其他进程占用时，可以通过操作系统抢占这一资源（两个进程优先级不同）
局限性：
该方法实现起来比较复杂，要付出很大的代价。
- 反复地申请和释放资源
- 进程的执行被无限地推迟
只适用于状态易于保存和恢复的对主存资源和处理器资源的分配适用于资源。如cpu和内存等。
3.2.4 破坏“循环等待”条件
- 通过定义资源类型的线性顺序实现
- 实施方案：资源有序分配法
- 把系统中所有资源编号，进程在申请资源时必须严格按资源编号的递增次序进行，否则操作系统不予分配。我们一般根据资源使用的频繁性来进行编号。例如解决哲学家就餐问题。
- 为什么资源有序分配法不会产生死锁？
起始就是进程申请的资源编号必须是递增的，比如进程P1申请了资源1、3、9，而进程P2需要资源1、2、5，那么进程P2在申请时必须按照1、2、5的顺序来申请，这样就破坏了环路条件，因为在申请到资源1之前，后面的资源是申请不到的。
存在下述严重问题：
限制了新类型设备的增加。
造成对资源的浪费。
必然会限制用户简单、自主地编程。
四、死锁避免
定义：在系统运行过程中，对进程发出的每一个系统能满足的资源申请进行动态检查，并根据检查结果决定是否分配资源，若分配后系统发生死锁或可能发生死锁（不是安全状态），则不予分配，否则（安全状态）予以分配。
安全状态：如果系统中存在一个所有进程构成的安全序列P1，P2，......，Pn，则称系统处于安全状态。安全状态表示系统一定没有发生死锁。
安全序列
一个进程序列｛P1，P2，......，Pn｝是安全的，如果对于每个进程Pi(1<= i <= n)：它以后还需要的资源数量不超过系统当前剩余资源量与所有进程Pj(j < i)当前占有资源量只和。
不安全状态：系统中不存在一个安全序列。一定会导致死锁。五、死锁避免算法：银行家算法这是Dijkstra在1965年提出的，是仿照银行发放贷款时采取的控制方式而设计的一种死锁避免算法。
应用条件
1、在固定数量的进程中共享数量固定的资源。
2、每个进程预先指定完成工作所需的最大资源数量。
3、进程不能申请比系统中可用资源总数还多的资源。
4、进程等待资源的时间是有限的。
5、如果系统满足了进程对资源的最大需求，那么，进程应该在有限的时间内使用资源，然后归还给系统。
- 当进程
Pi提出资源申请时，系统执行下列步骤：
（1）若Request[i] <= Need[i]，转（2）；否则，报错返回。
（2）若Request[i] <= Available，转（3）；否则，报错返回。
（3）假设系统分配了资源，则有：
Available = Available - Request[i];
Allocation[i] = Allocation[i] + Request[i];
Need[i] = Need[i] = Request[i]
`</pre>
若系统新状态是安全的，则分配完成；若系统新状态是不安全的，则恢复原来状态，进程等待。
为了进行安全性检查，定义了数据结构：
安全性检查的步骤：
（1）`Work = Available； Finish = false；`
（2）寻找满足条件的`i`：
如果不存在，则转（4）
（3）
`Work = Work + Allocationi ;
转（2）
（4）若对所有i，Finish[i] == true，则系统处于安全状态，否则，系统处于不安全状态。
