第六讲操作系统.ppt

内蒙古工业大学 步骤4：执行安全性检测算法判断步骤（3）的是否安全，如果处在安全状态则承认试分配，否则抛弃试分配，进程等待。 步骤3：根据进程的资源请求,先把资源试探性分配给它。修改相应的数据，available,allocation和need。 第五讲 死锁 第五讲 死锁 安全性检测算法 步骤1：将need、allocation和available存入临时变量空间//检测时要修改这些参数 步骤2：查找need矩阵是否有一行，其未被满足的资源数均小于或等于可用资源向量available。如果找不到，返回不安全状态； 步骤3：若找到这样一行，可以假设它获得所需的资源并运行结束，将该进程标记为结束，并将已分配资源（allocation）加到可用资源向量available上； 步骤4：重复以上两步，直到所有进程都标记为结束，则状态是安全的，否则将发生死锁。 实例 系统中共有五个进程和A、B、C三类资源; A、B、C类资源分别有10个、5个和7个。 在时刻T0,系统目前资源分配情况如下表所示。 系统描述 第五讲 死锁 第五讲 死锁 判断T0时刻是否安全 安全序列：p1,p3,p4,p2,p0 求解安全序列？ 第五讲 死锁 第五讲 死锁 P1请求资源 进程P1申请资源request=(1,0,2); 执行银行家算法banker(p1,request); request(1,0,2)≤need(1,2,2); request(1,0,2)≤available(3,3,2); 检查 第五讲 死锁 process Allocation need Available A B C A B C A B C P0 0 1 0 7 4 3 2 3 0 P1 3 0 2 0 2 0 P2 3 0 2 6 0 0 P3 2 1 1 0 1 1 P4 0 0 2 4 3 1 进行试分配,得到新状态 第五讲 死锁 判定新状态是否安全? 执行安全性检测算法，安全序列{P1,P3,P4,P0,P2}能满足安全性条件,可正式把资源分配给进程P1。 第五讲 死锁 进程P0请求资源 P0申请request(0,2,0) 执行银行家算法banker(p0,request) 检查 request（0,2,0)≤need（7,3,1) request（0,2,0)≤available(2,3,0) process allocation need available A B C A B C A B C P0 0 1 0 7 3 1 2 3 0 P1 3 0 2 0 2 0 P2 3 0 2 6 0 0 P3 2 1 1 0 1 1 P4 0 0 2 4 3 1 分配前的状态 系统先为P0作尝试性分配，修改对应数据，得到一下中间结果： 第五讲 死锁 第五讲 死锁 process Allocation need Available A B C A B C A B C P0 0 3 0 7 2 3 2 1 0 P1 3 0 2 0 2 0 P2 3 0 2 6 0 0 P3 2 1 1 0 1 1 P4 0 0 2 4 3 1 系统能满足进程P0的资源请求（0,2,0)，但可以看出剩余资源已不能满足任何进程需求，故系统已处于不安全状态，故不能为进程P0分配资源。 安全性算法检查 恢复资源 第五讲 死锁 死锁的检测和解除 上面讲述的各种方法虽然能很好地对死锁进行预防和避免，但它存在的问题就是资源的利用率不高，况且各种算法会增加系统的开销。 因此解决死锁的另一种途径就是对死锁进行检测。 第五讲 死锁 * 第五讲 死锁 教学目的 掌握避免死锁的银行家算法（扩充） 掌握死锁的概念 掌握产生死锁的原因 掌握产生死锁的必要条件 掌握死锁的解决办法 教学内容 3.8 死锁问题 第五讲 死锁 第五讲 死锁 死锁的定义 Dijkstra的定义 指两个或两个以上的进程在运行