《操作系统银行家算法设计实现报告》.docVIP

银行家算法的模拟实现 一、设计目的 （1）了解进程产生死锁的原因，了解为什么要进行死锁的避免。 （2）掌握银行家算法的数据结构，了解算法的执行过程，加深对银行家算法的理解。 二、设计内容 编制银行家算法通用程序，并检测所给状态的系统安全性。 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。这也是一个n*m的矩阵，用以表示每一个进程尚需的各类资源数。如果Need[i,j]=K，则表示进程i还需要Rj类资源K个，方能完成其任务。 上述三个矩阵存在如下关系： Need[i,j]= Max[i，j]- Allocation[i，j] 2.银行家算法 设是进程的请求