HotSpot C2 的 if 转换代价模型：分支概率与 CMov 的取舍
高吞吐服务里热点分支被 C2 编译成条件传送（CMov）后反而变慢，问题常出在分支概率与代价模型上。文章解释 C2 如何用分支概率决定是否把 if 转成 CMov、CMov 为什么在概率极不平衡时付出额外代价，并给出用 -XX:+PrintIdeal 与反汇编判断分支是否适合 CMov 的方法。
#C2
共 5 篇文章
JVM 内在函数：C2 编译器如何用 CPU 指令替换热点方法
为什么 Math.sqrt 和 System.arraycopy 会被 JIT 替换为 CPU 指令？本文聚焦 HotSpot C2 编译器的内在函数机制，解释识别与替换过程、常见内在函数、诊断方法，以及手写代码与内在函数的性能差异，帮助你利用内在函数优化数值计算和数组操作。
HotSpot C2 条件传送生成条件：分支概率与 CMov 的代价权衡
高吞吐服务中，热点分支是保留分支指令还是转换为条件传送（CMov）直接决定性能。本文基于 HotSpot C2 编译器的实际实现，剖析 CMov 的收益与代价、C2 如何利用分支概率决定转换，以及 -XX:UseCMov 等参数的影响，帮助读者判断何时该信任 CMov 的优化。
HotSpot C2 自动向量化：Superword 算法如何将循环转换为 SIMD 指令
为什么有的循环能被 JVM 自动向量化，有的却不能？本文以数组求和与元素变换为贯穿场景，剖析 HotSpot C2 编译器 Superword 算法的基本步骤，解释循环展开、内存对齐、无别名等关键条件，并给出编写可向量化代码的实用指导，同时对比自动向量化与手写 SIMD 的权衡。
JVM 分层编译的层级选择：C1/C2 编译器协作与预热期性能优化
分析 HotSpot 分层编译的五个执行层级，解释为何方法在 C1 编译后可能被 C2 重新编译，以及如何通过 -XX:TieredStopAtLevel 控制编译策略。以微服务启动后预热期的性能抖动为贯穿场景，讨论编译阈值、Profiling 数据收集、去优化机制，并与 Graal JIT 进行对比。读者将掌握根据延迟和吞吐需求调整编译层级的参数，并理解为何短生命周期方法不适合 C2 编译。