操作系统原理第六章死锁.pptVIP

第六章 死锁 若对资源不加限制的分配可能导致进程间由于竞争资源而相互制约以至无法继续运行的局面，这就是死锁。 一、死锁的基本概念 1、死锁产生的原因 系统中两个或两个以上的进程无限期的等待永远不可能发生的事件，则称这些进程处于死锁状态中。 进程执行的速度 例6-1 对临时资源使用不加限制 例6-2 例6-3 生活中的例子： 独木桥 其他：wait signal操作顺序不对 产生死锁的原因有两个： 1? 系统资源不足 产生死锁的根本原因在于系统提供的资源个数少于并发进程所需要的资源总数。 2 进程推进次序不合理 2、死锁的必要条件 1）互斥条件 2）保持和请求条件 3）不剥夺条件 4）环路条件 3、死锁的对策 1）鸵鸟策略 忽略死锁的发生,unix和linux中会如此处理 2）预防策略 破坏四个必要条件中的一个，但会影响资源利用率和系统吞吐量 3）避免策略 与预防策略不同，预防策略要求破坏一个必要条件，而避免策略不必严格限制必要条件的存在，因为必要条件存在也不一定发生死锁。因此死锁避免使在事先加以较弱的限制条件，目的是提高系统资源利用率。 4）死锁的检查和解除 通过系统设置检查机构、及时检查死锁的发生，并确定死锁进程和卷入死锁的资源，并采取适当措施，将死锁进程从死锁中解除。 二、死锁预防 1、破坏互斥条件 允许多个进程同时访问资源 2、破坏不剥夺条件 在允许进程动态申请资源的前提下：一个进程在申请新资源的要求不能立刻得到满足时，便处于等待状态。而一个处于等待状态的进程的全部资源可以被剥夺。 3、破坏“请求和保持”条件 静态资源分配法 资源预分配:进程开始之前，一次性分配他所需要的全部资源。 主要问题： ? 进程因等待所需要的资源阻塞时间过长 ? 部分资源可能在相当长的时间内变得不可用； ? 进程一次性知道所需全部资源不太可能。 4、? 破坏“循环等待”条件 针对环路条件的，资源的动态分配 有序资源使用法 ：将系统中的所有资源顺序编号，一般原则是，较为紧缺、稀少的的资源编号较大。进程申请资源时，必须严格按照资源编号的顺序进行，否则系统不予分配。即一进程只有得到编号小的资源，才能申请编号较大的资源，释放资源是，应该按编号递减的次序进行。 三、死锁避免 系统对进程发出的每一个系统能够满足的资源申请进行动态检查，并根据检查结果决定是否分配资源，如果分配后系统可能发生死锁，则不予分配，否则予以分配，这是一种保证系统不进入死锁状态的动态策略。 1、安全和不安全状态 安全状态：在某一时刻，系统能按照某种次序，如P1,P2……Pn来为并发进程分配所需要的资源，直到最大需求，使每个进程都顺利完成，则程此时的系统状态为安全状态。此序列为安全序列。 不安全状态：某一时刻，不存在这样的一个安全序列，则称为不安全状态。 不安全状态一定导致死锁，但不安全状态不一定是死锁。 2、利用银行家算法避免死锁 一个银行家把他的固定资金贷给若干顾客。只要不出现一个顾客借走所有资金后还还不够，银行家的资金应是安全的。银行家需一个算法保证借出去的资金在有限时间内可收回。 为保证资金的安全，银行家规定： 1）? 当一个顾客对资金的最大需求量不超过银行家现有的资金时可以接纳该顾客。 2）? 顾客可以分期贷款，但贷款的总数不能超过最大需求量。 3）? 当银行家现有的资金不能满足顾客尚须得贷款数额时，对顾客的贷款可推迟支付，但总能使顾客在有限的时间能得到贷款。 4）? 当顾客得到所需的全部资金后，能在有限的时间里归还所有的资金。 推广到操作系统，操作系统按照银行家的规定为进程分配资源，进程首先提出对资源的最大需求量，当进程在执行过程中每次申请资源时，系统测试该进程已占用的资源与本次申请的资源之和是不是超过了该进程对资源的最大需求量。若超过则拒绝分配资源，若没有超过，则系统再测试系统现存的资源是否能满足该进程尚需要的最大资源量，若能满足则按当前的申请量分配资源，否则也要推迟分配。 （一）数据结构 可利用资源向量Available。这是一个含有m个元素的数组，其中的每一个元素代表一类可利用的资源数目 。 最大需求矩阵Max。这是一个n×m的矩阵，它定义了系统中n个进程中的每一个进程对m类资源的最大需求。 分配矩阵Allocation。这也是一个n×m的矩阵，它定义了系统中每一类资源当前已分配给每一进程的资源数。 需求矩阵Need。这也是一个n×m的矩阵，用以表示每一个进程尚需的各类资源数 。 注意：Need［i,j］=Max［i,j］-Allocation［i,j］ （二）银行家算法