【文件属性】：
文件名称：死锁检测-分享一个关于操作系统的ppt
文件大小：3.27MB
文件格式：PPT
更新时间：2021-04-22 18:26:16
操作系统 os
4、死锁检测
1）数据结构：类似于银行家算法中所使用的
（A）av 代表所有不同类资源的当前可用资源数（一维数组）
（B）alloc[i] i = 1,2,.. (n为进程数）， alloc[i] 代表第i个进程的目前已得到的不同种类资源的资源数（二维数组）
(C) req[i] i = 1,2,.. (n为进程数）， 代表第i个进程目前申请到的不同种类资源的资源数（二维数组）
（D) work，工作向量；初始为 work=av； （一维数组）
2）检测算法示意：
A）work=av;
B） S={Pi|alloc[i]=(0,..,0) && req[i]=(0,0,..,0)}
C）重复选 k={ i | Pi不属于S && req[i]<=work }
若找到则 { S=[Pk]+S；
work+=alloc[k];}
否则 ： 退出C）
D）若S中包含所有进程，无死锁；否则，存在死锁