死鎖的检测与解除.docxVIP

死锁的检测与解除 --操作系统实验报告 题 目 ： 死锁的检测与解除 指导老师 ： 班 级 ： 姓 名 ： 学 号 ： 时 间 ： 实验二 死锁的检测与解除 一、实验目的 系统为进程分配资源时并不一定能满足进程的需求，因此检测系统的安全性是非常有必要的。安全性的检测在之前的实验中用银行家算法得以实现，此次实验增加了另一个问题：即当系统死锁时如何解除死锁。通过此次实验，可以深刻的体会死锁的检测与解除的方法。 二、实验内容 编程实现死锁的检测与解除，并上机验证。实验环境：Microsoft Visual Studio 2010 三、算法描述 程序中的数据结构： 可用资源向量: 这是一个含有个元素的数组，其中的每一个元素代表一类可利用资源数目。 最大需求矩阵: 它是一个的矩阵，定义了系统中n个进程中得每一个进程对类资源的最大需求。 可分配矩阵: 这也一个的矩阵，定义了系统中每一类资源当前已分配给每一进程的资源数。 需求矩阵: 这表示每一个进程尚需的各类资源数。 综上所述：。 该程序是在银行家算法的基础上添加了死锁的解除模块得来的，死锁的解除采用的方法是：找到已分配资源最大的死锁进程，剥夺其已分配资源，再次检测是否发生死锁。 设是进程的请求向量，如果，表示进程需要个类型起源。当发出资源请求后，进行检查