机器学习驱动的原生镜像静态分析

本文介绍了GraalSP，一个集成到Oracle GraalVM原生镜像中的机器学习驱动的静态分析器。GraalSP通过预测程序的执行配置文件来优化原生镜像的构建过程，从而提升程序运行性能。文章以堆排序为例，解释了静态分析如何通过预测循环体执行概率来指导函数内联等优化，最终实现7.5%的性能提升。与动态分析相比，GraalSP避免了耗时的运行-构建-运行周期和寻找合适负载进行分析的难题，但性能提升略逊于动态分析。GraalSP利用Graal IR图、CFG控制流图等提取程序特征，并使用XGBoost模型进行预测。目前，GraalSP已在Oracle GraalVM中默认启用。