JVM如何决定JIT编译方法（将方法归类为“hot”）？

Question

我已经使用过-xx:+printcompilization，我知道JIT-compiler的基本技术以及为什么要使用JIT-compilization。

然而，我仍然没有发现JVM是如何决定JIT编译一个方法的，即“当合适的时间来JIT编译一个方法时”。

我假设每个方法都开始被解释，只要它不被归类为“热方法”，它就不会被编译，这是对的吗？我在后脑勺上读到，当一个方法被执行至少10.000次（在解释该方法10.000次后，它将被编译）时，它被认为是“热的”，但我必须承认，我不确定这一点，也不确定我在哪里读到了这一点。

所以总结一下我的问题：

（1）是否只要每个方法没有被归类为“热”方法（因此已经被编译），就会被解释，或者即使方法不是“热”，也有理由被编译？

(2)JVM如何将方法分类为“非热”和“热”方法？处决次数？还要别的什么吗？

（3）如果“hot”方法有特定的阈值（比如执行次数），那么是否有Java标志(-xx:...)来设置这个阈值？

Answer 1

热点编译策略相当复杂，尤其是对于分层编译，在Java8中默认启用分层编译。它既不是执行次数，也不是compilethreshold参数的问题。

最好的解释（显然是唯一合理的解释）可以在热点源中找到，请参见AdvancedThresholdPolicy.hpp。

我将总结一下这个高级编译策略的要点：

• 从第0层（解释器）开始执行。
• 编译的主要触发器有
  1. 方法调用计数器i；
  2. bakedge计数器b。向后分支通常表示代码中的循环。

每当计数器达到某个频率值(TierXinvokeNotifyFreqLog、TierXBackedGenotifyFreqLog)时，就会调用编译策略来决定当前运行的方法下一步要做什么。根据i、b的值以及C1和C2编译器线程的当前负载，可以决定

• 在解释器中继续执行；
• 在解释器中开始分析；
• 在第3层使用C1的编译方法，并在以后重新编译时需要完整的配置文件数据；
• 在第2层使用C1的编译方法，没有配置文件，但有可能重新编译（不太可能）；
• finally compile方法，其中C1位于第1层，没有配置文件或计数器（也不太可能）。

这里的关键参数是TierXInvocationThreshold和TierXBackedgeThreshold。根据编译队列的长度，可以为给定的方法动态调整阈值。

编译队列不是FIFO，而是一个优先级队列。

带有配置文件数据的C1编译代码（第3层）的行为类似，只是切换到下一层(C2,第4层）的阈值要大得多。例如。一个解释的方法可以在第3层编译大约200次调用，而C1编译的方法在第4层重新编译5000+次调用。