简而言之:即时编译器很愚蠢。
首先,您可以使用该选项-XX:+PrintCompilation
查看 JIT 何时正在做某事。然后你会看到类似这样的东西:
$ java -XX:+PrintCompilation weird
168 1 weird$CountByOne::getNext (28 bytes)
174 1 % weird::main @ 18 (220 bytes)
279 1 % weird::main @ -2 (220 bytes) made not entrant
113727636
280 2 % weird::main @ 91 (220 bytes)
106265475
427228826
所以你会看到方法 main 有时在第一个和第二个块期间被编译。
添加选项-XX:+PrintCompilation -XX:+UnlockDiagnosticVMOption
将为您提供有关 JIT 正在做什么的更多信息。注意,需要hsdis-amd64.so
这在常见的 Linux 发行版上似乎不太可用。您可能需要自己从 OpenJDK 编译它。
您得到的是 getNext 和 main 的大量汇编代码。
对我来说,在第一次编译中,似乎只有 main 中的第一个块实际上被编译了,您可以通过行号来判断。它包含这样有趣的事情:
0x00007fa35505fc5b: add $0x1,%r8 ;*ladd
; - weird$CountByOne::getNext@6 (line 12)
; - weird::main@28 (line 31)
0x00007fa35505fc5f: mov %r8,0x10(%rbx) ;*putfield i
; - weird$CountByOne::getNext@7 (line 12)
; - weird::main@28 (line 31)
0x00007fa35505fc63: add $0x1,%r14 ;*ladd
; - weird::main@31 (line 31)
(事实上,由于循环的展开和内联,它很长)
显然,在重新编译 main 期间,编译了第二个和第三个块。第二个块看起来与第一个版本非常相似。 (再次只是摘录)
0x00007fa35505f05d: add $0x1,%r8 ;*ladd
; - weird$CountByOne::getNext@6 (line 12)
; - weird::main@101 (line 42)
0x00007fa35505f061: mov %r8,0x10(%rbx) ;*putfield i
; - weird$CountByOne::getNext@7 (line 12)
; - weird::main@101 (line 42)
0x00007fa35505f065: add $0x1,%r13 ;*ladd
然而,第三个块的编译方式不同。没有内联和展开
这次整个循环如下所示:
0x00007fa35505f20c: xor %r10d,%r10d
0x00007fa35505f20f: xor %r8d,%r8d ;*lload
; - weird::main@171 (line 53)
0x00007fa35505f212: mov %r8d,0x10(%rsp)
0x00007fa35505f217: mov %r10,0x8(%rsp)
0x00007fa35505f21c: mov %rbp,%rsi
0x00007fa35505f21f: callq 0x00007fa355037c60 ; OopMap{rbp=Oop off=580}
;*invokevirtual getNext
; - weird::main@174 (line 53)
; {optimized virtual_call}
0x00007fa35505f224: mov 0x8(%rsp),%r10
0x00007fa35505f229: add %rax,%r10 ;*ladd
; - weird::main@177 (line 53)
0x00007fa35505f22c: mov 0x10(%rsp),%r8d
0x00007fa35505f231: inc %r8d ;*iinc
; - weird::main@180 (line 52)
0x00007fa35505f234: cmp $0x5f5e100,%r8d
0x00007fa35505f23b: jl 0x00007fa35505f212 ;*if_icmpge
; - weird::main@168 (line 52)
我的猜测是,JIT 发现这部分代码没有被大量使用,因为它使用的是第二个块执行中的分析信息,因此没有对其进行大量优化。此外,从某种意义上说,JIT 似乎很懒,在编译所有相关部分后不重新编译一个方法。请记住,第一个编译结果根本不包含第二个/第三个块的源代码,因此 JIT 必须重新编译它。