ISCAS OpenIR  > 基础软件与系统重点实验室
多线程程序数据竞争的静态检测
其他题名static data-race detection for multithread programs
吴萍; 陈意云; 张健
2006
发表期刊计算机研究与发展
卷号43期号:2页码:329-335
摘要多线程并发程序的广泛使用带来了更多的数据竞争错误.传统的数据竞争静态检测由于对并发语义和别名信息的保守分析会导致很多假错误.因此,提出了一个精确有效的静态检测框架:分析应用了精确的别名分析并静态模拟了访问事件发生序;为提高分析效率,检测算法提出了一个以对象为中心,结合Escape分析缩小检测范围的检测算法并配合设计了压缩的别名等价类表示.检测框架在一个静态Java编译器JTool上做了实现,对于测试程序取得了很好的分析结果.
收录类别ei,cscd
关键词并发程序 程序分析 数据竞争 别名分析
部门归属计算机科学国家重点实验室
语种中文
内容类型期刊论文
URI标识http://ir.iscas.ac.cn/handle/311060/3154
专题基础软件与系统重点实验室
推荐引用方式
GB/T 7714
吴萍,陈意云,张健. 多线程程序数据竞争的静态检测[J]. 计算机研究与发展,2006,43(2):329-335.
APA 吴萍,陈意云,&张健.(2006).多线程程序数据竞争的静态检测.计算机研究与发展,43(2),329-335.
MLA 吴萍,et al."多线程程序数据竞争的静态检测".计算机研究与发展 43.2(2006):329-335.
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
20064302329.pdf(487KB) 开放获取--请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[吴萍]的文章
[陈意云]的文章
[张健]的文章
百度学术
百度学术中相似的文章
[吴萍]的文章
[陈意云]的文章
[张健]的文章
必应学术
必应学术中相似的文章
[吴萍]的文章
[陈意云]的文章
[张健]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。