Java语言的银行家算法.docVIP

湖北中医学院信息技术系 操作系统课程设计 第  PAGE 12 页 操作系统课程设计（一号黑体加粗） 银行家算法模拟 （小二黑体加粗） 院 系： 小二黑体加粗 班 级： 学 号： 姓 名： 同 组 者： 时 间： 目录（小二黑体加粗） TOC \o 1-3 \h \z   HYPERLINK \l _Toc195284031 一、题目  PAGEREF _Toc195284031 \h 2  HYPERLINK \l _Toc195284032 二、设计目的  PAGEREF _Toc195284032 \h 2  HYPERLINK \l _Toc195284033 三、总体设计思想概述  PAGEREF _Toc195284033 \h 3  HYPERLINK \l _Toc195284034 四、设计要求  PAGEREF _Toc195284034 \h 3  HYPERLINK \l _Toc195284035 五、设计方案  PAGEREF _Toc195284035 \h 3  HYPERLINK \l _Toc195284036 六、说明  PAGEREF _Toc195284036 \h 4  HYPERLINK \l _Toc195284037 七、流程图  PAGEREF _Toc195284037 \h 5  HYPERLINK \l _Toc195284038 八、运行结果  PAGEREF _Toc195284038 \h 5  HYPERLINK \l _Toc195284039 九、源程序  PAGEREF _Toc195284039 \h 9  HYPERLINK \l _Toc195284040 十、总结  PAGEREF _Toc195284040 \h 10  HYPERLINK \l _Toc195284041 十一、参考文献  PAGEREF _Toc195284041 \h 10  一、题目：（标题2，即三号黑体加粗） 银行家算法模拟。 二、设计目的： 通过此课程设计，进行的一次全面的综合训练，使之更好地掌握操作系统的原理及实现方法,加深对操作系统基础理论和重要算法的理解，加强学生的动手能力。 三、总体设计思想概述： 安全状态下系统不会进入死锁，不安全状态可能进入死锁。在进行资源分配之前，先计算分配的安全性，判断是否为安全状态。 四、设计要求： 银行家算法是避免死锁的一种重要方法，本实验要求用高级语言编写和调试一个简单的银行家算法程序。加深了解有关资源申请、避免死锁等概念，并体会和了解死锁和避免死锁的具体实施方法。设计完成后，要求写出一份详细的设计报告。 五、设计方案： 编制银行家算法通用程序，并检测所给状态的系统安全性。 1）银行家算法中的数据结构 假设有n个进程m类资源，则有如下数据结构： 可利用资源向量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）银行家算法 设进程I提出