[[425846]]

之前我們已經(jīng)了解過“運行時數(shù)據(jù)區(qū)”的程序計數(shù)器、虛擬機棧、本地方法棧和堆空間，今天我們就來了解一下最后一個模塊——方法區(qū)。

簡介

創(chuàng)建對象時內(nèi)存分配簡圖

《Java虛擬機規(guī)范》中明確說明：“盡管所有的方法區(qū)在邏輯上屬于堆的一部分，但一些簡單的實現(xiàn)可能不會選擇去進行垃圾收集或者進行壓縮。”

雖然 Java 虛擬機規(guī)范把方法區(qū)描述為堆的一個邏輯部分，但是它卻有一個別名叫做 Non-Heap(非堆)，目的應該是與 Java 堆區(qū)分開來。所以，方法區(qū)可以看作是一塊獨立于 Java 堆的內(nèi)存空間。

方法區(qū)與 Java 堆一樣，是各個線程共享的內(nèi)存區(qū)域。方法區(qū)在 JVM 啟動時就會被創(chuàng)建，并且它的實際的物理內(nèi)存空間是可以不連續(xù)的，關閉 JVM 就會釋放這個區(qū)域的內(nèi)存。

永久代、元空間

《java虛擬機規(guī)范》對如何實現(xiàn)方法區(qū)，不做統(tǒng)一要求。例如：BEA JRockit/IBM J9 中不存在永久代的概念。而對于 HotSpot 來說，在 jdk7 及以前，習慣上把方法區(qū)的實現(xiàn)稱為永久代，而從 jdk8 開始，使用元空間取代了永久代。

方法區(qū)是 Java 虛擬機規(guī)范中的概念，而永久代和元空間是 HotSpot 虛擬機對方法區(qū)的一種實現(xiàn)。通俗點講：如果把方法區(qū)比作接口的話，那永久代和元空間可以比作實現(xiàn)該接口的實現(xiàn)類。

直接內(nèi)存

永久代、元空間并不只是名字變了，內(nèi)部結(jié)構(gòu)也進行了調(diào)整。永久代使用的是 JVM 的內(nèi)存，而元空間使用的是本地的直接內(nèi)存。

直接內(nèi)存并不是 JVM 運行時數(shù)據(jù)區(qū)的一部分，因此不會受到 Java 堆的限制。但是它會受到本機總內(nèi)存大小以及處理器尋址空間的限制，所以如果這部分內(nèi)存也被頻繁的使用，依然會導致 OOM 錯誤的出現(xiàn)。

方法區(qū)的大小

方法區(qū)的大小是可以進行設置的，可以選擇固定大小也可以進行擴展。

jdk7 及以前

-XX:PermSize=N //方法區(qū) (永久代) 初始分配空間，默認值為 20.75M 
-XX:MaxPermSize=N //方法區(qū) (永久代) 最大可分配空間。32位機器默認是64M，64位機器默認是82M 

jdk8及以后

默認值依賴于平臺，windows下：

-XX:MetaspaceSize=N //方法區(qū) (元空間) 初始分配空間，如果未指定此標志，則元空間將根據(jù)運行時的應用程序需求動態(tài)地重新調(diào)整大小。 
-XX:MaxMetaspaceSize=N //方法區(qū) (元空間) 最大可分配空間，默認值為 -1，即沒有限制 

與永久代很大的不同就是，如果不指定大小的話，隨著更多類的創(chuàng)建，虛擬機會耗盡所有可用的系統(tǒng)內(nèi)存。

方法區(qū)的大小決定了系統(tǒng)可以保存多少個類，如果系統(tǒng)定義了太多的類，比如：加載大量的第三方 jar 包、Tomcat 部署的工程過多、大量動態(tài)生成反射類等都會導致方法區(qū)溢出，拋出內(nèi)存溢出錯誤。

• 永久代：OutOfMemoryError:PermGen space
• 元空間：OutOfMemoryError:Metaspace

至于如何解決 OOM 異常，將在以后的文章中講解!

jvisualvm

我們可以通過 JDK 自帶的 jvisualvm 工具來查看程序加載的類文件：

例

public class MethodAreaDemo1 { 
    public static void main(String[] args) { 
        System.out.println("start..."); 
        try { 
            Thread.sleep(1000000); 
        } catch (InterruptedException e) { 
            e.printStackTrace(); 
        } 
        System.out.println("end..."); 
    } 
} 

