操作系统实验报告—银行家算法模拟.docVIP

(完整word版)操作系统实验报告—银行家算法模拟 (完整word版)操作系统实验报告—银行家算法模拟 (完整word版)操作系统实验报告—银行家算法模拟 银专家算法模拟 【开发语言及实现平台或实验环境】 C++/C# 【实验目的】 1）进一步理解利用银专家算法防止死锁的问题； 2）在认识和掌握银专家算法。 3）理解和掌握安全序列、安全性算法 【实验内容】 1）编写安全性算法； 2）编写银专家算法，并编制银专家算法通用程序，将调试结果显示在计算机屏幕上，再检测和笔算的一致性。 【实验原理】 一、安全状态 指系统能依据某种次序如 P1,P2, ,Pn( 称为 P1,P2, ,Pn序列为安全序 列 ) ，为每个进度分派所需的资源， 直至最大需求， 使得每个进度都能顺利达成。二、银专家算法 假定在进度并发履行时进度 i 提出恳求 j 类资源 k 个后，表示为 Requesti[j]=k 。系统按下述步骤进行安全检查： 1）假如 Requesti ≤Needi 则持续以下检查， 不然显示需求申请高出最大需求值的错误。 2）假如 Requesti ≤Available 则持续以下检查，不然显示系统无足够资源， Pi 堵塞等候。 （ 3）系统尝试着把资源分派给进度 Pi ，并改正下边数据构造中的数值： Available Allocation Need ［ i,j  ［j ］∶ =Available ［j ］-Request i [j ］; ［i,j ］∶ =Allocation ［ i,j ］+Requesti ［ j ］ ; ］∶ =Need［ i,j ］-Requesti ［j ］; 4）系统履行安全性算法，检查此次资源分派后，系统能否处于安全状态。若 安全，才正式将资源分派给进度 Pi ，以达成本次分派；不然， 将本次的尝试分 配作废，恢还本来的资源分派状态，让进度 Pi 等候。 三、安全性算法 1）设置两个向量：① 工作向量 Work: 它表示系统可供应给进度持续运转所 第 1 页 需的各种资源数目，它含有 m个元素，在履行安全算法开始时，∶ Work =Available; ② Finish: 它表示系统能否有足够的资源分派给进度，使之运转达成。开始时 先做 Finish ［i ］∶=false; 当有足够资源分派给进度时， 再令 Finish ［i ］∶ =true 。 （ 2）从进度会合中找到一个能知足下述条件的进度： ① Finish ［i ］=false; ② Need［i,j ］≤ Work［ j ］； 若找到， 履行步骤 (3) ， 不然，履行步骤 (4) 。 3）当进度 Pi 获取资源后，可顺利履行，直至达成，并开释出分派给它的资源，故应履行： Work［ j ］∶ = Work［i ］+Allocation ［ i,j ］; Finish ［i ］∶ = true; go to step 2; 4）假如所有进度的 Finish ［i ］=true 都知足， 则表示系统处于安全状态；不然，系统处于不安全状态。 【实验步骤】 （ 1）参照图 1-1 所示流程图编写安全性算法。 开始 初始化 Work 和 Finish 存在 Finish[i] =false  N Need[i][j]= Available[j] Y Finish[i]=true ，Work[j]=Work[j]+ Allocation[i][j] N 所有进度都找完了？ Y N 所有 finish 都为 true？ Y 输出系统不安全 输出安全序列 图 1-1 安全性算法流程图 第 2 页 （ 2）编写一致的输出格式。 每次提出申请以后输出申请成功与否的结果。假如成功还需要输出变化前后的各样数据，而且输出安全序列。 （ 3）参照图 1-2 所示流程图编写银专家算法。 开始 输入初始参数（资 源分派及恳讨情 Requesti[j] Need[i][j] N Requesti[j] Available[j] 假定分派： N Available[j] = Available[j] –Requesti[j] Allocation[i][j]= Allocation[i][j] + Request Need[i][j] = Need[i][j] –Requesti[j]  Y Y i[j]  犯错返回： return(error) 犯错返回： (进度阻 塞) return(error) 是 假定分派以后， 系统安全 吗？ 申请成功。输出各样数 据的变化  否 申请失败。 以上分派作废，恢还本来的分派状态： Available[j] = Available[j] + Request i[j] Allocation[i