Institutional Repository
| 多线程程序数据竞争的静态检测 | |
| Alternative Title | static data-race detection for multithread programs |
| 吴萍; 陈意云; 张健 | |
| 2006 | |
| Source | 计算机研究与发展
![]() |
| Volume | 43Issue:2Pages:329-335 |
| English Abstract | 多线程并发程序的广泛使用带来了更多的数据竞争错误.传统的数据竞争静态检测由于对并发语义和别名信息的保守分析会导致很多假错误.因此,提出了一个精确有效的静态检测框架:分析应用了精确的别名分析并静态模拟了访问事件发生序;为提高分析效率,检测算法提出了一个以对象为中心,结合Escape分析缩小检测范围的检测算法并配合设计了压缩的别名等价类表示.检测框架在一个静态Java编译器JTool上做了实现,对于测试程序取得了很好的分析结果. |
| Indexed Type | ei,cscd |
| Keyword | 并发程序 程序分析 数据竞争 别名分析 |
| Department | 计算机科学国家重点实验室 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/3154 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | 吴萍,陈意云,张健. 多线程程序数据竞争的静态检测[J]. 计算机研究与发展,2006,43(2):329-335. |
| APA | 吴萍,陈意云,&张健.(2006).多线程程序数据竞争的静态检测.计算机研究与发展,43(2),329-335. |
| MLA | 吴萍,et al."多线程程序数据竞争的静态检测".计算机研究与发展 43.2(2006):329-335. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 20064302329.pdf(487KB) | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment