APP下载

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

2009-09-18郝允允

西安交通大学学报 2009年8期
关键词:增量精度动态

张 昱 郝允允

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

猜你喜欢

增量精度动态
研发信息的增量披露能促进企业创新投入吗
数控车床加工精度的工艺处理及优化试析
Поезд Харбин-Россия стимулирует рост китайско-российской торговли в провинции Хэйлунцзян哈俄班列拉动黑龙江中俄贸易增量
特大城市快递垃圾增量占垃圾增量93%
近似边界精度信息熵的属性约简
电力系统短期负荷预测方法与预测精度
创新教育评价机制 促进学校“增量”发展
2014年5月27日—2014年6月24日
2014年4月22日—2014年5月22日
浅谈ProENGINEER精度设置及应用