平行可达性和逃逸分析

静态程序分析通常由多个步骤组成，每个步骤都会产生部分结果。例如，指向分析步骤的点，即计算程序中的对象引用，通常只为更大的客户端分析（如可达性分析和逃逸分析）提供输入。所有这些分析都是计算密集型的，因此创建并行方法，利用现代桌面计算机中多核的处理能力至关重要。本文基于并行分析点，提出了两种并行方法来提高可达性分析和逃逸分析的效率。实验表明，对于Java程序的基准套件，这两种并行方法在8个内核上的可达性分析和逃逸分析分别实现了1.5和3.8的加速。