2024年8月27日
星期二
|
欢迎来到维普•公共文化服务平台
登录
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
龚宜
作品数:
1
被引量:3
H指数: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
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张