操作系统实验报告材料-利用银行家算法避免死锁

《操作系统实验报告材料-利用银行家算法避免死锁》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、实用标准文档计算机操作系统实验报告题目利用银行家算法避免死锁一、实验目的：1、加深了解有关资源申请、避免死锁等概念，并体会和了解死锁和避免死锁的具体实施方法。文案大全实用标准文档2、要求编写和调试一个系统动态分配资源的简单模拟程序，观察死锁产生的条件，并采用银行家算法，有效的防止和避免死锁的发生。二、实验内容：用银行家算法实现资源分配：设计五个进程{p0,p1,p2,p3,p4}共享三类资源{A,B,C}的系统，例如，{A,B,C}的资源数量分别为10，5，7。进程可动态地申请资源和释放资源，系统按

2、进程的申请动态地分配资源，要求程序具有显示和打印各进程的某一个时刻的资源分配表和安全序列；显示和打印各进程依次要求申请的资源号以及为某进程分配资源后的有关资源数据。三、问题分析与设计：1、算法思路：先对用户提出的请求进行合法性检查，即检查请求是否大于需要的，是否大于可利用的。若请求合法，则进行预分配，对分配后的状态调用安全性算法进行检查。若安全，则分配；若不安全，则拒绝申请，恢复到原来的状态，拒绝申请。2、银行家算法步骤：（1）如果Requesti＜or=Need,则转向步骤(2)；否则，认为出错，

3、因为它所需要的资源数已超过它所宣布的最大值。（2）如果Request＜or=Available,则转向步骤（3）；否则，表示系统中尚无足够的资源，进程必须等待。文案大全实用标准文档（3）系统试探把要求的资源分配给进程Pi,并修改下面数据结构中的数值：    Available=Available-Request[i];    Allocation=Allocation+Request;Need=Need-Request;(4)系统执行安全性算法，检查此次资源分配后，系统是否处于安全状态。3、安全性算

4、法步骤：（1）设置两个向量①工作向量Work。它表示系统可提供进程继续运行所需要的各类资源数目，执行安全算法开始时，Work=Allocation;②布尔向量Finish。它表示系统是否有足够的资源分配给进程，使之运行完成，开始时先做Finish[i]=false，当有足够资源分配给进程时，令Finish[i]=true。（2）从进程集合中找到一个能满足下述条件的进程：①Finish[i]=false②Need

5、顺利执行，直至完成，并释放出分配给它的资源，故应执行：Work=Work+Allocation;Finish[i]=true;转向步骤（2）。文案大全实用标准文档（4）如果所有进程的Finish[i]=true,则表示系统处于安全状态；否则，系统处于不安全状态。4、流程图：系统主要过程流程图银行家算法流程图文案大全实用标准文档安全性算法流程图文案大全实用标准文档5、主要数据结构假设有M个进程N类资源，则有如下数据结构：intmax[M*N]M个进程对N类资源的最大需求量intavailable[N]

6、系统可用资源数intallocated[M*N]M个进程已经得到N类资源的资源量intneed[M*N]M个进程还需要N类资源的资源量intworked[]系统提供给进程继续运行所需的各类资源数目文案大全实用标准文档四、源代码importjava.awt.*;importjavax.swing.*;importjava.util.*;importjava.awt.event.*;importjavax.swing.border.*;publicclassOsBankerextendsJFrame{/

7、/界面设计JLabellabelInfo;JLabellabelInfo1;intresourceNum,processNum;intcount=0;JButtonbuttonRequest,buttonSetInit,button,button1,buttonsearch,button2;JTextFieldtf1,tf2;JTextField[]textAvailable;JTextField[][]textAllocation;JTextField[][]textNeed;JTextField

8、textProcessName;JTextField[]textRequest;intavailable[];intmax[][];intneed[][];intallocated[][];intSafeSequence[];intrequest[];booleanFinish[];intworked[];booleanflag=false;JFramef1;JFramef2;JFramef3;JTextAreajt;voiddisplay(){Borderborde