快捷導(dǎo)航

淺談JVM系列之從匯編角度分析NullCheck

更新時(shí)間：2021年06月03日 09:24:53 作者：flydean

在virtual call中執(zhí)行nullcheck的時(shí)候，如果已經(jīng)知道傳遞的參數(shù)是非空的。JIT會(huì)對(duì)代碼進(jìn)行優(yōu)化嗎？本文將詳細(xì)介紹JVM系列之從匯編角度分析NullCheck。

一個(gè)普通的virtual call

我們來分析一下在方法中調(diào)用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);
    }
}

代碼很簡(jiǎn)單，我們?cè)谘h(huán)中調(diào)用testMethod方法，而這個(gè)方法里面又調(diào)用了list.get(0)方法，來獲取list的第一個(gè)參數(shù)。

單純的看testMethod，這個(gè)方法是有可能拋出NullPointerException的，但是從整體運(yùn)行的角度來看，因?yàn)槲覀兊膌ist是有值的，所以不會(huì)拋出異常。

使用JIT Watcher看看運(yùn)行結(jié)果：

先看第二個(gè)和第三個(gè)紅框，我們可以看到代碼先做了參數(shù)類型的比較，然后對(duì)testMethod進(jìn)行了優(yōu)化，這里還可以看到get方法是內(nèi)聯(lián)到testMethod中的。

代碼優(yōu)化的部分我們找到了，那么異常處理呢？如果list為空，應(yīng)該怎么處理異常呢？

第一個(gè)紅框，大家可以看到是一個(gè)隱式的異常處理，它重定向到1152b4f01這個(gè)地址。

第四個(gè)紅框就是這地址，表示的是異常處理的代碼。

普通方法中的null check

我們?cè)谏厦娴钠胀ǚ椒ɡ锩婕由弦粋€(gè)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);
        }
    }
}

上面我們添加了一個(gè)list ！=null的判斷。

運(yùn)行看下結(jié)果：

相比較而言，我們可以看到，代碼其實(shí)沒有太多的變化，說明JIT在代碼優(yōu)化的過程中，將null check優(yōu)化掉了。

那么null check到底在什么地方呢？看我標(biāo)紅的第二個(gè)框，這里是之前的異常處理區(qū)域，我們可以看到里面有一個(gè)ifnull，表明這里做了null check。

反優(yōu)化的例子

上面的兩個(gè)例子，我們可以看出在virtual method中，JIT對(duì)null check進(jìn)行了優(yōu)化。接下來我們?cè)倏匆粋€(gè)例子，在這個(gè)例子中，我們顯示的傳遞一個(gè)null給testMethod，然后再次循環(huán)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的結(jié)果：