银行家算法课程设计报告教案.docVIP

《操作系统原理》课程设计报告 1设计目的 进一步了解进程的并发执行 加强对进程死锁的理解 用银行家算法完成死锁检测 2设计内容 给出进程需求矩阵C、资源向量 R以及一个进程的申请序列。使用进程启动拒绝和资源分配拒绝（银行家算法）模拟该进程组的执行情况。 3设计要求 初始状态没有进程启动； 计算每次进程申请是否分配，如：计算出预分配后的状态情况（安全状态，不安全状态），如果是安全状态，输出安全序列； 每次进程申请被允许后，输出资源分配矩阵A和可用资源向量V； 每次申请情况应可单步查看，如：输入一个空格，继续下个申请。 4算法原理 4.1银行家算法中的数据结构 可利用资源向量Available 它是一个含有m个元素的数组，其中的每一个元素代表一类可利用的资源数目，其初始值是系统中所配置的该类全部可用资源数目。其数值随该类资源的分配和回收而动态地改变。如果Available[j]=K,则表示系统中现有Rj类资源K个。 最大需求短阵Max 这是—个n×m的矩阵，它定义了系统中n个进程中的每一个进程对m类资源的最大需求。如果Max(i，j)＝K，表示进程i需要Rj类资源的最大数目为K。 分配短阵Allocation 这是一个n×m的矩阵，它定义了系统中每一类资源当前已分配给每个进程的资源数。如果Allocation(i,j)＝K，表示进程i当前已分得Rj类资源的数目为K。 需求矩阵Need