基于谓词冲突图的死锁检测

• 作者: 王元珍 龚卫华
• 来源期刊: 华中科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 数据库系统 全局事务 间接冲突 死锁检测 谓词冲突图
• 年，卷（期）: 2006,（5）
• 页码范围: 26-29
• 页数: 4页
• 分类号: TP392
• 字数: 3210字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-4512.2006.05.008

摘要

在分布式多数据库环境下,局部站点数据库自治性使其只能对本地站点上事务进行并发控制而无法防止全局事务间的冲突和死锁发生,故采用谓词冲突检测技术来判断全局事务间的直接和间接冲突,为此,提出了多粒度的谓词冲突图构建方法,从而使并发控制粒度达到谓词级,分析了冲突的全局事务在谓词冲突图中形成死锁的各种情况并通过检测图中是否形成环来避免全局事务在执行中可能产生的死锁,不仅减小死锁冲突检测粒度,而且还提高了全局事务执行的并发度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王元珍	华中科技大学计算机科学与技术学院	86	1120	18.0	30.0
2	龚卫华	华中科技大学计算机科学与技术学院	5	16	2.0	3.0