银行家算法模拟实现总结报告.doc

操作系统课程设计报告 专业 计算机科学与技术 学生姓名 班级 计算机科学与技术 学号 指导教师 完成日期 2014.3.20  题目： 银行家算法的模拟实现 一、设计目的学习完操作系统课程后进行的一次全面的综合训练，加深操作系统基础理论和的理解，加强学生的动手能力。设计内容1）概述2）设计原理? 参与死锁的进程最少是两个 ? （两个以上进程才会出现死锁） ? 参与死锁的进程至少有两个已经占有资源 ? 参与死锁的所有进程都在等待资源 ? 参与死锁的进程是当前系统中所有进程的子集 注：如果死锁发生，会浪费大量系统资源，甚至导致系统崩溃。 3、资源分类。 永久性资源： 可以被多个进程多次使用（可再用资源） ? 可抢占资源 ? 不可抢占资源 临时性资源：只可使用一次的资源；如信号量,中断信号，同步信号等（可消耗性资源） 　　　　　　“申请--分配--使用--释放”模式 4、产生死锁的四个必要条件：互斥使用（资源独占）、不可强占（不可剥夺）、请求和保持（部分分配，占有申请）、循环等待。 1) 互斥使用（资源独占） 一个资源每次只能给一个进程使用。 2) 不可强占（不可剥夺） 资源申请者不能强行的从资源占有者手中夺取资源，资源只能由占有者自愿释放。 3) 请求和保持（部分分配，占有申请） 一个进程在申请新的资源的同时保持对原有资源的占有（只有这样才是动态申请，动态分配）。 4) 循环等待 存在一个进程等待队列 {P1 , P2 , … , Pn}, 其中P1等待P2占有的资源，P2等待P3占有的资源，…，Pn等待P1占有的资源，形成一个进程等待环路。 5、死锁预防: 定义:在系统设计时确定资源分配算法，保证不发生死锁。具体的做法是破坏产生死锁的四个必要条件之一。 ①破坏“不可剥夺”条件 在允许进程动态申请资源前提下规定，一个进程在申请新的资源不能立即得到满足而变为等待状态之前，必须释放已占有的全部资源，若需要再重新申请 ②破坏“请求和保持”条件。 要求每个进程在运行前必须一次性申请它所要求的所有资源，且仅当该进程所要资源均可满足时才给予一次性分配。 ③破坏“循环等待”条件 采用资源有序分配法： 把系统中所有资源编号，进程在申请资源时必须严格按资源编号的递增次序进行，否则操作系统不予分配。 6．安全状态与不安全状态 安全状态： 如果存在一个由系统中所有进程构成的安全序列P1，…Pn，则系统处于安全状态。一个进程序列{P1，…，Pn}是安全的，如果对于每一个进程Pi(1≤i≤n），它以后尚需要的资源量不超过系统当前剩余资源量与所有进程Pj (j i )当前占有资源量之和，系统处于安全状态 (安全状态一定是没有死锁发生的) 不安全状态:不存在一个安全序列，不安全状态一定导致死锁。 二．银行家算法 1、银行家算法中的数据结构 1）可利用资源向量Available 它是一个含有m个元素的数组，其中的每一个元素代表一类可利用的资源数目，其初始值是系统中所配置的该类全部可用资源数目。其数值随该类资源的分配和回收而动态地改变。如果Available[j]=K,则表示系统中现有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个，方能完成其任务。 上述三个矩阵间存在下述关系： Need[i,j]=Max[i,j]-Allocation[i,j] 2、银行家算法 设Requesti是进程Pi的请求向量。如果Requesti[j]＝k，表示进程只需要k个Rj类型的资源。当Pi发出资源请求后，系统按下述步骤进行检查： 1）如果 Requesti[j]=Need[i,j]，则转向步骤2；否则，认为出错，因为它所需要的资源数已超过它所宣布的最大值。 2）如果Requesti[j]=Available[j] ，则转向步骤3；否则，表示系统中尚无足够的资源，Pi必须等待。 3）系统试探把要求的资源分配给进程Pi，并修改下面数据结构中的数值： Av