死锁的检测与解除终结版.docVIP

实验名称：死锁的检测与解除 二、 实验内容：设计一个 个并发进程共享个系统资源的系统。进程可动态申请资源和释放资源，系统按各进程的申请动态的分配资源。 当系统为进程分配资源时，若未采取任何限制性措施，则系统必须提供检测和解除死锁的手段，为此，系统必须做到：（1）保存有关资源的请求和分配信息；（2）提供一种算法，以利用这些信息来检测系统是否已进入死锁状态。某一状态为死锁状态的充分条件是：当且仅当某一状态的资源分配图是不可完全简化的。通过该实验，可以充分理解死锁的检测与解除的基本原理。? 实验过程： 基本思想 先对各进程提出的请求资源数进行检查，即检查请求的资源数是否大于可用资源数。若满足请求，则各进程完成执行。若陷入死锁状态，则利用撤销进程的方法来解除死锁。在本实验中，撤销占资源数最多的死锁进程。 b)主要数据结构 （1）可利用资源向量Available，它表示了m类资源中每一类资源的可用数目。 （2）把不占用资源的进程（向量Allocationi:=0）记入P[L]序列中。 （3）从进程集合中找到一个Requesti=Work的进程，作如下处理： ①将其资源分配图简化，释放出资源，增加工作向量Work:=Work+Allocationi。 ②将它记入P[L]中。 （4）若不能把所有的进程都记入P[L]中，便表明系统状态S的资源分配图示不可