操作系统中银行家算法研究性教学.docVIP

操作系统中银行家算法研究性教学 　　摘要《操作系统》课程中死锁是一个重要的问题,银行家算法是采用死锁避免策略来解决死锁问题的经典算法,也是本课程教学的重难点,本文根据实际教学经验探讨以银行家算法为例的研究性教学方法。 　　关键词死锁 死锁避免 银行家算法 安全性算法 　　中图分类号:G423文献标识码:A 　　 　　1 引言 　　《操作系统》是计算机专业的核心理论课程之一,该课程首次引入进程以及进程并发执行等相关概念,无论对于教师的专业教学还是对于学生的系统学习都具有重要的作用。由于本课程涉及的学科多、理论知识点多、内容难理解等特征,在整个学习过程中,最让学生关注的是对于死锁问题中银行家算法的讨论,这不仅涉及计算机专业问题,同样在日常生活中也存在很多类似的现象,具有实践意义。 　　为了让学生深入掌握理论知识,本文根据实际教学经验,结合大部分学生学习该课程的情况,以银行家算法为例探讨了该课程的教学方法。 　　2 银行家算法的教学思路 　　2.1 银行家算法的引入 　　对于多个进程的并发执行可以改善系统的资源利用率和提高系统的处理能力,学生通过前序内容的学习都能够理解,但在系统运行过程中由于进程执行的异步性特征以及系统资源的有限,如果操作系统为这些并发进程分配资源顺序不当时,就可能会产生死锁(Deadlock),而死锁最终可能导致整个系统瘫痪,危及系统安全。 　　那么在操作系统设计过程中如果产生死锁又是如何解决呢? 　　通常解决死锁的方法有预防、避免、检测和解除三种,其中采用死锁避免可以获得满意的系统性能,而银行家算法(Banker’s Algorithm)则是典型的采用死锁避免策略来解决死锁问题的著名算法。是由艾兹格?迪杰斯特拉在1965年为T.H.E系统设计的一种避免死锁产生的算法。它以银行借贷系统的分配策略为基础,判断并保证系统的安全运行。银行家就好比操作系统,资金就是资源,客户就相当于要申请资源的进程。 　　2.2 掌握银行家算法的基本原理 　　首先让学生了解系统通常工作的两个状态:即安全状态和不安全状态,在系统动态的为各进程分配资源的过程中,只要保证系统处于安全状态,即系统可按照某一顺序为每一进程分配资源直至完成释放,存在这样的安全序列系统就不会发生死锁。接下来具体分析银行家算法的数据结构及算法步骤。 　　2.2.1 银行家算法中的数据结构 　　可利用资源向量:Available[j]=k,表示系统中现有Rj类资源k个。 　　最大需求矩阵:Max[i,j]=k,表示进程i需要Rj类资源的最大数目为k。 　　分配矩阵:Allocation[i,j]=k,表示进程i当前已分得Rj类资源的数目为k。 　　需求矩阵:Need[i,j]=k,表示进程i还需要Rj类资源k个,方能完成其任务。 　　不难看出上述矩阵间存在下述关系: 　　Need[i,j]= Max[i,j]- Allocation[i,j]。 　　2.2.2 银行家算法的具体描述 　　进程Pi的请求向量:Requesti[j]=k,表示进程Pi需要k个Rj类型的资源。 　　当Pi发出资源请求Requesti后,系统按下述步骤进行检查: 　　(1)若Requesti=Needi,则转向(2);否则错误,因为Pi所请求的资源已超过它的需求最大值。 　　(2)若Requesti=Available,则转向(3);否则进程Pi等待,因为此时系统没有足够的资源。 　　(3)系统进入试探性分配,并修改相应的数据结构: 　　Available=Available-Requesti 　　Allocationi=Allocationi+Requesti; 　　Needi=Needi-Requesti; 　　(4)系统执行安全性算法,检查此次资源分配之后,系统是否处于安全状态。若安全则试探性分配生效;否则,将试探性分配作废,进程Pi等待。 　　2.2.3安全性算法描述 　　Work:表示系统可提供给进程继续运行所需要的各类资源数目。 　　Finish:表示系统是否有足够的资源分配给进程,使之运行完成。 　　(1)Work= Available; 　　 Finish[i]=false。 　　(2)从进程集合中找到一个满足下述条件的进程: 　　Finish[i]=false;Needi=Work。若找到转向(3);否则转向(4)。 　　(3)当进程Pi获得资源后,可顺利执行直至完成,并释放出分配给它的资源: 　　Work=Work+Available;Finish[i]=true;转向(1)。 　　(4)若所有进程的Finish[i]=true,表示系统处于安全状态;否则系统处于不安全状态。 　　2.3 银