| 高可扩展性的MHP 分析算法 |
| |
| 作者姓名： | 印乐 黄磊 |
| |
| 作者单位： | 计算机体系结构国家重点实验室(中国科学院 计算技术研究所), 北京 100190;计算机体系结构国家重点实验室(中国科学院 计算技术研究所), 北京 100190 |
| |
| 基金项目： | 基金项目: 国家自然科学基金(61202055, 60921002); 国家重点基础研究发展计划(973)(2011CB302504); 国家高技术研究发展计划(863)(2012AA010902) |
| |
| 摘 要： | 并行发生(may happen in parallel,简称MHP)分析计算并行程序中哪些语句可以并行执行,它是并行分析技术的重要组成部分.提出一种针对Java 程序的新颖的MHP分析算法.与已有算法相比,新算法抛弃了“子线程只会被父线程等待同步”的假设,以非耦合的方式分别处理start 同步和join 同步;新算法的处理逻辑虽然更加简单,但却更加完备;在计算控制信息时,新算法不必像已有算法那样通过内联构造全局的控制流图,显著地提高了算法的扩展性.新的MHP 算法被用来过滤静态数据竞争检测中虚假的数据竞争.在14 个Java 测试程序上的实验结果表明,新的MHP 算法计算控制信息的开销远远小于已有算法.
|
| 关 键 词： | MHP 可扩展性 数据竞争 静态分析 |
| 收稿时间： | 2012-01-04 |
| 修稿时间： | 2013-01-07 |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载免费的PDF全文 |
|
