35、Java 中循环版本化的有效增强

Java 中循环版本化的有效增强

1. Java 内存模型

考虑以下代码示例：

for(i=0; i<UB; i++) {
    A[i] = B[i+1];
    <operator 1>;
    ...
    <operator k>;
}

问题是，在什么情况下，A、B 和 UB 是循环不变量？如果它们不是，那么循环版本化可能不是此类循环的正确转换。

Java 语言规范（JLS）的“线程和锁”章节借助三个抽象机器（主内存、线程工作内存和线程执行引擎）严格定义了 Java 内存模型，主要用于多线程程序，如下图所示：

graph LR
    classDef process fill:#E5F6FF,stroke:#73A6FF,stroke-width:2px

    A(主内存):::process -->|load/store| B(线程工作内存):::process
    B -->|use/assign| C(线程执行引擎):::process
    C -->|执行 Java 代码| B

主内存跟踪共享变量的状态并执行读写操作。每个线程都有自己的工作内存，是主内存的“本地视图”。线程工作内存保存共享变量的工作副本，并通过特定于每个共享变量的加载/存储消息流与主内存通信。线程执行引擎根据语言语义执行 Java 代码，并通过使用/赋值消息流与工作内存交换数据。

关于共享变量的