多线程程序数据竞争的静态检测
文献类型：期刊论文
| 作者 | 吴萍 ; 陈意云 ; 张健 |
| 刊名 | 计算机研究与发展
 |
| 出版日期 | 2006 |
| 卷号 | 43期号:2页码:329-335 |
| 关键词 | 并发程序 程序分析 数据竞争 别名分析 |
| 其他题名 | static data-race detection for multithread programs |
| 中文摘要 | 多线程并发程序的广泛使用带来了更多的数据竞争错误．传统的数据竞争静态检测由于对并发语义和别名信息的保守分析会导致很多假错误．因此，提出了一个精确有效的静态检测框架：分析应用了精确的别名分析并静态模拟了访问事件发生序；为提高分析效率，检测算法提出了一个以对象为中心，结合Escape分析缩小检测范围的检测算法并配合设计了压缩的别名等价类表示．检测框架在一个静态Java编译器JTool上做了实现，对于测试程序取得了很好的分析结果． |
| 收录类别 | ei,cscd |
| 语种 | 中文 |
| 公开日期 | 2010-08-11 |
| 源URL | [http://124.16.136.157/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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。