进程管理lecture22.pptVIP

Thread * Introducing Thread * 操作系统进程管理张其亮 * OutLine 死锁概念 死锁解决策略 * Dead Lock 是指多个进程因竞争资源而造成的一种僵局，若无外力作用，这些进程都无法向前推进，死锁是计算机系统和进程所处的一种状态。 定义 * Dead Lock Any Questions in running？ * Dead Lock Same Problems * DeadLock Conditions 互斥条件：资源在使用上具有独占性、互斥性 不可剥夺条件：一个资源仅能被占有它的进程所释放，而不能被其他进程剥夺 部分分配条件（请求和保持条件）：一个进程在请求新的资源的同时，保持对某些资源的占有 环路等待条件：存在一个进程的环路链，链中每一个进程占用有着某个或某些资源，又在等待链中的另一个进程占有的资源。 * Dealing DeadLock 死锁的预防 死锁的避免 死锁的检测 死锁的恢复 * Prevent 破坏部分分配条件: 方法 资源一次性分配： 进程在运行中需要的全部资源，要么全部分配，要么一个都不分配；进程运行中，不能再申请资源； * Prevent 破坏环路条件: 方法 资源有序分配： 所有的进程都只能严格地按照编号递增（或递减）的次序去请求资源，亦即，只有低编号的资源要求满足后，才能对高编号资源提出要求 * Prevent 1 为系统中各种类型的资源所分配的序号必须相对稳定，这就限制了新设备类型的增加 2 作业实际使用资源的顺序与系统规定的顺序不同而造成资源的浪费； 缺点： * Prevent 破坏不可剥夺条件: 方法 可剥夺资源： 当一个已经保持某些资源的进程，再提出新的资源的申请而不能立即得到满足时，必须释放已经保持了的所有资源 * Avoid DeadLock 安全状态： 在某个时刻，系统能按某种顺序，如〈P1，P2，┉Pn〉来为每个进程分配需要的资源，直至最大需求，使每个进程都能顺利地完成。则称此时的系统状态为安全状态。〈P1，P2，┉Pn〉为安全序列。 不安全状态： 在某个时刻，系统不存在这样一个安全序列，则称此时的系统状态为不安全状态。 系统 思想 资源的动态分配过程中，用某种方法防止系统进入不安全状态。 * Example 例：假定系统有三个进程P1、P2、P3，共有12台磁带机。进程P1总共要求10台磁带机，P2和P3分别要求4台和9台。设在T0时刻，进程P1、P2和P3已经获得5台、2台和2台，还有3台空闲没有分配。 进程 最大需求 已分配 可用 P1 10 5 3 P2 P3 4 2 2 9 T0时刻系统时安全的。这时存在一个安全序列P2，P1，P3 * Banker’s Algorithm 银行家算法是最有代表性的避免死锁算法，是Dijkstra提出的银行家算法。这是由于该算法能用于银行系统现金贷款的发放而得名。 数据结构 算法 思想 试探性分配资源，检查安全性，不安全则分配无效，安全则正式分配资源 * Structure 一、银行家算法中的数据结构 1 可利用资源向量Available 是一个含有m个元素，其中的每一个元素代表一类可利用的资源数目，其初值是系统中所配置的该类全部可用资源数目。如果Available[j]=k，?表示系统中现有Rj类资源k个。 2 最大需求矩阵Max 是一个含有n?m的矩阵，它定义了系统中n个进程中的每一个进程对m类资源的最大需求。如果Max(i,j)=k，?表示进程i需要Rj类资源的最大数目为k。 * Structure 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) * Algorithm 二、银行家算法 设Requesti是进程Pi的请求向量，如果进程Pi需要K个Rj类资