1、操作系统课程设计报告专业计算机科学与技术学生姓名班级学号指导教师完成日期信息工程学院题目: 银行家算法的模拟实现一、设计目的本课程设计是学习完“操作系统原理”课程后进行的一次全面的综合训练, 通过课程设计,更好地掌握操作系统的原理及实现方法,加深对操作系统基础 理论和重要算法的理解,加强学生的动手能力。二、设计内容1) 概述用 C 或 C+语言编制银行家算法通用程序,并检测所给状态的系统安全性。1. 算法介绍:数据结构:1) 可利用资源向量 Available;2) 最大需求矩阵 Max;3) 分配矩阵 Allocation;4) 需求矩阵 Need2. 功能介绍模拟实现 Dijkstra 的
2、银行家算法以避免死锁的出现,分两部分组成: 第一部分:银行家算法(扫描);第二部分:安全性算法。2) 设计原理一银行家算法的基本概念1、死锁概念。在多道程序系统中,虽可借助于多个进程的并发执行,来改善系统的资源利用率,提高系统的吞吐量,但可能发生一种危险死锁。所谓死锁(Deadlock),是指多个进程在运行中因争夺资源而造成的一种僵局(Deadly_Embrace),当进程处于这种僵持状态时,若无外力作用,它们都将无法再向前推进。一组进程中,每个进程都无限等待被该组进程中另一进程所占有的资源,因而永远无法得到的资源,这种现象称为进程死锁,这一组进程就称为死锁进程。2、关于死锁的一些结论:参与死
3、锁的进程最少是两个(两个以上进程才会出现死锁)参与死锁的进程至少有两个已经占有资源参与死锁的所有进程都在等待资源18参与死锁的进程是当前系统中所有进程的子集注:如果死锁发生,会浪费大量系统资源,甚至导致系统崩溃。3、资源分类。永久性资源:可以被多个进程多次使用(可再用资源) 可抢占资源不可抢占资源临时性资源:只可使用一次的资源;如信号量,中断信号,同步信号等(可消耗性资源)“申请-分配-使用-释放”模式4、产生死锁的四个必要条件:互斥使用(资源独占)、不可强占(不可剥夺)、请求和保持(部分分配,占有申请)、循环等待。1) 互斥使用(资源独占)一个资源每次只能给一个进程使用。2) 不可强占(不可
4、剥夺)资源申请者不能强行的从资源占有者手中夺取资源,资源只能由占有者自愿释放。3) 请求和保持(部分分配,占有申请)一个进程在申请新的资源的同时保持对原有资源的占有(只有这样才是动态申请,动态分配)。4) 循环等待存在一个进程等待队列P1 , P2 , , Pn,其中 P1 等待 P2 占有的资源,P2 等待 P3 占有的资源,Pn 等待 P1 占有的资源,形成一个进程等待环路。5、死锁预防:定义:在系统设计时确定资源分配算法,保证不发生死锁。具体的做法是破坏产生死锁的四个必要条件之一。破坏“不可剥夺”条件在允许进程动态申请资源前提下规定,一个进程在申请新的资源不能立即得到满足而变为等待状态之
5、前,必须释放已占有的全部资源,若需要再重新申请破坏“请求和保持”条件。要求每个进程在运行前必须一次性申请它所要求的所有资源,且仅当该进程所要资源均可满足时才给予一次性分配。破坏“循环等待”条件采用资源有序分配法:把系统中所有资源编号,进程在申请资源时必须严格按资源编号的递增次序进行,否则操作系统不予分配。6安全状态与不安全状态安全状态:如果存在一个由系统中所有进程构成的安全序列 P1,Pn,则系统处于安全状态。一个进程序列P1,Pn是安全的,如果对于每一个进程Pi(1in),它以后尚需要的资源量不超过系统当前剩余资源量与所有进程Pj (j i )当前占有资源量之和,系统处于安全状态 (安全状态
6、一定是没有死锁发生的)不安全状态:不存在一个安全序列,不安全状态一定导致死锁。二银行家算法1、银行家算法中的数据结构1)可利用资源向量 Available它是一个含有 m 个元素的数组,其中的每一个元素代表一类可利用的资源数目,其初始值是系统中所配置的该类全部可用资源数目。其数值随该类资源的分配和回收而动态地改变。如果 Availablej=K,则表示系统中现有 Rj 类资源 K 个。2) 最大需求短阵 Max这是个 nm 的矩阵,它定义了系统中 n 个进程中的每一个进程对 m 类资源的最大需求。如果 Max(i,j)K,表示进程 i 需要 Rj 类资源的最大数目为 K。3) 分配短阵 All
7、ocation这是一个 nm 的矩阵,它定义了系统中每一类资源当前已分配给每个进程的资源数。如果 Allocation(i,j)K,表示进程 i 当前已分得 Rj 类资源的数目为 K。4) 需求矩阵 Need它是一个 nm 的矩阵,用以表示每一个进程尚需的各类资源数,如果Needi,j=K,则表示进程 i 还需要 Rj 类资源 k 个,方能完成其任务。上述三个矩阵间存在下述关系:Needi,j=Maxi,j-Allocationi,j2、银行家算法设 Requesti 是进程 Pi 的请求向量。如果 Requestijk,表示进程只需要 k 个 Rj 类型的资源。当 Pi 发出资源请求后,系统
8、按下述步骤进行检查: 1)如果Requestij=Needi,j,则转向步骤 2;否则,认为出错,因为它所需要的资源数已超过它所宣布的最大值。2) 如果 Requestij=Availablej ,则转向步骤 3;否则,表示系统中尚无足够的资源,Pi 必须等待。3) 系统试探把要求的资源分配给进程 Pi,并修改下面数据结构中的数值: Availablej:=Availablej-Requestij; Allocationi,j:=Allocationi,j+Requestij; Needi,j:=Needi,j-Requestij;4) 系统执行安全性算法,检查此次资源分配后,系统是否处于安全
9、状态。若安全,才正式将资源分配给进程 Pi,以完成本次分配;否则,将试探分配作废, 恢复原来的资源分配状态,让进程 Pi 等待。3、安全性算法系统所执行的安全性算法可描述如下:1)设置两个向量、工作向量 Work。它表示系统可提供给进程继续运行所需要的各类资源数目, 它含有 m 个元素,执行安全算法开始时,Work = Available。、Finish。它表示系统是否有足够的资源分配给进程,使之运行完成,开始时先做 Finishi:=false;当有足够资源分配给进程时,令Finishi:=true 。 2)从进程集合中找到一个能满足下述条件的进程:、Finishi=false; 、Need
10、i,j=Workj;如找到,执行步骤(3);否则,执行步骤(4)。3) 当进程 Pi 获得资源后,可顺利执行,直至完成,并释放出分配给它的资源, 故应执行:Workj:=Worki+Allocationi,j; Finishi:=true;goto step 2;4) 如果所有进程的 Finishi:=true,则表示系统处于安全状态;否则,系统处于不安全状态。三银行家算法之例假定系统中有五个进程:P0,P1,P2,P3,P4和三种类型的资源A,B,C,每一种资源的数量分别为 10、5、7,在 T0 时刻的资源分配情况如图 1 所示。进程资源情况MaxAllocationNeedAvailab
11、leABCABCABCABCP0753010743332(230)P1322200122(302)(020)P2902302600P3222211011P4433002431图 1 T0 时刻的资源分配表(1) T0 时刻的安全性:利用安全性算法对 T0 时刻的资源分配情况进行分析(如图 2)可知,在 T0 时刻存在着一个安全序列P1,P3,P4,P2,P0,故系统是安全的。资源情况进程WorkNeedAllocationWork+AllocationFinishABCABCABCABCP1332122200532trueP3532011211743trueP4743431002745true
12、P27456003021047trueP010477430101057true图 2 T0 时刻的安全序列(2) P1 请求资源:P1 发出请求向量 Request1(1,0,2),系统按银行家算法进行检查:Request1(1,0,2)=Need1(1,2,2)Request1(1,0,2)=Available1(3,3,2)系统先假定可为 P1 分配资源,并修改 Available,Allocation1 和 Need1向量,由此形成资源变化情况如图 1 中的圆括号所示。再利用安全性算法检查此时系统是否安全。如图 3 所示。资源情况进程WorkNeedAllocationWork+Allo
13、cationFinishABCABCABCABCP1230020302532trueP3532011211743trueP4743431002745trueP0745743010755trueP27556003021057true图 3 P1 申请资源时的安全性检查由所进行的安全性检查得知,可以找到一个安全序列P1,P3,P4,P2,P0。因此系统是安全的,可以立即将 P1 所申请的资源分配给它。(3) P4 请求资源:P4 发出请求向量 Request4(3,3,0),系统按银行家算法进行检查:Request4(3,3,0)Need4(4,3,1);Request4(3,3,0)不小于等于 Available(2,3,0),让 P4 等待。(4) P0 请求资源:P0 发出请求向量 Request0(0,2