JVM內存逃逸原理是什么

本篇內容主要講解“JVM內存逃逸原理是什么”，感興趣的朋友不妨來看看。本文介紹的方法操作簡單快捷，實用性強。下面就讓小編來帶大家學習“JVM內存逃逸原理是什么”吧!

前提概要

JVM的內存分配主要在是運行時數據區(Runtime Data Areas)，而運行時數據區又分為了：方法區，堆區，PC寄存器，Java虛擬機棧(就是棧區，官方文檔還是叫Java虛擬機棧)，本地方法區，內存逃逸主要是對象的動態作用域的改變而引起的，故而內存逃逸的分析就是分析對象的動態作用域。

方法逃逸

• 什么是方法逃逸呢？舉個栗子，在一個方法中定義一個對象后(方法內局部的)，這個對象被外部方法引用，比如作為返回值返回傳遞到其他的地方，當這個方法執行結束要進行GC時，這個方法中的對象本應該被回收，卻發現該對象還是存活狀態沒法回收，就稱為方法逃逸：

上代碼

public static StringBuffer getStringBuffer(String str1,String str2) {
    StringBuffer stringBuffer = new StringBuffer();
    stringBuffer.append(str1);
    stringBuffer.append(str2);
    return stringBuffer;
}

上面的代碼中的stringBuffer雖然是方法內的局部變量，因為stringBuffer被當作返回值返回，這樣stringBuffer可能被其他的方法所改變，作用域就不僅僅在本方法內啦，這樣就是逃逸到了方法外部。對的，就是越獄了。

• 怎么樣才能不讓stringBuffer逃出方法呢？那么不直接返回stringBuffer對象不就可以了嘛！如下面的代碼：

public static StringBuffer getStringBuffer(String str1,String str2) {
    StringBuffer stringBuffer = new StringBuffer();
    stringBuffer.append(str1);
    stringBuffer.append(str2);
    return stringBuffer.toString();
}

• 線程逃逸：上面的例子，直接將對象返回，該對象可能被外部線程訪問，如：賦值給類變量等，稱為線程逃逸。

總的來說就是一個對象的指針被多個方法或者線程引用時，我們就稱這個對象的指針發生了逃逸。

優化：即證明一個對象不會逃逸到方法或線程外。

棧上分配：

在堆空間上進行內存分配，GC在堆空間上篩選可回收的對象，回收對象，整理內存都需要浪費時間，若能通過逃逸分析確定某些對象是一定不會逃逸出方法之外的，就可以直接讓這個對象在棧上分配內存，該對象隨方法的執行結束棧幀出棧而銷毀，減輕了GC的壓力。

同步消除：

線程同步本身比較耗時，若確定了一個變量不會逃逸出線程，無法被其他線程訪問到，那這個變量的讀寫就不會存在競爭，這個變量的同步措施就可以清除掉。

標量替換：

• 標量：Java中的原始數據類型(int，char，long等)都不能再進一步分解，他們就可以稱為標量。

• 聚合量：若一個數據可以繼續分解，那就稱之為聚合量，而對象就是典型的聚合量。

若逃逸分析證明一個對象不會逃逸出方法，不會被外部訪問，并且這個對象是可以被分解的，那程序在真正執行的時候可能不創建這個對象，而是直接創建這個對象分解后的標量來代替。這樣就無需在對對象分配空間了，只在棧上為分解出的變量分配內存即可。

All in all：

逃逸分析是比較耗時的，所以性能未必提升很多，因為其耗時性，采用的算法都是不那么準確但是時間壓力相對較小的算法來完成的，這就可能導致效果不穩定，要慎用。

由于HotSpot虛擬機目前的實現方法導致棧上分配實現起來比較復雜，所以HotSpot虛擬機中暫時還沒有這項優化。OSR暫時未在Hotspot上執行實現。

相關的JVM參數：

-XX:+DoEscapeAnalysis 開啟逃逸分析、 -XX:+PrintEscapeAnalysis 開啟逃逸分析后，可通過此參數查看分析結果。

-XX:+EliminateAllocations 開啟標量替換 -XX:+EliminateLocks 開啟同步消除 -XX:+PrintEliminateAllocations 開啟標量替換后，查看標量替換情況。

到此，相信大家對“JVM內存逃逸原理是什么”有了更深的了解，不妨來實際操作一番吧！這里是億速云網站，更多相關內容可以進入相關頻道進行查詢，關注我們，繼續學習！