高可扩展性的MHP分析算法

摘要

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