.png){kind=icon}
返回
Practical MHP Analysis for Java
.png){kind=icon}
PRE
AI
DOI：10.1145/3771775.3786279.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
可能发生在并行（MHP）分析是Java等并行语言编写的程序背景下最基础的分析之一。当前用于对Java应用程序进行MHP分析的技术存在两大主要挑战：（i）可扩展性，难以应用于真实世界的大型应用程序；（ii）在复杂程序存在的情况下精度不足。在本研究中，我们针对这两个问题提出了GRIP-MHP方案，旨在使Java应用程序的MHP分析成为一种实用选项。该方案包括显著减少MHP分析所需时间的技巧，通过采用新颖的方法来缩小输入图（代表原始应用程序）的规模。GRIP-MHP还解决了现有技术的许多缺陷，从而提高了MHP分析在真实世界Java应用程序中的适用性和精度。我们在Soot编译器框架中实现了GRIP-MHP。实验结果表明，GRIP-MHP在DaCapo和Renaissance测试基准中的所有案例上均能在合理时间内成功运行（几何均值较先前工作提升20.18倍）。我们发现GRIP-MHP在多线程合并方面表现更精确，显著提升了分析结果的精度：几何均值较先前工作减少了1.85倍的MHP对数。
Keyword:
program analysis
parallel/concurrent programs
compressed representation
期刊
机构
引用论文
.png){kind=icon}
分享收藏分享收藏分享收藏分享收藏分享收藏
查看更多内容