-
一、实验内容
-
二、实验目的
-
三、实验原理
-
- 3.1、银行家算法中的数据结构
-
3.2、银行家算法
-
3.3、安全性算法
-
四、实现代码
-
测试数据及结果
-
- 数据
-
结果
=====================================================================
银行家算法的实现。
=====================================================================
银行家算法是一种最有代表性的避免死锁的算法。在避免死锁方法中允许进程动态地申请资源,但系统在进行资源分配之前,应先计算此次分配资源的安全性,若分配不会导致系统进入不安全状态,则分配,否则等待。通过编写一个模拟动态资源分配的银行家算法程序,帮助学生进一步深入理解死锁、产生死锁的必要条件、安全状态等重要概念,并掌握避免死锁的具体实施方法。
=====================================================================
1)可利用资源向量Available
是个含有m个元素的数组,其中的每一个元素代表一类可利用的资源数目。如果Available[j]=K,则表示系统中现有Rj类资源K个。
Resources[] Available = new Resources[resKindNum];//系统总资源
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]
//进程的数据结构
class PCB {
public String name;
public Resources[] max;//最大需求资源Max
public Resources[] allocation;//已分配资源Allocation
public Resources[] need;//需求资源Need
public boolean finish = false;//表示进程是否获得足够资源
public PCB(String nam