| Java程序数据竞争的增量式检测 |
| |
| 引用本文： | 张昱,郝允允. Java程序数据竞争的增量式检测[J]. 西安交通大学学报, 2009, 43(8) |
| |
| 作者姓名： | 张昱 郝允允 |
| |
| 作者单位： | 中国科学技术大学计算机科学技术系,230027,合肥;安徽省计算与通信软件重点实验室,230027,合肥 |
| |
| 基金项目： | 国家自然科学基金软件安全性的验证和编译资助项目,Intel公司研究基金新并行编程语言特性与范型的设计及可编程性研究资助项目 |
| |
| 摘 要： | 针对静态竞争检测无额外运行开销但精度低,而动态竞争检测精度高但因插桩有额外运行开销,在实际Java虚拟机的即时编译器中以竞争检测遍形式设计实现了一种精确有效的增量式竞争检测算法.结合锁集和发生序关系,依次对即时编译的每个方法进行一次方法内分析,收集独立于上下文的方法摘要,并以方法摘要为基础自下而上进行上下文敏感的跨线程方法间分析,增量计算并及时输出潜在的竞争信息.实验表明,算法对应用程序无插桩且不受程序规模限制,具有与O'Callahan等人的动态竞争检测算法类似的精度,检测时间仅占总编译时间的2%～4%.
|
| 关 键 词： | 增量式检测 数据竞争 程序分析 锁集 发生序关系 |
Incremental Detection of Data Race for Java Program |
| |
| ZHANG Yu,HAO Yunyun. Incremental Detection of Data Race for Java Program[J]. Journal of Xi'an Jiaotong University, 2009, 43(8) |
| |
| Authors: | ZHANG Yu HAO Yunyun |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
