Java程序数据竞争的增量式检测

• 作者: 张昱 郝允允
• 来源期刊: 西安交通大学学报
• 关键词: 增量式检测 数据竞争 程序分析 锁集 发生序关系
• 年，卷（期）: 2009,（8）
• 页码范围: 22-27,58
• 页数: 7页
• 分类号: TP311|TP314
• 语种: 中文
• DOI: 10.3321/j.issn:0253-987X.2009.08.005

摘要

针对静态竞争检测无额外运行开销但精度低,而动态竞争检测精度高但因插桩有额外运行开销,在实际Java虚拟机的即时编译器中以竞争检测遍形式设计实现了一种精确有效的增量式竞争检测算法.结合锁集和发生序关系,依次对即时编译的每个方法进行一次方法内分析,收集独立于上下文的方法摘要,并以方法摘要为基础自下而上进行上下文敏感的跨线程方法间分析,增量计算并及时输出潜在的竞争信息.实验表明,算法对应用程序无插桩且不受程序规模限制,具有与O'Callahan等人的动态竞争检测算法类似的精度,检测时间仅占总编译时间的2%～4%.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张昱	中国科学技术大学计算机科学技术系	148	1995	25.0	38.0
5	郝允允	中国科学技术大学计算机科学技术系	1	6	1.0	1.0