操作系统课程设计之模拟通过银行算法避免死锁.docVIP

模拟通过银行家算法避免死锁 银行家算法产生的背景及目的 1：在多道程序系统中， 虽然节奏、虽然借助于多个进程的并发执行来改善系统的利用率，提高系统的吞吐量，但可能发生一种危险—死锁。，死锁就是多个进程在运行过程中因争夺资源而造成的一种僵局，当进程处于这种 僵局状态时，如无外力作用，他们将无法再向前进行，如再把信号量作为同步工具时，多个Wait和Signal操作顺序不当，会产生进程死锁。 然而产生死锁的必要条件有互斥条件，请求和保持条件，不剥夺条件和环路等待条件。在预防死锁的几种方法中，都施加了较强的限制条件，在避免死锁的方法中，所施加的条件较弱，有可能获得令人满意的系统性能。在该方法中把系统的状态分为安全状态和不安全状态，只要能使系统都处于安全状态，便可避免死锁。 2：实验目的：让学生独立的使用编程语言编写和调试一个系统分配资源的简单模拟程序，了解死锁产生的原因及条件。采用银行家算法及时避免死锁的产生，进一步理解课堂上老师讲的相关知识点。银行家算法是从当前状态出发，逐个按安全序列检查各客户中谁能完成其工作，然后假定其完成工作且归还全部贷款，再进而检查下一个能完成工作的客户。如果所有客户都能完成工作，则找到一个安全序列，银行家才是安全的。 二：银行家算法中的数据结构 1：可利用资源向量Available。这是一个含有m个元素的数组，其中的每个元素代表一类可利用的资源数目，其初始值是系统中所配置的该类全部可用资源的数目，其数值随该类资源的分配和回收而动态的改变。如果Available[j]=k，z 则表示系统中现有Rj类资源K 个。 2：最大需求矩阵Max。这是一个n*m的矩阵，它定义了系统中n个进程中的每一个进程对m类资源的最大需求。如果Max[i,j]=k，表示第i个进程需要第Rj类资源的最大数目k个. 3: 分配矩阵Allocation,也是n*m的矩阵，若Allocation[i,j]=k,表示第i 个进程已分配Rj类资源的数目为k个。 4：需求矩阵Need。也是一个n*m的矩阵，Need[i,j]=k,表示第i个进程还需Rj类资源k个。 三、银行家算法及安全性算法 1：银行家算法 设Request[i]是进程Pi的请求向量，若Request[i][j]=k;表示进程需要j类资源k个。当Pi发出资源请求时，系统按下属步骤进行检查； 如果Request[i][j]=Need[i][j];便转向步骤（2），否则认为出错，因为它所需要的资源数已超过他所宣布的最大值。 如果Request[i][j]=Available[i][j],便转向步骤（3），否则认为尚无足够资源，进程需等待。 系统试探着把资源分配给进程，并修改下面数据结构的数据 Available[i][j]=Available[i][j]-Request[i][j]; Allocation[i][j]=Allocation[i][j]+Request[i][j]; Need[i][j]=Need[i][j]-Request[i][j]; 系统执行安全性算法，检查此次资源分配后系统是否处于安全状态。若安全，才正式将资源分配给进程Pi，已完成此次分配。否则，将本次的试探分配作废，回复原来的资源分配状态，将进程Pi等待。 2：安全性算法 设置两个向量； 1：工作向量Work，表示系统可提供给进程运行所需的各类资源数目，它含有m个元素，初始时Work=Available 2：Finish ,表示系统是否有足够的资源分配给进程，使之运行完成。开始时先做Finish[i]=true 从进程中找到一个能满需下属条件的进程 1；Finish[i]=false； 2：Need[i][j]=Work[j];若找到执行步骤（3），否则执行步骤（4） 当进程Pi顺利获得资源后，直至完成，并释放分配给它的资源，执行： Work[j]=Work[j]+Allocation[i][j]; Finish[i]=true; Go to step (2); 如果所有的进程Finish[i]都满足，则表示系统处于安全状态，否则，处于不安全状态。 四、模块设计与分析及整体功能概述 模块设计与分析： 整个银行家算法分为初始化函数Init（），安全性算法函数 safe（），银行家算法函数bank（）三部分。初始化函数生成开始时刻系统中的进程和资源情况，安全性算法判断当某进程申请资源时，系统能否处于安全状态。在本实验中，若系统处于安全状态，便生成一个安全进程序列（安全序列可能有多个）。银行家算法函数bank（）负责整体的检查与异常判断。 整体功能概述： 死锁会引起系统陷入僵局，操作系统必须防止此现象的发生。本实验通过一个动态分配资源的模拟程序，更清楚的理解死锁产生的原