您的位置： 专家智库 > >

龚宜

作品数：1 被引量：3H指数：1
供职机构：浙江大学计算机科学与技术学院更多>>
发文基金：航天支撑技术基金国防科技技术预先研究基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇增强型
  • 1篇数据竞争

机构

  • 1篇浙江大学
  • 1篇北京神舟航天...

作者

  • 1篇金星
  • 1篇富浩
  • 1篇董金祥
  • 1篇蔡铭
  • 1篇龚宜

传媒

  • 1篇浙江大学学报...

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于锁集合算法的增强型数据竞争检测方法被引量：3
2009年
针对锁集合算法误报率高的缺点,采用增强型数据竞争检测方法对锁集合算法及算法实现两方面进行改进.增强型锁集合算法提出了更强必要条件的检测算法.该算法通过分析线程结束情况和理解变量的线程信息,精化数据竞争检测条件.算法实现采用系统体系结构扩展的方法,通过扩展锁表部件,将集合操作精确映射到位图操作,进一步提高检测精度和减少误报.实现了无干扰免插桩检测技术,避免了二进制代码插桩带来的干扰性和不确定性问题.与同类系统的对比实验结果表明,该方法能够有效地将误报率减小到0.67,并且具有很高的检测效率.
富浩蔡铭董金祥金星龚宜
关键词：数据竞争
全选 清除 导出
共1页<1>
聚类工具0