银行家算法的研究及其计算机仿真.pdfVIP

2003 年 9 月 扬州教育学院学报 Sept. 2003 第 21 卷第 3 期 Journal of Yangzhou College of Education Vol. 21 , No . 3 银行家算法的研究及其计算机仿真 李 　　斌 ( ) 扬州教育学院 计算机系 ,江苏 扬州 　225002 　　摘 　要 : 本文通过对死锁算法 ———Dijkstra 银行家算法进行深入研究 ,得出一些结论 。采用分组技术对其 传统算法进行改进 ,并借助计算机语言和辅助工具对该算法进行了动态模拟 ,发现一般情况下执行效率均有 所提高 。 关键词 : 进程 ;算法 ;改进 ;计算机仿真 ( ) 中图分类号 :TP316 　文献标识码 :A 　文章编号 :1008-6536 2003 03-0032-03 　　一 、引言 资源够否标识向量 Finish, 代表系统是否有足够资源 在多道程序系统中,操作系统对软 、硬件资源进 分配给某进程 ; ( ) 行管理时都有可能发生死锁 Deadlock 。死锁是因 资源数 目向量 Work, 代表系统可供给进程继续 为多个进程竞争资源而造成的一种僵局 ,若无外力 运行所需要的各类资源数 目,含 m 个元素 。 作用 ,这些进程都将永远不能向前推进 。因此采取 (2) 、设 Requesti 是进程 Pi 的请求向量 ,含 m 个 一些措施避免死锁现象的发生 ,显得尤为重要 。Di 元素 。 jkstra 于 1965 年提出的银行家算法是最具有代表性 (3) 、银行家算法的流程图如下 : 的避免死锁算法 。此后有很多学者对该算法进行了 研究 ,但对算法进行改进的论文却很少 。本文一方 面对银行家算法进行了动态模拟 , 另一方面通过分 析银行家算法和改进的银行家算法执行次数的详实 数据 ,发现一般情况下改进的银行家算法效率均有 所提高 。 二 、银行家算法研究及改进 1 、银行家算法中的数据结构及其算法描述 ( 1) 、可利用资源向量 Available, 一个含有 m 个 元素的数组 ,其中每一个元素代表一类可利用的资 源数 目; 最大需求矩阵Max, 是一个 nxm 的矩阵 , 定义 为 n 个进程分别对应的m 类资源的最大需求 ; 分配矩阵Allocation, 是一个 nxm 的矩阵 ,定义 为每一类资源已分配给每一进程的资源数 ; 需求矩阵Need, 是一个 nxm 的矩阵 ,定义为每 一个进程尚需的各类资源数 ; ( 图一) 　　收稿 日期 : 2002-05-13 ( ) 作者简介 : 李斌 1978 — , 男 , 江苏江都人 , 扬州教育学院计算机系助教 。 ·23 · © 1994-2009 China Academic Journal Electronic Publishing House. All rights reserved. ( ) ≤work ( ) =false 其中试探分