2021-11-08

实验二 避免死锁-银行家算法

一、实验名称

避免死锁-银行家算法

二、实验目的

（1）理解死锁的概念，了解导致死锁的原因 （2）掌握死锁的避免方法，理解安全状态和不安全状态的概念
（3）理解银行家算法，并应用银行家算法避免死锁

三、实验原理

1、基本概念

死锁：多个进程在执行过程中，因为竞争资源会造成相互等待的局面。如果没有外力作用，这些进程将永远无法向前推进。此时称系统处于死锁状态
安全状态：如果存在一个由系统中所有进程构成的安全序列p1,p2,……pn,则系统处于安全状态，安全状态一定是没有死锁发生。
不安全状态：在当前形式下不存在安全序列，则系统处于不安全状态

2、银行家算法的基本思路

在分配资源之前，先判断系统是否处于安全状态，若处于安全状态则分配资源，否则不进行分配，该算法是典型的避免死锁算法。
银行家算法的数据结构

（1）可利用资源向量Available：一个含有m个元素的数组，数组中每个元素代表一类可利用资源的数目，其初始值是系统中所配置的该类全部可用资源的数目，其数值随该类资源的分配和回收而动态的改变。
（2）最大需求矩阵Max：一个nxm的矩阵，它定义了系统中n个进程中的每一个进程对m类资源的最大需求。
（3）分配矩阵Allocation：一个nxm矩阵，它定义了系统中每一类资源当前已分配给每一进程的资源数。
（4）需求矩阵Need：一个nxm的矩阵，用以表示每一个进程尚需的各类资源数。

银行家算法的基本结构

设Requesti是进程Pi的请求向量，如果Requesti[j]=K,表示进程Pi需要K个R类型的资源。当Pi发出资源请求后，系统按下述步骤进行检查：

（1）如果Requesti[j]≤Need[I,j],便转向（2）；否则认为出错，因为它所需要的资源数已超出它所需要的最大值。
（2）如果Requesti[j]≤Available[j]，则转向（3），否则，表示尚无足够资源，Pi须等待。
（3）系统试探着将资源分配给进行Pi,并修改下面数据结构中的值： Available[j]=
Available[j]-Request[j]; Allocation[I,j]=Allocation[I,j]+Request[j];
Need[i.j]=Need[I,j]-Request[j];
（4）系统在安全状态下执行，每次资源分配前检查此次资源分配后系统是否仍处于安全状态。若处于安全状态，则将资源分配给进程Pi,否则，本次试探分配行为作废，恢复原来的资源分配状态，让进程Pi等待。

四、实验内容

1、创建工程banker，编写源代码，设计一个n个并发进程共享m个系统资源的程序实现银行家算法。
2、准备测试数据进行测试（可以用课后习题数据进行测试验证）

五、实验结果

1、阅读代码，根据银行家算法认真思考safety()函数的工作原理。
2、运行程序，截图实验过程结果，并按要求撰写实验报告。