操作系统 预防进程死锁的银行家算法 java版.doc

实验三 预防进程死锁的银行家算法 实验目的 通过这次实验，加深对进程死锁的理解，进一步掌握进程资源的分配、死锁的检测和安全序列的生成方法。 试验内容 问题描述： 设计程序模拟预防进程死锁的银行家算法的工作过程。假设系统中有n个进程P1, … ,Pn，有m类可分配的资源R1, … ,Rm，在T0时刻，进程Pi分配到的j类资源为Allocationij个，它还需要j类资源Need ij个，系统目前剩余j类资源Workj个，现采用银行家算法进行进程资源分配预防死锁的发生。 程序要求： 1）判断当前状态是否安全，如果安全给出安全序列；如果不安全给出理由。 2）对于下一个时刻T1，某个进程Pk会提出请求Request(R1, … ,Rm)，判断分配给P k进程请求的资源之后系统是否安全。 3）输入：进程个数n，资源种类m，T0时刻各个进程的资源分配情况（可以运行输入，也可以在程序中设置）； 4）输出：如果安全，输出安全的进程序列，不安全则提示信息。 需求分析 (1) 输入的形式和输入值的范围 输入进程的数目 输入资源的种类 每个进程最多所需的各类资源数(Max[i][j]) 每个进程已经分配的各类资源数(Allocation[i][j]) 各个资源现有的数目（Available[][]） (2) 输出的形式 如果安全，输出安全的进程序列，不安全则提示信息。 测试用例 调试分析 通过本次实验可知，用银行家算法避免死锁就是在资源所能承受范围内给需要资源的进程分派所需资源，在分派资源时若请求资源超出所需资源或超出可得资源，则不合条件,则让当前进程等待换下一个进程,若可利用资源已经满足任何一个进程所需，则系统不安全并且系统不分配资源；在安全性检验时，若可利用资源已经满足任何一个进程所需，则系统不安全并且系统不分配资源。 免死锁属于事先预防的策略，在资源的动态分配过程中用某种方法去防止系统进入不安全状态，从而避免死锁发生。 测试结果 输入进程数,资源数,最大需求矩阵,分配矩阵,可利用资源向量, 对进程的资源请求向量 输出: 附录(java) package experiment; import java.io.BufferedInputStream; import java.io.FileInputStream; import java.io.FileNotFoundException; import java.util.Scanner; public class C_Bank { // 允许的最大进程数 private static int MaxNumber = 100; // 真正的进程数 public static int realNum; // ??????????? public static int l=0; // 资源的种类 public static int resourceKind; // 可利用资源数组 private static int Available[] = new int[MaxNumber]; // 最大需求矩阵 private static int Max[][] = new int[MaxNumber][MaxNumber]; // 已分配矩阵 private static int Allocation[][] = new int[MaxNumber][MaxNumber]; // 需求矩阵 private static int Need[][] = new int[MaxNumber][MaxNumber]; // 请求向量 private static int Request[][] = new int[MaxNumber][MaxNumber]; // 表示系统是否有足够的资源分配给进程 private static boolean Finish[] = new boolean[MaxNumber]; //当前可利用资源 private static int Work[] = new int[MaxNumber]; // 安全序列 private static int p[] = new int[MaxNumber]; //for循环中使用 private static int i; private static int j; private static int k; public static Scanner stdin; public static void main(String args[]) throws FileNotFoundException { // 输入realNum,resourceKind,Max[i][j]