高可扩展性的MHP分析算法

• 作者: 印乐 黄磊
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: MHP 可扩展性 数据竞争 静态分析
• 年，卷（期）: 2013,（10）
• 所属期刊栏目: 算法设计与分析
• 页码范围: 2289-2299
• 页数: 11页
• 分类号: TP301
• 字数: 7864字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2013.04372

摘要

并行发生(may happen in parallel,简称MHP)分析计算并行程序中哪些语句可以并行执行,它是并行分析技术的重要组成部分.提出一种针对Java程序的新颖的MHP分析算法与已有算法相比,新算法抛弃了“子线程只会被父线程等待同步”的假设,以非耦合的方式分别处理start同步和join同步;新算法的处理逻辑虽然更加简单,但却更加完备;在计算控制信息时,新算法不必像已有算法那样通过内联构造全局的控制流图,显著地提高了算法的扩展性.新的MHP算法被用来过滤静态数据竞争检测中虚假的数据竞争.在14个Java测试程序上的实验结果表明,新的MHP算法计算控制信息的开销远远小于已有算法.