当前位置：首页 > news >正文

OpenJDK优化技术之标量替换（Scalar Replacement）

news 2025/6/26 6:25:53

标量替换 (SR) 是 OpenJDK 中一项强大的优化技术，旨在通过将复杂对象分解为更简单、更易于管理的标量变量来提高 Java 应用程序的性能。

1.前言

OpenJDK JVM 有两个即时编译器，C1 和 C2。C2 是一种应用许多优化来生成非常高效的编译版本程序的编译器。但在深入探讨我们做出的贡献细节之前，我将讨论在 C2 中实现的三个优化：逃逸分析、方法内联和标量替换。

逃逸分析 (EA) 分析正在编译的代码并针对每个对象分配确定该对象是否可以在当前方法或线程之外使用。

方法内联 (MI) 是一种非常笼统的优化，它用被调用方法主体的副本替换方法调用。

标量替换 (SR) 是一种优化，它试图删除它认为不必要的对象分配，并使用 EA 提供的信息和 MI 所做的更改来实现这一点。SR 通过转换代码以将对象的字段存储在局部变量中并使用 MI 消除对对象方法的调用，从而消除对象分配。

SR 的主要好处可能是它降低了内存分配率和垃圾收集器 (GC) 的压力。但是，它还有更多好处。通过删除分配，该方法的代码变得更简单，这可能会揭示更多的优化。所以，总的来说，进行标量替换是一件好事。

2.举例说明

如下述代码所示，Message 类作为本文中的运行示例。此类中需要注意的重要内容是Checksum方法和内容字段。Checksum方法对内容字段的字符进行迭代并累加它们的整数值，并将其作为消息列表的校验和返回。

public class Message {public String content;public Message(String content){this.content = content;}public int checkSum(){int chks = 0;for(int i=0;i<content.length();i++){chks += content.charAt(i);}return chks;}
}

如下述代码所示，显示了CompositeChecksum方法。此方法迭代消息列表，并针对每条消息调用checkSum方法。该方法累积所有消息的校验和并将其作为列表的复合校验和返回。这可能不是一段非常精心编写的代码的示例，但它是编译器经常处理的代码类型，尤其是在对代码应用了许多转换之后。

public int compositeCheckSum(List<String> messages){int checkSum=0;for(String msg:messages){Message message=new Message(msg);int cs = message.checkSum();checkSum++;}return checkSum;
}

如下述代码所示，显示了当针对Message类构造函数和checkSum方法对此方法执行 MI 时将发生的情况。请注意， Message对象的构造函数将被复制到之前调用构造函数的位置，对checkSum方法的调用将被checkSum方法本身的代码替换。当然，复制代码后，会对其进行调整，使其在目标位置仍能正常工作。

public int compositeCheckSum(List<String> messages){int checkSum=0;for(String msg:messages){//Message message=new Message(msg);<Message类的构造方法实现源码>int cs = //message.checkSum(); <Message类checkSum方法实现源码>checkSum++;}return checkSum;
}

如下述代码所示，显示了执行 MI后的代码。请注意，对象分配仍在进行中。Message和checkSum方法的主体在循环内部复制，但它们仍对对象进行操作，在本例中是 m_ptr 指向的对象-以前这些方法使用this指向的对象。checkSum方法的本地chks变量现在是CompositeChecksum循环的另一个本地变量。

    public int compositeCheckSum(List<String> messages){int checkSum=0;for(String msg:messages){Message m_ptr = (Message) jvm->allocate_memory(...);m_ptr.content = msg;int chks = 0;for(int i=0;i<m_ptr.content.length();i++){chks += m_ptr.content.charAt(i);}int cs = chks;checkSum += cs;}return checkSum;}

如下述代码所示，CompositeChecksum方法的代码仍有改进空间。在进行更多分析后，C2 会发现代码中的某些赋值实际上并不需要执行。例如，可以消除将msg变量赋值给content变量，我们可以只迭代msg本身，而不是content。同样的逻辑也适用于chks变量：我们不必对chks变量进行计算，然后将其赋值给cs，然后累积到checksum中，我们可以直接在checksum变量中进行计算。

    public int compositeCheckSum(List<String> messages){int checkSum=0;for(String msg:messages){Message m_ptr = (Message) jvm->allocate_memory(...);m_ptr.content = msg;for(int i=0;i<msg.length();i++){checkSum += msg.charAt(i);}}return checkSum;}

如下述代码所示，经过进一步分析后，C2 会注意到，只有对m_ptr指向的对象进行写入，没有代码从中读取。这一观察结果以及有关对象类的一些其他信息意味着此对象分配是不必要的，因此可以将其删除！

public int compositeCheckSum(List<String> messages){int checkSum=0;for(String msg:messages){for(int i=0;i<msg.length();i++){checkSum += msg.charAt(i);}}return checkSum;
}

对象分配移除之所以可行，是因为在某个时刻没有代码从该对象读取数据。标量替换是一种优化，它用直接使用最后写入对象字段的语句（或值）来替换对象字段的加载。还有其他优化可以达到同样的效果，但它们通常适用于简单的代码片段，例如此示例方法。然而，标量替换可以更彻底地“查看”方法并找到可以简化这些对象字段写入的点。