实验二:死锁的检测和预防 一、 实验目的 1、进一步了解进程的并发执行
2、加强对进程死锁的理解 3、是用银行家算法完成死锁检测 二、 实验内容 给出进程需求矩阵 C、资源向量 R 以及一个进程的申请序列
使用进程启动拒绝和资源分配拒绝(银行家算法)模拟该进程组的执行情况
要求: 初始状态没有进程启动 计算每次进程申请是否分配
如:计算出预分配后的状态情况(安全状态、不安全状态),如果是安全状态,输出安全序列
每次进程申请被允许后,输出资源分配矩阵 A 和可用资源向量 V
每次申请情况应可单步查看,如:输入一个空格,继续下个申请 三、 实验环境 VC++ 四、 实验原理及实验思路 1 、安全状态:如果存在一个由系统中所有进程构成的安全序列 P1,…,Pn,则系统处于安全状态
安全状态一定是没有死锁发生
2 、不安全状态:不存在一个安全序列
不安全状态一定导致死锁
安全序列:一个进程序列{P1,…,Pn}是安全的,如果对于每一个进程 Pi(1≤i≤n),它以后尚需要的资源量不超过系统当前剩余资源量与所有进程 Pj (j < i )当前占有资源量之和
3 、银行家算法: 我们可以把操作系统看作是银行家,操作系统管理的资源相当于银行家管理的资金,进程向操作系统请求分配资源相当于用户向银行家贷款
操作系统按照银行家制定的规则为进程分配资源,当进程首次申请资源时,要测试该进程对资源的最大需求量,如果系统现存的资源可以满足它的最大需求量则按当前的申请量分配资源,否则就推迟分配
当进程在执行中继续申请资源时,先测试该进程已占用的资源数与本次申请的资源数之和是否超过了该进程对资源的最大需求量
若超过则拒绝分配资源,若没有超过则再测试系统现存的资源能否满足该进程尚需的最大资源量,若能满足则按当前的申请量分配资源,否则也要推迟分配
4 、银行家算法的思路: 1),进程一开始向系统