基于JVM的语言如何显式标记冷分支或非预期分支？

JVM平台确实支持向JIT编译器传递分支冷热提示，类似Linux内核的unlikely()/likely()宏——核心是通过代码结构、内部注解或字节码布局，引导编译器对高频（热）和低频（冷）分支做针对性优化。下面分不同场景说明实现方式：

一、Java语言实现 #

• 代码结构引导（通用所有版本）：JIT编译器默认会认为if块的分支是高频路径，else块是低频路径。所以可以把预期大概率执行的逻辑放在if块，冷分支放在else块；另外，把冷分支逻辑抽成单独方法，JIT会识别调用频率低的方法为冷路径。
• Java 17+内部注解：OpenJDK提供了jdk.internal.vm.annotation.Likely和jdk.internal.vm.annotation.Unlikely内部注解，需通过编译参数启用。示例代码：

import jdk.internal.vm.annotation.Unlikely;

public class BranchHint {
    public void process(int code) {
        if (@Unlikely code == -1) {
            // 冷分支逻辑
            handleError();
        } else {
            // 主路径逻辑
            handleNormal();
        }
    }

    private void handleError() {}
    private void handleNormal() {}
}

编译时需添加参数：--add-exports java.base/jdk.internal.vm.annotation=ALL-UNNAMED

二、Scala语言实现 #

• 可以直接复用Java的内部注解，写法和Java类似，同样需要编译时导出内部API。
• 利用模式匹配顺序：Scala编译器和JIT会优先优化靠前的匹配项，把高频分支放在前面，冷分支放在最后。示例：

import jdk.internal.vm.annotation.Unlikely

def process(code: Int): Unit = code match {
    case normal if normal != -1 => handleNormal()
    case @Unlikely -1 => handleError()
}

def handleError(): Unit = {}
def handleNormal(): Unit = {}

三、Krakatau/Jasmin汇编器实现 #

JVM字节码没有专门的分支提示指令，但可以通过分支指令的布局暗示冷热：JIT默认认为不跳转的路径是热路径，跳转的是冷路径。所以把冷分支放在跳转目标处，热分支紧跟在分支指令之后。

以Jasmin语法为例：

.class public BranchHint
.super java/lang/Object

.method public <init>()V
    aload_0
    invokespecial java/lang/Object/<init>()V
    return
.end method

.method public process(I)V
    iload_1
    ifne Lhot_path  ; code != -1时不跳转，直接走热路径
Lcold_path:
    ; 冷分支：调用handleError
    aload_0
    invokevirtual BranchHint/handleError()V
    return
Lhot_path:
    ; 热分支：调用handleNormal
    aload_0
    invokevirtual BranchHint/handleNormal()V
    return
.end method

.method private handleError()V
    return
.end method

.method private handleNormal()V
    return
.end method

补充说明 #

这些提示主要作用于JIT编译器（比如OpenJDK的C2编译器），JVM解释器本身几乎不做分支预测优化；另外，内部注解依赖具体JVM实现（如OpenJDK），GraalVM等其他JVM可能有专属的优化方式。

内容的提问来源于stack exchange，提问作者doliphin