互联网 qkzz.net
全刊杂志网:首页 > 大学学报 > 文章正文
刊社推荐

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


□ 张 昱 郝允允

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

 未安装PDF浏览器用户请先下载安装
原版页码:22,23,24,25,26,27,58原版全文......
很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《西安交通大学学报》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
分享:
 
精彩图文
关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017