产生死锁原因和必要条件.pptVIP

3.5产生死锁的原因和必要条件;§3.8 死锁问题;3.8.1 死锁的基本概念;资源的概念;根据资源性质：可剥夺（抢占）和不可剥夺（抢占）资源。 可抢占资源—指资源占有进程虽然需要使用该资源，但另一个进程却强行把资源从占有者进程处抢来。 不可抢占资源—指只有占用者进程不再需要使用该资源而主动释放资源外，其它进程不得在占有者进程使用资源过程中强行抢占。 ; ;死锁的定义;产生死锁的原因;竞争资源;P1; 若干死锁的例子(1);P2Rel(R1);死锁模型;?产生死锁的四个必要条件;若干死锁的例子(2)例２ PV操作使用不当产生死锁;若干死锁的例子(3)例３ 资源分配不当引起死锁;若干死锁的例子(4)例４对临时性资源使用不加限制引起死锁;3.6预防死锁的方法;死锁防止;死锁防止1.摒弃”请求和保持”静态分配策略（破坏条件2）;死锁防止;死锁的防止3.摒弃”环路等待”条件层次分配策略（破坏条件2和4）;死锁防止层次策略的变种按序分配策略; ;1:防止部分分配（摒弃请求和保持条件）; 3 防止“不剥夺”条件的出现 采用的策略：一个已经保持了某些资源的进程，当它再提出新的资源要求而不能立即得到满足时，必须释放它已经保持的所有资源，待以后需要时再重新申请。 实现比较复杂，且要付出很大代价；此外，还因为反复地申请和释放资源，而使进程的执行无限地推迟，延长了周转时间，增加了系统的开销，降低了系统吞吐量。（例如打印机打印的结果不连续） ;2.防止“环路等待”条件的出现。;3 死锁避免;在资源的动态分配的过程中，使用某种方法去防止系统进入不安全状态，从而避免死锁的发生。 系统状态：? 安全状态：指系统能按照某种顺序如P1,P2,…,Pn(称为P1,P2,…,Pn序列为安全序列)，为每个进程分配所需的资源，直至最大需求，使得每个进程都能顺利完成。 ? 非安全状态：即在某个时刻系统中不存在一个安全序列，则称系统处于不安全状态或非安全状态。 ;虽然并非所有不安全状态都是死锁状态，但当系统进入不安全状态后，便有可能进入死锁状态；反之只要系统处于安全状态，系统便可避免进入死锁状态。因此，避免死锁的实质是如何使系统不进入不安全状态。 ;安全状态的例子;安全状态的例子;虽然并非所有不安全状态都是死锁状态，但当系统进入不安全状态后，便有可能进入死锁状态；反之只要系统处于安全状态，系统便可避免进入死锁状态。因此，避免死锁的实质是如何使系统不进入不安全状态。 系统的状态可能通过下述来描述： 进程剩余申请数＝最大申请数－占有数。 可分配资源数＝总数－占有数之和。 ;3.6.3利用银行家算法避免死锁;银行家算法;一、银行家算法中的数据结构 1 可利用资源向量Available 是一个含有m个元素，其中的每一个元素代表一类可利用的资源数目，其初值是系统中所配置的该类全部可用资源数目。如果Available[j]=k，?表示系统中现有Rj类资源k个。 2 最大需求矩阵Max 是一个含有n?m的矩阵，它定义了系统中n个进程中的每一个进程对m类资源的最大需求。如果Max(i,j)=k，?表示进程i需要Rj类资源的最大数目为k。;3 分配矩阵Allocation 是一个含有n?m的矩阵，它定义了系统中每一类资源当前已分配给每一进程的资源数。如果Allocation(i,j)=k，?表示进程i当前已分得Rj类资源k个。 4 需求矩阵Need 是一个含有n?m的矩阵，用以表示每一个进程尚需的各类资源数。如果Need(i,j)=k，?表示进程i还需要Rj类资源k个，方能完成其任务。 Need(i,j)= Max(i,j)-Allocation(i,j) ;二、银行家算法 设Requesti是进程Pi的请求向量，如果进程Pi需要K个Rj类资源，当Pi发出资源请求后，系统按下述步骤进行检查： 1 如果Requesti≤Needi,则转向步骤2；否则认为出错。（因为它所需要的资源数已超过它所宣布的最大值。 2如果Requesti≤Available,则转向步骤3；否则，表示系统中尚无足够的资源，Pi必须等待 3 系统试探把要求的资源分配给进程Pi，并修改下面数据结构中的数值： Available:=Available-Requesti; Allocation:=Allocation+Requesti; Needi:= Needi- Requesti; 4 系统执行安全性算法，检查此次资源分配后，系统是否处于安全状态。若安全，正式将资源分配给进程Pi，以完成本次