第11章 银行家算法实验.ppt

第11章相关说明 说明：（1）实验相关ppt内容选自《操作系统课程设计》的核心实验。 （2）该课程上课时间为2015年春季，全班人数共54人。 第11章 银行家算法实验 提纲 提纲 实验目的 理解死锁的概念，了解导致死锁的原因； 掌握死锁的避免方法，理解安全状态和不安全状态的概念； 理解银行家算法，并应用银行家算法避免死锁； 提纲 实验内容 1．实验步骤：创建vs工程banker，将代码添加到该工程中； 2．将测试数据写入到文本文件in（注意，无后缀）中。 3．阅读代码，根据银行家算法认真思考int issafe() 函数的工作原理，以及该函数是如何生成一个安全序列的。是否有更高效的方法来实现同样的功能。 4．完成函数void changedata(int i); 表示第i次完成资源分配 5．执行程序： 1）按下启动键以+R键，输入cmd进如命令行窗口 2）切换到banker工程的debug目录下，将之前写好的in文件放到该目录下； 3）执行bank in (通过输入重定向实现数据的输入) 4）查看结果 6．完成相应的实验报告 实验内容 测试数据： 5 4 2 0 1 1 0 1 2 1 4 0 0 3 0 2 1 0 1 0 3 0 1 2 0 3 0 1 3 1 1 1 0 2 1 3 2 0 2 0 1 3 1 2 2 2 提纲 实验算法（基本概念） 死锁：多个进程在执行过程中，因为竞争资源会造成一种相互等待的局面。如果没有外力作用，这些进程将永远无法向前推进。此时称系统处于死锁状态或者系统产生了死锁。 安全序列：若有一个进程序列{P1，…，Pn}，如果对于每个进程Pi（1≤i≤n），以后尚需要的资源数量不超过系统当前剩余的资源量和所有进程Pj (j i )当前占用资源之和，则称序列{P1，…，Pn}为一个安全序列。 安全状态：如果存在一个由系统中所有进程构成的安全序列P1，…，Pn，则系统处于安全状态，安全状态一定是没有死锁发生。 不安全状态：在当前形式下不存在安全序列，则系统处于不安全状态。 实验算法（银行家算法） 将操作系统的资源比作银行家管理的资金，进程向操作系统请求分配资源，就好像用户向银行家贷款。操作系统像银行家一样，按照规则为进程分配资源，当进程首次申请资源时，要测试该进程对资源的最大需求量，如果系统现存的资源可以满足它的最大需求量，则按当前的申请量为其分配资源，否则就推迟分配。当进程在执行中继续申请资源时，先判断本次申请资源数是否超过了剩余资源的总量，如果资源数未超过剩余资源总量，则进行分配，否则推迟分配。 银行家算法的基本思想：分配资源之前，先判断系统是否处于安全状态，若处于安全状态则分配资源，否则不进行分配。该算法是典型的避免死锁算法。 提纲 实验示例（函数示例） 部分API说明： void showdata(); //显示进程初始信息 void changedata(int i); //对i进程进行资源分配，修改相应的信息 bool issafe(); //判断判断系统是否安全 实验示例（函数示例） 数据说明：第一行第一个数据“5”，表示共有5个进程；第二个数据“4”表示每个进程需要4种资源（即为列数）；从第2～6行分别表示每个进程需要的资源数量；7～11行表示每个资源已经占有的资源数量。12行表示系统拥有资源的数量 5 4 2 0 1 1 0 1 2 1 4 0 0 3 0 2 1 0 1 0 3 0 1 2 0 3 0 1 3 1 1 1 0 2 1 3 2 0 2 0 1 3 1 2 2 2