从整体结构到分布式系统世界，应用程序开发已经走过了漫长的道路。云计算和微服务架构的大规模采用极大地改变了服务器应用程序的创建和部署方式。我们现在拥有独立、单独部署的服务，而不是巨大的应用程序服务器
当需要时。

然而，可能影响这种平稳运行的新玩家可能是“冷启动”。当第一个请求在新产生的工作进程上处理时，冷启动就会启动。这种情况需要在处理实际请求之前进行语言运行时初始化和服务配置初始化。与冷启动相关的不可预测性和执行速度较慢可能会违反云服务的服务级别协议。那么，如何应对这种日益增长的担忧呢？

本机映像：优化启动时间和内存占用

为了解决冷启动的低效率问题，我们开发了一种新颖的方法，涉及点分析、构建时的应用程序初始化、堆快照和提前(AOT)编译。此方法在封闭世界假设下运行，要求所有 Java 类在构建时都已预先确定并可访问。在此阶段，全面的点分析确定所有可访问的程序元素（类、方法、字段），以确保仅编译必要的 Java 方法。

应用程序的初始化代码可以在构建过程中执行，而不是在运行时执行。这允许预先分配 Java 对象并构建复杂的数据结构，然后在运行时通过“映像堆”提供这些数据结构。该映像堆集成在可执行文件中，在应用程序启动时提供立即可用性。这
持续迭代执行点分析和快照，直到达到稳定状态（定点），从而优化启动时间和资源消耗。

详细工作流程

我们系统的输入是 Java 字节码，它可能源自 Java、Scala 或 Kotlin 等语言。该过程统一处理应用程序、其库、JDK 和 VM 组件，以生成特定于操作系统和体系结构的本机可执行文件 - 称为“本机映像”。构建过程包括迭代点分析和堆快照，直到达到固定点，从而允许应用程序通过注册的回调主动参与。这些步骤统称为本机映像构建过程 (图 1)

图 1 – 本机映像构建过程（来源：redhat.com）

点分析

我们采用点分析来确定运行时类、方法和字段的可达性。点到分析从所有入口点（例如应用程序的主要方法）开始，迭代遍历所有可传递可达的方法，直到到达固定点（图2）。

图 2 – 分析点

我们的指向分析利用编译器的前端将 Java 字节码解析为编译器的高级中间表示(IR)。随后，IR 被转换为类型流图。在此图中，节点表示对对象类型进行操作的指令，而边表示节点之间的定向使用边，从定义指向使用。每个节点维护一个类型状态，由可以到达该节点的类型列表和空值信息组成。类型状态通过使用边传播；如果节点的类型状态发生变化，则此更改将传播到所有用途。重要的是，类型状态只能扩展；新类型可以添加到类型状态，但现有类型永远不会被删除。该机制确保
分析最终收敛到一个固定点，导致终止。

运行初始化代码

指向分析在到达局部固定点时指导初始化代码的执行。该代码起源于两个不同的来源：类初始值设定项和在构建时通过功能接口批量执行的自定义代码：

1. 类初始值设定项： 每个 Java 类都可以有一个由 方法指示的类初始值设定项，该方法初始化静态字段。开发人员可以选择在构建时和运行时初始化哪些类。

2. 显式回调：开发者可以通过我们系统提供的钩子实现自定义代码，在分析阶段之前、期间或之后执行。

这里提供了用于与我们的系统集成的API。

被动API（查询当前分析状态）

boolean isReachable(Class> clazz);

boolean isReachable(Field field);

boolean isReachable(Executable method);

更多信息，请参阅QueryReachabilityAccess

Active API（注册分析状态更改的回调）：

void registerReachabilityHandler(Consumer callback, Object... elements);

void registerSubtypeReachabilityHandler(BiConsumer> callback, Class> baseClass);

void registerMethodOverrideReachabilityHandler(BiConsumer callback, Executable baseMethod);

更多信息，请参阅BeforeAnalysisAccess

在此阶段，应用程序可以执行自定义代码，例如对象分配和较大数据结构的初始化。重要的是，初始化代码可以访问当前的分析状态点，从而启用有关类型、方法或字段的可达性的查询。这是使用DuringAnalysisAccess 提供的各种isReachable() 方法来完成的。利用此信息，应用程序可以构建针对应用程序的可到达段优化的数据结构。

堆快照

最后，堆快照通过像静态字段一样跟随根指针构建对象图，以构建所有可访问对象的全面视图。然后该图填充本机图像的
图像堆，确保应用程序的初始状态在启动时有效加载。

为了生成可达对象的传递闭包，该算法遍历对象字段，使用反射读取它们的值。值得注意的是，映像生成器在 Java 环境中运行。在此遍历期间，仅考虑由指向分析标记为“已读”的实例字段。例如，如果一个类有两个实例字段，但其中一个未标记为已读，则通过未标记字段可访问的对象将从图像堆中排除。

当遇到先前未通过指向分析识别其类的字段值时，该类将被注册为字段类型。此注册确保在点分析的后续迭代中，新类型传播到类型流图中的所有字段读取和传递用法。

下面的代码片段概述了堆快照的核心算法：

Declare List worklist := []
Declare Set reachableObjects := []

Function BuildHeapSnapshot(PointsToState pointsToState)
For Each field in pointsToState.getReachableStaticObjectFields()
Call AddObjectToWorkList(field.readValue())
End For

    For Each method in pointsToState.getReachableMethods()
        For Each constant in method.embeddedConstants()
            Call AddObjectToWorkList(constant)
        End For
    End For

    While worklist.isNotEmpty
        Object current := Pop from worklist
        If current Object is an Array
            For Each value in current
                Call AddObjectToWorkList(value)
                Add current.getClass() to pointsToState.getObjectArrayTypes()
            End For
        Else
            For Each field in pointsToState.getReachableInstanceObjectFields(current.getClass())
                Object value := field.read(current)
                Call AddObjectToWorkList(value)
                Add value.getClass() to pointsToState.getFieldValueTypes(field)
            End For
        End If
    End While
    Return reachableObjects
End Function

综上所述，堆快照算法通过系统地遍历可达对象及其字段来高效地构造堆快照。这可确保仅相关对象包含在图像堆中，从而优化本机图像的性能和内存占用。

结论

总而言之，堆快照过程在本机映像的创建中起着至关重要的作用。通过系统地遍历可达对象及其字段，堆快照算法构建了一个对象图，该对象图表示可达对象从根指针（例如静态字段）的传递闭包。然后将该对象图作为图像堆嵌入到本机映像中，充当本机映像启动时的初始堆。

在整个过程中，算法依赖于分析点的状态来确定哪些对象和字段与包含在图像堆中相关。考虑由点分析标记为“已读”的对象和字段，而排除未标记的实体。此外，当遇到以前未见过的类型时，算法会将它们注册以便在点分析的后续迭代中传播。

总体而言，堆快照通过确保映像堆中仅包含必要的对象来优化本机映像的性能和内存使用情况。这种系统方法提高了本机图像执行的效率和可靠性。