国家教育部博士点基金(20060487005)
- 作品数：2 被引量：4H指数：1
- 相关作者：毛澄映张金隆卢炎生卢超更多>>
- 相关机构：华中科技大学江西财经大学更多>>
- 发文基金：国家教育部博士点基金湖北省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种Java并发程序死锁动态检测的新方法被引量：1
- 2008年
- 死锁是并发程序中最为常见的一类错误,直到现在并没有得到很好地解决.本文以Java并发程序为例,重点研究针对资源死锁较为有效的动态检测算法:根据并发程序的动态执行追踪信息,分析出加锁控制依赖关系,再根据死锁所应满足的条件在该依赖关系集上作适量演算便得到潜在死锁关系对.进一步地,结合线程间控制流图所反映的部分静态依赖关系,剔除假性死锁关系对,提高了计算结果的精度.该算法显著的特点是简单易于实现,且无需构造锁树或锁图等图形表示.
- 毛澄映卢炎生张金隆卢超
- 关键词：死锁动态检测
- 构件软件变更风险分析技术被引量：3
- 2008年
- 构件软件相较于传统软件系统有更快的演化速度,对其变更进行有效的度量将有利于后期的维护活动。本文分别针对代码可见及不可见两种类型的构件,运用改进的构件依赖图建模,表示构件软件系统。分两步分析构件变更所带来的风险:首先在计算变更比例的基础上度量单个构件的变更风险,再通过将构件依赖图转化成构件依赖树来计算变更的构件集给系统所带来的风险。此外,结合实例系统的分析给出了所提出的变更风险度量的若干性质。
- 毛澄映张金隆卢炎生
