操作系统实验报告 预防进程死锁的银行家算法.docxVIP

操作系统实验预防进程死锁的银行家算法需求分析：实验目的：通过这次实验，加深对进程死锁的理解，进一步掌握进程资源的分配、死锁的检测和安全序列的生成方法。问题描述：设计程序模拟预防进程死锁的银行家算法的工作过程。假设系统中有n个进程P1, … ,Pn，有m类可分配的资源R1, … ,Rm，在T0时刻，进程Pi分配到的j类资源为Allocationij个，它还需要j类资源Need ij个，系统目前剩余j类资源Workj个，现采用银行家算法进行进程资源分配预防死锁的发生。程序要求：1）判断当前状态是否安全，如果安全给出安全序列；如果不安全给出理由。2）对于下一个时刻T1，某个进程Pk会提出请求Request(R1, … ,Rm)，判断分配给P k进程请求的资源之后系统是否安全。3）输入：进程个数n，资源种类m，T0时刻各个进程的资源分配情况（可以运行输入，也可以在程序中设置）；4）输出：如果安全，输出安全的进程序列，不安全则提示信息。概要设计：进程调度的实现过程程序中的变量及数据结构struct ResItem { string Name; int Number;};//资源项typedef vectorResItem Resource;struct Progress { string Name; Resource Max; //最大需求 Resource Allocation;//分配 Resource Need; //需求};//进程vector Progress Progresses;//所有进程vector ResItem Available; //可利用资源向量vector Progress SafeOrder;//安全序列主要函数//初始化数据void InitData(int n);//判断rs1是否小于等于rs2，是返回true，否则返回falseinline bool LessThan(Resource rs1,Resource rs2);//安全性算法bool SafeAlg();//银行家算法bool BankerAlg(Resource request,Progress pro);主函数int main(){ int n; InitData(n); cout\n\n=============================================\n; if(SafeAlg()) { cout由安全性检查可知：可以找到一个安全序列为：{; for(int i = 0 ; i SafeOrder.size(); i++) coutSafeOrder[i].Name,; cout}。\n因此，系统是安全的。endl; while(true) { cout\n是否继续申请资源？yes or noendl; string command;cincommand; if(command == no) return 0 ; cout输入请求资源的进程序号：; int num; cin num; Resource request;ResItem ri; cout依次输入资源个数：; for(int j = 0 ; jAvailable.size(); j++) { ri.Name = Available[j].Name; cinri.Number ; request.push_back(ri); } BankerAlg(request,Progresses[num]); } } return 0;}详细设计：安全性算法bool SafeAlg(){ Resource work(Available) ;//工作向量 vector bool finish; //标识 SafeOrder.clear(); for(int i = 0 ; i Progresses.size(); i++)//初始化标识 finish.push_back(false); int count = 0 , sw = 0;//作为循环的跳出标识和安全序列计数 w