運行程序，可以看到一個簡單的程序就需要加載這么多的類文件。

高水位線

對于一個64位的服務器端 JVM 來說，XX：MetaspaceSize=21 就是初始的高水位線，一旦觸及這個水位線，F(xiàn)ull GC 將會被觸發(fā)并卸載沒用的類(即這些類對應的類加載器不再存活)，然后這個高水位線將會重置。

新的高水位線的值取決于 GC 后釋放了多少元空間：

• 如果釋放的空間不足，那么在不超過 MaxMetaspaceSize 時，適當提高該值;
• 如果釋放空間過多，則適當降低該值。

如果初始化的高水位線設置過低，高水位線調(diào)整情況會發(fā)生很多次。通過垃圾回收器的日志可以觀察到 Full GC 多次調(diào)用。為了避免頻繁地GC，建議將 -XX ：MetaspaceSize 設置為一個相對較高的值。

內(nèi)部結(jié)構(gòu)

《深入理解Java虛擬機》書中對方法區(qū)存儲內(nèi)容描述如下：它用于存儲已被虛擬機加載的類型信息、常量、靜態(tài)變量、即時編譯器編譯后的代碼緩存等。接下來我們就一起來看一下它的內(nèi)部結(jié)構(gòu)。

類型信息

對每個加載的類型( 類 class、接口 interface、枚舉 enum、注解 annotation)，JVM 必須在方法區(qū)中存儲以下類型信息：

這個類型的完整有效名稱(全名=包名.類名)

這個類型直接父類的完整有效名(對于 interface 或是 java. lang.Object ，都沒有父類)

這個類型的修飾符( public ， abstract， final 的某個子集)

這個類型直接接口的一個有序列表

域(Field)信息

1. JVM必須在方法區(qū)中保存類型的所有域(field，也稱為屬性)的相關信息以及域的聲明順序;
2. 域的相關信息包括：域名稱、 域類型、域修飾符(public， private，protected， static， final， volatile， transient 的某個子集)

方法(Method)信息

JVM 必須保存所有方法的以下信息，同域信息一樣包括聲明順序：

• 方法名稱
• 方法的返回類型(或void)
• 方法參數(shù)的數(shù)量和類型(按順序)
• 方法的修飾符(public， private， protected， static， final，synchronized， native ， abstract 的一個子集)
• 方法的字節(jié)碼(bytecodes)、操作數(shù)棧、局部變量表及大小( abstract 和 native 方法除外)
• 異常表( abstract 和 native 方法除外)每個異常處理的開始位置、結(jié)束位置、代碼處理在程序計數(shù)器中的偏移地址、被捕獲的異常類的常量池索引

non-final 的類變量

• 靜態(tài)變量和類關聯(lián)在一起，隨著類的加載而加載，他們成為類數(shù)據(jù)在邏輯上的一部分
• 類變量被類的所有實例所共享，即使沒有類實例你也可以訪問它。

我們可以通過例子來查看：

public class MethodAreaDemo2 { 
    public static void main(String[] args) { 
        Order order = null; 
        order.hello(); 
        System.out.println(order.count); 
    } 
} 
 
class Order { 
    public static int count = 1; 
    public static final int number = 2; 
 
    public static void hello() { 
        System.out.println("hello!"); 
    } 
} 

運行結(jié)果為：

hello! 
1 

可以打開 IDEA 的 Terminal 窗口，在 MethodAreaDemo2.class 所在的路徑下，輸入 javap -v -p MethodAreaDemo2.class 命令

通過圖片我們可以看出被聲明為 final 的類變量的處理方法是不一樣的，全局常量在編譯的時候就被分配了。

運行時常量池

說到運行時常量池，我們先來了解一下什么是常量池表。

常量池表

一個有效的字節(jié)碼文件中除了包含類的版本信息、字段、方法以及接口等描述信息外，還包含一項信息那就是常量池表(Constant Pool Table)，里邊存儲著數(shù)量值、字符串值、類引用、字段引用和方法引用。

為什么字節(jié)碼文件需要常量池?

