实用标准文案精彩文档操作系统原理课程设计——银行家算法指导老师：周敏唐洪英杨宏雨杨承玉傅由甲黄贤英院系：计算机学院计算机科学与技术系班级：0237-6学号：2002370608姓名：朱应瑜同组者：陈源时间：2005/12/22---2005/12/28实用标准文案精彩文档目录一、设计目的..........................................................3二、设计内容..........................................................3三、银行家算法的基本思想.............................................3（一）死锁...............................................................3（二）系统安全状态.......................................................4（三）银行家算法避免死锁.................................................41、银行家算法中的数据结构............................................42、银行家算法........................................................43、安全性算法........................................................5四、系统模块间关系图..................................................6五、系统子模块结构图..................................................7六、输入、输出数据.....................................................9七、源程序及系统文件使用说明......................................12（一）源程序............................................................12（二）系统文件使用说明..................................................25八、心得体会............................................................26九、参考文献............................................................26实用标准文案精彩文档银行家算法一、设计目的本课程设计是学习完《计算机操作系统》课程后，进行的一次全面的综合训练。通过这次课程设计，让我们更好地掌握操作系统的原理及实现方法,加深对操作系统基础理论和重要算法的理解，加强动手能力。二、设计内容编制银行家算法通用程序，并检测所给状态的系统安全性。三、银行家算法的基本思想（一）死锁在多道程序系统中，虽可借助于多个进程的并发执行，来改善系统的资源利用率，提高系统的吞吐量，但可能发生一种危险——死锁。所谓死锁，是指多个进程在运行过程中因争夺资源而造成的一种僵局，当进程处于这种僵持状态时，若无外力作用，它们都将无法再向前推进。产生死锁的原因可归结为如下两点：（1）竞争资源。（2）进程间推进顺序非法。死锁的发生必须具备下列四个必要条件：（1）互斥条件。（2）请求和保持条件。（3）不剥夺条件。（4）环路等待条件。实用标准文案精彩文档（二）系统安全状态避免死锁的实质在于：系统在进行资源分配时，如何使系统不进入不安全状态。所谓安全状态，是指系统能按某种进程顺序（P1，P2，⋯⋯，Pn）（称
序列为安全序列），来为每个进程Pi分配其所需资源，直至满足每个进程对资源的最大需求，使每个进程都可顺利的完成。如果系统无法找到这样一个安全序列，则称系统处于不安全状态。（三）银行家算法避免死锁为实现银行家算法，系统中必须设置若干数据结构。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个，...
