二死锁的检测与解除.pdfVIP

文档来源为:从网络收集整理.word版本可编辑.欢迎下载支持. 实验二 死锁的检测与解除 一 实验目的： 当系统为进程分配资源时，若未采取任何限制性措施，则系统必须提 供检测和解除死锁的手段，为此，系统必须做到：（1）保存有关资源的 请求和分配信息；（2）提供一种算法，以利用这些信息来检测系统是否 已进入死锁状态。某一状态为死锁状态的充分条件是：当且仅当某一状态 的资源分配图是不可完全简化的。通过该实验，可以充分理解死锁的检测 与解除的基本原理。 二 实验题目： 设计一个 m个并发进程共享 n 个系统资源的系统。进程可动态申请资 源和释放资源，系统按各进程的申请动态的分配资源。要求用死锁检测算法检测 当某一进程提出资源分配请求时，系统会不会陷入死锁状态；如若陷入死锁状态 要求用某种算法解除死锁 三．实验源程序文件名：sisuo .cpp 执行文件名 :sisuo.exe 四、实验分析 1）本实验采用死锁检测算法检测死锁，死锁检测的数据结构如下 （1）可利用资源向量available，它表示了n类资源中每一类资源的可用 数目。 （2）把不占用资源的进程用finish[i]=true标示 （3）从进程集合中找到一个 request[i]=work 的进程，做如下处理：将 其资源分配图简化，释放出资源，增加工作向量 work：=work+allocation[i], 并将其finish[i]置1 （4）若不能把所有的进程都标记为finish[i]==1,则表明该系统状态将发 生死锁 当发现进程死锁时，便应立即把它们从死锁状态中解脱出来。本实验采用 的解除死锁的方法是：撤销进程。本实验采用撤销的进程数目最小的方法，把死 锁进程中占有资源最多的进程撤销，如若仍发生死锁，继续撤销下一进程 2）流程图： 1文档收集于互联网，如有不妥请联系删除. 文档来源为:从网络收集整理.word版本可编辑.欢迎下载支持. 开始 输入进程数m和资源数n 输入已分配矩阵、最大需求 矩阵、需求矩阵、请求矩阵 Finish[i]=true;if(allocation [i][j]0||request[i][j]0) Finish=false Judge() （1）主函数流程图 检测函数 judge （） 开始 Flag=check() Flag==false，显示 死锁进程p[i]=0 Flag==true 提示不会 发生死锁 调用解锁函数jiesuo（） 程 序 结束 （2）judge