几分钟了解下java虚拟机--04
<h2 id="方法内联">方法内联</h2>📖
<p>它的基本思想是在调用某个方法时，不通过跳转指令去执行该方法的代码，而是直接将该方法的代码复制到调用点处。这样可以减少方法调用的开销，包括减少函数调用和返回的指令执行时间，以及减少堆栈操作</p>
</aside>
<p>方法内联能够触发更多的优化。通常而言，内联越多，生成代码的执行效率越高。然而，对于即时编译器来说，内联越多，编译时间也就越长，而程序达到峰值性能的时刻也将被推迟。</p>
<p>内联意味着有编译，编译后的机器码要存到 <code>Codecache</code> 中，而 <code>Codecache</code> 内存是有固定大小的由 Java 虚拟机参数 -XX:<code>ReservedCodeCacheSize</code> 控制），如果 <code>Codecache</code> 满了，则会带来性能问题</p>
<h3 id="虚方法的内联">虚方法的内联</h3>
<p>通过判断虚方法的目标是否唯一</p>
<ul>
<li>唯一, 完全去虚化</li>
</ul>
<p>直接内联</p>
<ul>
<li>不唯一, 条件去虚化</li>
</ul>
<p>向代码中增添类型比较，内联不同类型目标的虚方法</p>
<p><em>将虚方法调用转换为一个个的类型测试以及对应该类型的直接调用</em></p>
<h2 id="hotspot虚拟机的intrinsic">HotSpot虚拟机的intrinsic</h2>
📖
<pre><code class="language-java">@HotSpotIntrinsicCandidate
public static int indexOf(byte[] value, byte[] str) {
if (str.length == 0) {
return 0;
}
if (value.length == 0) {
return -1;
}
return indexOf(value, value.length, str, str.length, 0);
}
</code></pre>
<p>在String.indexOf的源码中可见<code>@HotSpotIntrinsicCandidate</code> 注解</p>
<ul>
<li>将原本的方法实现则替换成高效的指令序列
<ul>
<li>通过cpu指令集辅助</li>
</ul>
</li>
<li>所有被该注解标注的都是 HotSpot虚拟机的intrinsic</li>
</ul>
</aside>
<h3 id="intrinsic-与方法内联"><strong>intrinsic 与方法内联</strong></h3>
<ul>
<li>独立的桩程序
<ul>
<li><strong>解释执行器（Interpreter）</strong>：解释执行器在执行代码时，如果遇到对原方法的调用，可以直接跳转到对应的桩程序执行，而不是执行原方法的字节码。这样可以减少方法调用的开销，并可能使用更高效的实现</li>
<li><strong>即时编译器（JIT Compiler）</strong>：即时编译器在将字节码编译为机器码时，会将代表对原方法调用的中间表示（IR）节点替换为对桩程序的调用。这种替换发生在编译过程中，使得生成的机器码直接调用桩程序，而不是原方法</li>
</ul>
</li>
<li>特殊的编译器 IR 节点
<ul>
<li><strong>即时编译器（JIT Compiler）</strong>：即时编译器会将对原方法的调用的 IR 节点，替换成特殊的 IR 节点，并参与接下来的优化过程。最终，即时编译器的后端将根据这些特殊的 IR 节点，生成指定的 CPU 指令</li>
</ul>
</li>
</ul>
<h2 id="逃逸分析">逃逸分析</h2>
<p><em>一种确定指针动态范围的静态分析，它可以分析在程序的哪些地方可以访问到指针</em></p>
<ul>
<li>对象是否被存入堆中（静态字段或者堆中对象的实例字段）</li>
<li>对象是否被传入未知代码中。</li>
</ul>
<p>判断对象是否会被外部方法引用或线程共享</p>
<h3 id="基于逃逸分析的优化">基于逃逸分析的优化</h3>
<ul>
<li><strong>栈上分配</strong>：如果对象不会逃逸到方法外部，可以直接在栈上分配内存，而不是在堆上分配，从而减少垃圾回收的压力。由于JVM大多基于对象分布在堆上而进行的优化, 故引入了<strong>标量替换</strong></li>
<li><strong>标量替换</strong>：将对象拆分为基本类型（标量），直接在栈上分配这些基本类型，避免对象的创建。</li>
</ul>
<pre><code class="language-java">class Foo {
int a = 0;
}
static int bar(int x) { static int bar (int x){
Foo foo = new Foo(); int a = x;
foo.a = x; return a;
return foo.a; }
}
</code></pre>
<ul>
<li>
<p><strong>同步消除</strong>：如果对象不被多个线程共享消除不必要的同步操作 <code>synchronized (new Object()) {}</code></p>
<p>以提高性能</p>
</li>
</ul>
<h3 id="部分逃逸分析">部分逃逸分析</h3>
<p>Graal中存在此优化(C2中无)</p>
<pre><code class="language-java">public static void bar(boolean cond) {
Object foo = new Object();
if (cond) {
foo.hashCode();
}
}
// 优化后代码类似：
public static void bar(boolean cond) {
if (cond) {
Object foo = new Object();
foo.hashCode();
}
}
</code></pre>
<p><em>部分逃逸分析通过考虑程序的控制流，能够在对象仅在部分路径中逃逸时进行优化，将对象的创建推迟到必要的分支中执行</em></p>
<h2 id="xmm寄存器">XMM寄存器</h2>
<p>由于普通寄存器只有32b 8字节,影响对数组向量的优化 故引入了XMM寄存器</p>
<p><img src="https://img2024.cnblogs.com/blog/3642195/202506/3642195-20250619210126024-388864462.png"></p>
<p>c = b+c</p>
<p><img src="https://img2024.cnblogs.com/blog/3642195/202506/3642195-20250619210133632-1501651759.png"></p>
<hr>
<h2 id="注解处理器">注解处理器</h2>
<pre><code class="language-java">package java.lang;
@Target(ElementType.METHOD)
@Retention(RetentionPolicy.SOURCE)
public @interface Override {
}
</code></pre>
📖
<p>由@Override可知注解由元注解组成</p>
<ul>
<li>@Target用来限定目标注解所能标注的 Java 结构</li>
<li>-@Retention用来限定当前注解生命周期</li>
</ul>
<p>同时作为开发者, 可以自定义注解</p>
</aside>
📖
<p>Java 源代码的编译过程可分为三个步骤，分别为解析源文件生成抽象语法树，调用已注册的注解处理器，和生成字节码。如果在第 2 步中，注解处理器生成了新的源代码，那么 Java 编译器将重复第 1、2 步，直至不再生成新的源代码。</p>
<p><img src="https://img2024.cnblogs.com/blog/3642195/202506/3642195-20250619210144256-540216083.png"></p>
</aside>
<h2 id="测试框架jmh待完善">测试框架JMH(待完善)</h2>
<h3 id="generated-sources">generated-sources</h3>
<p>具体来说，它们之间的继承关系是<code>MyBenchmark_jmhType -> B3 -> B2 -> B1 -> MyBenchmark</code>（这里<code>A -> B</code>代表 A 继承 B）。其中，B2 存放着 JMH 用来控制基准测试的各项字段。</p>
<p>为了避免这些控制字段对<code>MyBenchmark</code>类中的字段造成 false sharing 的影响，JMH 生成了 B1 和 B3，分别存放了 256 个 Boolean 字段，从而避免 B2 中的字段与<code>MyBenchmark</code>类、<code>MyBenchmark_jmhType</code>类中的字段（或内存里下一个对象中的字段）会出现在同一缓存行中。</p>
<h3 id="注解">注解@</h3>
<ul>
<li><code>@Fork</code>允许开发人员指定所要 Fork 出的 Java 虚拟机的数目。</li>
<li><code>@BenchmarkMode</code>允许指定性能数据的格式。</li>
<li><code>@Warmup</code>和<code>@Measurement</code>允许配置预热迭代或者测试迭代的数目，每个迭代的时间以及每个操作包含多少次对测试方法的调用。</li>
<li><code>@State</code>允许配置测试程序的状态。测试前对程序状态的初始化以及测试后对程序状态的恢复或者校验可分别通过<code>@Setup</code>和<code>@TearDown</code>来实现。</li>
</ul>
<h2 id="jni的运行机制非重要">JNI的运行机制(非重要)</h2>
💡
<p>如代码<code>hashCode()</code> 可见其调用native方法Java 虚拟机将通过 JNI，调用至对应的 C 函数</p>
<pre><code class="language-java">public class Object {
public native int hashCode();
}
</code></pre>
</aside>
<h3 id="native-方法的链接">native 方法的链接</h3>
<ul>
<li>让 Java 虚拟机自动查找符合默认命名规范的 C 函数</li>
</ul>
<pre><code class="language-c">// foo.c
#include <stdio.h>
#include "org_example_Foo.h"
JNIEXPORT void JNICALL Java_org_example_Foo_bar__Ljava_lang_String_2Ljava_lang_Object_2
(JNIEnv *env, jobject thisObject, jstring str, jobject obj) {
printf("Hello, World\n");
return;
}
</code></pre>
<ul>
<li>C 代码中主动链接</li>
</ul>
<h3 id="jni的-api">JNI的 API</h3>
💡
<p>在 C 代码中，我们也可以使用 Java 的语言特性，如 instanceof 测试等。这些功能都是通过特殊的 JNI 函数（JNI Functions）来实现的。</p>
<p>Java 虚拟机会将所有 JNI 函数的函数指针聚合到一个名为<code>JNIEnv</code>的数据结构之中。</p>
</aside>
<p><img src="https://img2024.cnblogs.com/blog/3642195/202506/3642195-20250619210155624-1553874122.png"></p><br><br>
来源：https://www.cnblogs.com/many-bucket/p/18937167
頁:
[1]