简介

之前我们在讲Virtual call的时候有提到，virtual call方法会根据传递的参数实例的不同而进行优化，从而优化成为classic call,从而提升执行效率。

今天我们考虑一下，在virtual call中执行nullcheck的时候，如果已经知道传递的参数是非空的。JIT会对代码进行优化吗？

一起来看看吧。

一个普通的virtual call

我们来分析一下在方法中调用list.add方法的例子：

public class TestNull {public static void main(String[] args) throws InterruptedException {List<String> list= new ArrayList();list.add("www.flydean.com");for (int i = 0; i < 10000; i++){testMethod(list);}Thread.sleep(1000);}private static void testMethod(List<String> list){list.get(0);}
}

代码很简单，我们在循环中调用testMethod方法，而这个方法里面又调用了list.get(0)方法，来获取list的第一个参数。

单纯的看testMethod，这个方法是有可能抛出NullPointerException的，但是从整体运行的角度来看，因为我们的list是有值的，所以不会抛出异常。

使用JIT Watcher看看运行结果：

先看第二个和第三个红框，我们可以看到代码先做了参数类型的比较，然后对testMethod进行了优化，这里还可以看到get方法是内联到testMethod中的。

代码优化的部分我们找到了，那么异常处理呢？如果list为空，应该怎么处理异常呢？

第一个红框，大家可以看到是一个隐式的异常处理，它重定向到1152b4f01这个地址。

第四个红框就是这地址，表示的是异常处理的代码。

普通方法中的null check

我们在上面的普通方法里面加上一个null check：

public class TestNull1 {public static void main(String[] args) throws InterruptedException {List<String> list= new ArrayList();list.add("www.flydean.com");for (int i = 0; i < 10000; i++){testMethod(list);}Thread.sleep(1000);}private static void testMethod(List<String> list){if(list !=null ){list.get(0);}}
}

上面我们添加了一个list ！=null的判断。

运行看下结果：

相比较而言，我们可以看到，代码其实没有太多的变化，说明JIT在代码优化的过程中，将null check优化掉了。

那么null check到底在什么地方呢？看我标红的第二个框，这里是之前的异常处理区域，我们可以看到里面有一个ifnull，表明这里做了null check。

反优化的例子

上面的两个例子，我们可以看出在virtual method中，JIT对null check进行了优化。接下来我们再看一个例子，在这个例子中，我们显示的传递一个null给testMethod，然后再次循环testMethod，如下所示。

for (int i = 0; i < 10000; i++){testMethod(list);}Thread.sleep(1000);testMethod(null);
for (int i = 0; i < 10000; i++){testMethod(list);}

我们看下JIT的结果：

看下结果有什么不同呢？

第一，ifnull现在是显示调用的，并不包含在隐式异常中。
第二，隐式异常也不见了，因为使用显示的ifnull。

总结

JIT会根据不同的情况，对代码进行不同程度的优化，希望大家能够喜欢。

本文作者：flydean程序那些事

本文链接：http://www.flydean.com/jvm-assembly-nullcheck/

本文来源：flydean的博客

欢迎关注我的公众号:程序那些事，更多精彩等着您！

JVM系列之:从汇编角度分析NullCheck相关推荐

JVM系列之:从汇编角度分析Volatile
文章目录简介重排序写的内存屏障非lock和LazySet 读的性能总结简介 Volatile关键字对熟悉java多线程的朋友来说,应该很熟悉了.Volatile是JMM(Java Memo ...
JVM详解之:汇编角度理解本地变量的生命周期
文章目录简介本地变量的生命周期举例说明优化的原因总结简介 java方法中定义的变量,它的生命周期是什么样的呢?是不是一定要等到方法结束,这个创建的对象才会被回收呢? 带着这个问题我们来看一 ...
jmap 文件解析_干货分享丨jvm系列：dump文件深度分析
摘要:java内存dump是jvm运行时内存的一份快照,利用它可以分析是否存在内存浪费,可以检查内存管理是否合理,当发生OOM的时候,可以找出问题的原因.那么dump文件的内容是什么样的呢? JVM ...
【华为云技术分享】干货分享丨jvm系列：dump文件深度分析
摘要:java内存dump是jvm运行时内存的一份快照,利用它可以分析是否存在内存浪费,可以检查内存管理是否合理,当发生OOM的时候,可以找出问题的原因.那么dump文件的内容是什么样的呢? JVM ...
JVM系列:生产环境参数实例及分析【生产环境实例增加中】
java application项目(非web项目) 改进前: -Xms128m -Xmx128m -XX:NewSize=64m -XX:PermSize=64m -XX:+UseConcMarkS ...
【JVM系列3】方法重载和方法重写原理分析，看完这篇终于彻底搞懂了
深入分析Java虚拟机中方法执行流程及方法重载和方法重写原理前言思考栈帧局部变量表(Local Variables) 操作数栈(Operand Stacks) 动态连接(Dynamic Lin ...
Jvm 系列(五):Java GC 分析
Java GC就是JVM记录仪,书画了JVM各个分区的表演. 什么是 Java GC Java GC(Garbage Collection,垃圾收集,垃圾回收)机制,是Java与C++/C的主要区别之 ...
jvm系列(五):Java GC 分析
Java GC就是JVM记录仪,书画了JVM各个分区的表演. 什么是 Java GC Java GC(Garbage Collection,垃圾收集,垃圾回收)机制,是Java与C++/C的主要区别之 ...
【Android 插件化】Hook 插件化框架 ( 从源码角度分析加载资源流程 | Hook 点选择 | 资源冲突解决方案 )
Android 插件化系列文章目录 [Android 插件化]插件化简介 ( 组件化与插件化 ) [Android 插件化]插件化原理 ( JVM 内存数据 | 类加载流程 ) [Android 插件 ...

JVM系列之:从汇编角度分析NullCheck

文章目录

简介

一个普通的virtual call

普通方法中的null check

反优化的例子

总结

JVM系列之:从汇编角度分析NullCheck相关推荐

最新文章

热门文章