操作系统实验四银行家算法.docVIP

银行家算法? xxx 71110?3xx 2012年 一、实验目的 通过实验，加深对多实?例资源分配?系统中死锁?避免方法——银行家算法?的理解，掌握Win?dows环?境下银行家?算法的实现?方法，同时巩固利?用Wind?ows API进行?共享数据互?斥访问和多?线程编程的?方法。 二、实验内容 1. 在Wind?ows操作?系统上，利用Win?32 API编写?多线程应用?程序实现银?行家算法。 2. 创建n个线?程来申请或?释放资源，只有保证系?统安全，才会批准资?源申请。 3. 通过Win?32 API提供?的信号量机?制，实现共享数?据的并发访?问。 三、实验步骤（设计思路和?流程图） 最主要的用?以实现系统?功能的应该?有两个部分?，一是用银行?家算法来判?断，二是用安全?性算法来检?测系统的安?全性。 1、银行家算法? 设Requ?esti是?进程Pi的?请求向量，如果Req?uesti?［j］=K，表示进程P?i需要K个?Rj类型的?资源。当Pi发出?资源请求后?，系统按下述?步骤进行检?查： (1) 如果Req?uesti?［j］≤Need［i,j］，便转向步骤?2；否则认为出?错，因为它所需?要的资源数?已超过它所?宣布的最大?值。 (2) 如果Req?uesti?［j］≤Avail?able［j］，便转向步骤?(3)；否则， 表示尚无足?够资源，Pi须等待?。 (3) 系统试探着?把资源分配?给进程Pi?，并修改下面?数据结构中?的数值： Avail?able［j］∶=Avail?able［j］-Reque?sti［j］; Alloc?ation?［i,j］∶=Alloc?ation?［i,j］+Reque?sti［j］; Need［i,j］∶=Need［i,j］-Reque?sti［j］; (4) 系统执行安?全性算法，检查此次资?源分配后，系统是否处?于安全状态?。若安全，才正式将资?源分配给进?程Pi，以完成本次?分配；否则， 将本次的试?探分配作废?，恢复原来的?资源分配状?态，让进程Pi?等待。 2、 安全性算法? (1) 设置两个向?量：① Work∶=Avail?able; ② Finis?h (2) 从进程集合?中找到一个?能满足下述?条件的进程?：① Finis?h［i］=false?; ② Need［i,j］≤Work［j］； 若找到， 执行步骤(3)， 否则，执行步骤(4)。 (3) 当进程Pi?获得资源后?，可顺利执行?，直至完成，并释放出分?配给它的资?源，故应执行：Work［j］∶=Work［i］+Alloc?ation?［i,j］; Finis?h［i］∶=true; go to step 2; (4) 如果所有进?程的Fin?ish［i］=true都?满足， 则表示系统?处于安全状?态；否则，系统处于不?安全状态。 四、主要数据结?构及其说明? (1) 可利用资源?向量Ava?ilabl?e。如果Ava?ilabl?e［j］=K，则表示系统?中现有Rj?类资源K个?。 (2) 最大需求矩?阵Max。如果Max?［i,j］=K，则表示进程?i需要Rj?类资源的最?大数目为K?。 (3) 分配矩阵A?lloca?tion。如果All?ocati?on［i,j］=K，则表示进程?i当前已分?得Rj类资?源的数目为?K。 (4) 需求矩阵N?eed。如果Nee?d［i,j］=K，则表示进程?i还需要R?j类资源K?个，方能完成其?任务。Need［i,j］=Max［i,j］-Alloc?ation?［i,j］ 五、程序运行时?的初值和运?行结果 int Avail?able[rCoun?t] = {10,5,7}; const? int Max[pCoun?t][rCoun?t] = { { 7,5,3 }, { 3,2,2 }, { 9,0,2 }, { 2,2,2 }, { 4,3,3 } }； 第一次申请?： 资源不够情?况：Reque?st＜=Avail?able 出错的情况?：Reque?sti＜=Need 六、实验体会 通过本次银?行家算法实?验，加深了我对?银行家算法?的了解，掌握了如何?利用银行家?算法避免死?锁。这次实践，我巩固了自?己的理论知?识。 银行家算法?是为了使系?统保持安全?状态。如果把操作?系统看作是?银行家，操作系统管?理相当于银?行家管理的?资金，进程向操作?系统请求分?配资源相当?于用户向银?行家贷款。操作系统按?照银行家制?定的规则为?进程分配资?源。 操作系统的?一些原理在?生活中都