咱们知道JIT会在JVM运行过程当中,对热点代码进行优化,传说天然是传说,今天咱们经过一个简单的例子来具体分析一下JIT究竟是怎么进行优化的。java
说干就干,咱们先准备一个很是简单的例子:git
public class AddTest { static int a = 1; static int b = 2; static int c = 3; public static void main(String[] args) { for (int i = 0; i < 100000; i++) { add(); } } private static void add() { a = b + 1; b = c + 2; c = a + 3; } }
这个例子中咱们定义了三个类变量,而后经过一个add方法对其中的变量进行累加。github
而后在main方法中对add方法调用10000次。调用这么屡次,主要是为了保证add成为热点代码,从而使用JIT进行编译。多线程
以前提到了JIT分析的神器jitWatch,今天咱们来使用jitWatch来分析上面的代码。jvm
从jitWatch的github中下载源码,运行mvn exec:java便可开启jitWatch之旅。工具
打开sandbox,选择咱们编写的类文件。点击运行便可。优化
有不熟悉jitWatch的朋友能够参考我以前写的文章:spa
而后咱们到了下面熟悉的界面:code
界面分为三部分,左边是源代码,中间是字节码,最右边是JIT编译的汇编代码。
咱们分析下add方法生成的字节码:
0: getstatic #13 // Field b:I 3: iconst_1 4: iadd 5: putstatic #17 // Field a:I 8: getstatic #20 // Field c:I 11: iconst_2 12: iadd 13: putstatic #13 // Field b:I 16: getstatic #17 // Field a:I 19: iconst_3 20: iadd 21: putstatic #20 // Field c:I 24: return
咱们能够看到字节码和java源代码是一一对应的。
好比add方法的第一行:
a = b + 1;
相应的字节码是这样的:
0: getstatic #13 // Field b:I 3: iconst_1 4: iadd 5: putstatic #17 // Field a:I
首先经过getstatic拿到字段b的值。而后调用iconst_1,将1加载。接着调用iadd把1和b相加。最后将生成的值使用putstatic赋值给a。
字节码和源代码一一对应,彻底没有问题。
那么JIT生成的汇编代码是否是也和java代码一致呢?咱们再来看一下生成的汇编代码。
从图片咱们能够看出,生成的汇编代码能够分为方法初始化,代码逻辑区,多线程同步,地址和cache line对齐,异常处理,返优化等几个部分。
这里咱们主要关注一下代码逻辑区:
从图上我作的标记能够看出,汇编中执行的逻辑是
b=c+2, a =b+1和c=b+4。
不光执行顺序发送了变化(重排序),执行逻辑也进行了优化。
你们可能注意到汇编语言中有这样几个不太明白的代码:
0x78(%r10) 0x74(%r10) 0x70(%r10)
经过第二行的注解,咱们知道r10存储的是AddTest这个对象,而0x70,0x74和0x78是AddTest中的偏移量,用来定位类变量a,b,c。
从上面的例子能够知道,JIT会对代码进行优化,因此最好的办法是不要本身在java代码中作一些你认为是优化的优化,由于这样可能让JIT在优化的时候变得困惑。从而限制了代码优化的力度。
最后,JIT是一个很是强大的工具。但愿你们可以喜欢。
本文做者:flydean程序那些事本文连接:http://www.flydean.com/jvm-jitwatch-assembly-indetail/
本文来源:flydean的博客
欢迎关注个人公众号:程序那些事,更多精彩等着您!