死锁检测 死锁可用等待图描述,即一个二元组G=(VE) V是顶点集合(即系统中的所有事务) E是边的集合;其中每个元素是一有序对T→7 若T→T属于E,则存在从T到T;的有向边,意味着T等 待T释放数据项 当T请求一个正被7持有的数据项时边7T被插入到 等待图中仅当T不再持有T所需的数据项时,这条边 才被删除 系统处于死锁状态当且仅当等待图有圈.必须周期性地 调用死锁检测算法来查找圈死锁检测 • 死锁可用等待图描述, 即一个二元组G = (V,E), – V 是顶点集合 (即系统中的所有事务) – E 是边的集合; 其中每个元素是一有序对Ti →Tj . • 若Ti → Tj属于E, 则存在从Ti 到Tj 的有向边, 意味着Ti 等 待Tj 释放数据项. • 当Ti 请求一个正被Tj 持有的数据项时, 边Ti Tj 被插入到 等待图中. 仅当Tj 不再持有Ti 所需的数据项时, 这条边 才被删除. • 系统处于死锁状态当且仅当等待图有圈. 必须周期性地 调用死锁检测算法来查找圈