java 源文件中的類、接口，編譯后會產(chǎn)生一個字節(jié)碼文件。而字節(jié)碼文件需要數(shù)據(jù)支持，通常這種數(shù)據(jù)會很大，以至于不能直接存放到字節(jié)碼中。換一種方式，可以將指向這些數(shù)據(jù)的符號引用存到字節(jié)碼文件的常量池中，這樣字節(jié)碼只需使用常量池就可以在運行時通過動態(tài)鏈接找到相應的數(shù)據(jù)并使用。

運行時常量池

運行時常量池( Runtime Constant Pool)是方法區(qū)的一部分，類加載器加載字節(jié)碼文件時，將常量池表加載進方法區(qū)的運行時常量池。運行時常量池中包含多種不同的常量，包括編譯期就已經(jīng)明確的數(shù)值字面量，也包括到運行期解析后才能夠獲得的方法或者字段引用。此時不再是常量池中的符號地址了，這里換為真實地址。

運行時常量池，相對于 Class 文件常量池的另一重要特征是：具備動態(tài)性，比如 String.intern()。

演進細節(jié)

針對的是 Hotspot 的虛擬機：

• jdk1.6 及之前：有永久代 ，靜態(tài)變量存放在永久代上;
• jdk1.7：有永久代，但已經(jīng)逐步“去永久代”，字符串常量池、靜態(tài)變量移除，保存在堆中;
• jdk1.8及之后：無永久代，類型信息、字段、方法、常量保存在本地內(nèi)存的元空間，但字符串常量池、靜態(tài)變量仍在堆中;

演變示例圖

為什么要將永久代替換為元空間呢?

永久代使用的是 JVM 的內(nèi)存，受 JVM 設置的內(nèi)存大小限制;元空間使用的是本地直接內(nèi)存，它的最大可分配空間是系統(tǒng)可用內(nèi)存的空間。因為元空間里存放的是類的元數(shù)據(jù)，所以隨著內(nèi)存空間的增大，能加載的類就更多了，相應的溢出的機率會大大減小。

在 JDK8，合并 HotSpot 和 JRockit 的代碼時，JRockit 從來沒有一個叫永久代的東西，合并之后就沒有必要額外的設置這么一個永久代的地方了。

對永久代進行調(diào)優(yōu)是很困難的。

StringTable 為什么要調(diào)整

因為永久代的回收效率很低，在 full gc 的時候才會觸發(fā)。而 full GC 是老年代的空間不足、永久代不足時才會觸發(fā)。這就導致了StringTable 回收效率不高。而我們開發(fā)中會有大量的字符串被創(chuàng)建，回收效率低，導致永久代內(nèi)存不足。放到堆里，能及時回收內(nèi)存。

垃圾回收

相對而言，垃圾收集行為在這個區(qū)域是比較少出現(xiàn)的，但并非數(shù)據(jù)進入方法區(qū)后就“永久存在”了。方法區(qū)的垃圾收集主要回收兩部分內(nèi)容：常量池中廢奔的常量和不再使用的類型。

方法區(qū)內(nèi)常量池中主要存放字面量和符號引用兩大類常量：

• 字面量比較接近 Java 語言層次的常量概念，如文本字符串、被聲明為 final 的常量值等。
• 符號引用則屬于編譯原理方面的概念，包括類和接口的全限定名、字段的名稱和描述符、方法的名稱和描述符。

HotSpot 虛擬機對常量池的回收策略是很明確的，只要常量池中的常量沒有被任何地方引用，就可以被回收。

類型判定

判定一個常量是否“廢棄”還是相對簡單，而要判定一個類型是否屬于“不再被使用的類”的條件就比較苛刻了。需要同時滿足下面三個條件：

• 該類所有的實例都已經(jīng)被回收，也就是 Java 堆中不存在該類及其任何派生子類的實例;
• 加載該類的類加載器已經(jīng)被回收，這個條件除非是經(jīng)過精心設計的可替換類加載器的場景，如OSGi、JSP的重加載等，否則通常是很難達成的;
• 該類對應的 java.lang.Class 對象沒有在任何地方被引用，無法在任何地方通過反射訪問該類的方法。

Java 虛擬機被允許對滿足上述三個條件的無用類進行回收，這里說的僅僅是“被允許”，而并不是和對象一樣，沒有引用了就必然會回收。

本文轉(zhuǎn)載自微信公眾號「阿Q說代碼」，可以通過以下二維碼關注。轉(zhuǎn)載本文請聯(lián)系阿Q說代碼公眾號。