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

作     者：张昱 郝允允 ZHANG Yu;HAO Yunyun

作者机构：中国科学技术大学计算机科学技术系合肥230027 安徽省计算与通信软件重点实验室合肥230027 

基　　金：国家自然科学基金"软件安全性的验证和编译"资助项目(60673126) Intel公司研究基金"新并行编程语言特性与范型的设计及可编程性研究"资助项目 

出 版 物：《西安交通大学学报》 (Journal of Xi'an Jiaotong University)

年 卷 期：2009年第43卷第8期

页      码：22-27,58页

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

主 题 词：增量式检测 数据竞争 程序分析 锁集 发生序关系 

学科分类：0810[工学-土木类] 08[工学] 0805[工学-能源动力学] 0835[0835] 0812[工学-测绘类] 081202[081202] 

核心收录：

D　O　I：10.3321/j.issn:0253-987X.2009.08.005

馆 藏 号：203726912...