| 基于谓词冲突图的死锁检测 |
| |
| 引用本文： | 龚卫华,王元珍.基于谓词冲突图的死锁检测[J].华中科技大学学报(自然科学版),2006,34(5):26-29. |
| |
| 作者姓名： | 龚卫华 王元珍 |
| |
| 作者单位： | 华中科技大学,计算机科学与技术学院,湖北,武汉,430074 |
| |
| 摘 要： | 在分布式多数据库环境下,局部站点数据库自治性使其只能对本地站点上事务进行并发控制而无法防止全局事务间的冲突和死锁发生,故采用谓词冲突检测技术来判断全局事务间的直接和间接冲突,为此,提出了多粒度的谓词冲突图构建方法,从而使并发控制粒度达到谓词级,分析了冲突的全局事务在谓词冲突图中形成死锁的各种情况并通过检测图中是否形成环来避免全局事务在执行中可能产生的死锁,不仅减小死锁冲突检测粒度,而且还提高了全局事务执行的并发度.
|
| 关 键 词： | 数据库系统 全局事务 间接冲突 死锁检测 谓词冲突图 |
| 文章编号： | 1671-4512(2006)05-0026-04 |
| 收稿时间： | 03 8 2005 12:00AM |
| 修稿时间： | 2005年3月8日 |
Deadlock testing based on predicte conflict graph |
| |
| Gong Weihua,Wang Yuanzhen.Deadlock testing based on predicte conflict graph[J].JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY.NATURE SCIENCE,2006,34(5):26-29. |
| |
| Authors: | Gong Weihua Wang Yuanzhen |
| |
| Abstract: | A predicate testing technique was used to judge the direct or indirect conflicts among global transactions.A method was proposed to construct a predicate conflict graph with multiple grains to achieve predicate-level concurrency control.Analyzed the different cases that the conflict global transactions caused deadlocks in the predicate graph.The probability of deadlocks would be avoided,when an efficient way was to test if there existed a clique in the predicate conflict graph because of the direct and indirect conflicts between concurrent global transactions,which could reduce the granularity of deadlock testing and improve the concurrency degree of executing global transactions. |
| |
| Keywords: | database system global transaction indirect conflict deadlock testing predicate conflict graph |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
