iLib2 新一代的学术数据库   首页 | 账户 | 充值 | 收藏
www.ilib.cn 找不到?搜一下!
首页 > 万方期刊分类 > 基础科学 > 大学学报(自然科学) > 期刊 : 华中科技大学学报(自然科学版) 基于谓词冲突图的死锁检测

添加收藏 

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

Deadlock testing based on predicte conflict graph

查阅全文需要付费。

<<华中科技大学学报(自然科学版)>>2006年 第34卷 第05期
作者: 龚卫华, 王元珍,

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

更多相似文献...

版权所有 北京万方数据股份有限公司 京ICP证010071号 关于我们 | 资源推介 | 知识产权声明 | 客户服务 | 万方数据