实验二:死锁的检测和预
防
LELE was finally revised on the morning of December 16, 2020
实验二:死锁的检测和预防 一、 实验目的
1、进一步了解进程的并发执行。 2、加强对进程死锁的理解 3、是用银行家算法完成死锁检测
二、 实验内容
给出进程需求矩阵C、资源向量R以及一个进程的申请序列。使用进程启动拒绝和资源分配拒绝(银行家算法)模拟该进程组的执行情况。要求: 初始状态没有进程启动
计算每次进程申请是否分配?如:计算出预分配后的状态情况(安全状态、不安全状态),如果是安全状态,输出安全序列。
每次进程申请被允许后,输出资源分配矩阵A和可用资源向量V。 每次申请情况应可单步查看,如:输入一个空格,继续下个申请
三、 实验环境
VC++
四、 实验原理及实验思路
1、安全状态:如果存在一个由系统中所有进程构成的安全序列P1,…,Pn,则系统处于安全状态。安全状态一定是没有死锁发生。
2、不安全状态:不存在一个安全序列。不安全状态一定导致死锁。 安全序列:一个进程序列{P1,…,Pn}是安全的,如果对于每一个进程
Pi(1≤i≤n),它以后尚需要的资源量不超过系统当前剩余资源量与所有进程Pj (j < i )当前占有资源量之和。 3、银行家算法:
我们可以把操作系统看作是银行家,操作系统管理的资源相当于银行家管理的资金,进程向操作系统请求分配资源相当于用户向银行家贷款。操作系统按照银行家制定的规则为进程分配资源,当进程首次申请资源时,要测试该进程对资源的最大需求量,如果系统现存的资源可以满足它的最大需求量则按当前的申请量分配资源,否则就推迟分配。当进程在执行中继续申请资源时,先测试该进程已占用的资源数与本次申请的资源数之和是否超过了该进程对资源的最大需求量。若超过则拒绝分配资源,若没有超过则再测试系统现存的资源能否满足该进程尚需的最大资源量,若能满足则按当前的申请量分配资源,否则也要推迟分配。
4、银行家算法的思路:
1),进程一开始向系统提出最大需求量.
2),进程每次提出新的需求(分期贷款)都统计是否超出它事先提出的最大需求量. 3),若正常,则判断该进程所需剩余剩余量(包括本次申请)是否超出系统所掌握的 剩余资源量,若不超出,则分配,否则等待. 5、银行家算法的数据结构:
1),系统剩余资源量A[n],其中A[n]表示第I类资源剩余量. 2),各进程最大需求量,B[m][n],其中B[j][i]表示进程j对i 类资源最大需求.
3),已分配资源量C[m][n],其中C[j][i]表示系统j程已得到的第i资源的数量. 4),剩余需求量.D[m][n],其中D[j][i]对第i资源尚需的数目.
五、 流程图 银行家算法:
提出进程i的请求向量Resquest[*]alloc[i][*]+Request[*]<=claim[i][*] NoERRORYesResquest[*]<=available[*]noERRORyesavailable[*] -=Request[*]alloc[i][*] +=Request[*]is_safe()Noyesavailable[*]+=Request[*]alloc[*]-=Request[*]同意本次分配拒绝本次分配
安全检测: