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

第43卷第8期 西安交通大学学报 V01．43№8 XI7AN UNIVERSITY 2009年8月 OF JIA(爪小『G Au舀2009 JOURNAL Java程序数据竞争的增量式检测 张昱1’2，郝允允1’2 (1．中国科学技术大学计算机科学技术系。230027，合肥；2．安徽省计算与 通信软件重点实验室，230027，合肥) 摘要：针对静态竞争检测无额外运行开销但精度低，而动态竞争检测精度高但因插桩有额外运行开 销，在实际Java虚拟机的即时编译器中以竞争检测遍形式设计实现了一种精确有效的增量式竞争检 测算法．结合锁集和发生序关系，依次对即时编译的每个方法进行一次方法内分析，收集独立于上下 文的方法摘要，并以方法摘要为基础自下而上进行上下文敏感的跨线程方法间分析，增量计算并及时 输出潜在的竞争信息．实验表明，算法对应用程序无插桩且不受程序规模限制，具有与0’Callahan等 人的动态竞争检测算法类似的精度，检测时间仅占总编译时间的2％--4％． 关键词：增量式检测；数据竞争；程序分析；锁集；发生序关系 IncrementalDetectionofDataRacefor Java thgrams Yul¨．HAO ZHANG Yunyunl’2 and of of Scienceand of,Science China，Hefei230027，Chinas (1．DepartmentComputer Technology，UniversityTechnology 2．AnhuiProvince ofSoftwarein andCommunication，Hefei230027，CNm) KeyLaboratory Computing consumenoextrarun-timecostbuthavelower Abstraet：Staticracedetection precision，while techniques duetoinstrumentation．Anew oneshave butconsumeextrarun-timecost dynamic higherprecision pre— ciseandefficient on dataracesin is detectingpotential Javaprogramspresented， algorithmincrementally ma— asarace inthe ofthe v