java記憶體配置設定

本文主要通過分析java記憶體配置設定的棧、堆以以及常量池詳細的講解了其的工作原理。

一、java虛拟機記憶體原型

寄存器：我們在程式中無法控制棧：存放基本類型的資料和對象的引用，但對象本身不存放在棧中，而是存放在堆中堆：存放用new産生的資料靜态域：存放在對象中用static定義的靜态成員常量池：存放常量非ram存儲：硬碟等永久存儲空間。

二、常量池（constant pool）

常量池指的是在編譯期被确定，并被儲存在已編譯的。class檔案中的一些資料。除了包含代碼中所定義的各種基本類型（如int、long等等）和對象型（如string及數組）的常量值（final）還包含一些以文本形式出現的符号引用，比如：

1、類和接口的全限定名；

2、字段的名稱和描述符；

3、方法和名稱和描述符。

虛拟機必須為每個被裝載的類型維護一個常量池。常量池就是該類型所用到常量的一個有序集和，包括直接常量（string,integer和floating point常量）和對其他類型，字段和方法的符号引用。對于string常量，它的值是在常量池中的。而jvm中的常量池在記憶體當中是以表的形式存在的， 對于string類型，有一張固定長度的constant_string_info表用來存儲文字字元串值，注意：該表隻存儲文字字元串值，不存儲符号引 用。說到這裡，對常量池中的字元串值的存儲位置應該有一個比較明了的了解了。在程式執行的時候，常量池 會儲存在method area,而不是堆中。

三、java記憶體配置設定中的棧

棧的基本機關是幀（或棧幀）：每當一個java線程運作的時候， java虛拟機會為該線程配置設定一個java棧。該線程在執行某個java方法的時候， 向java棧壓入一個幀，這個幀用于存儲參數、局部變量、操作數、中間運算結果等。當這個方法執行完的時候，幀會從棧中彈出。java棧上的所有資料是私有的，其他線程都不能該線程的棧資料。在函數中定義的一些基本類型的變量資料和對象的引用變量都在函數的棧記憶體中配置設定。當在一段代碼塊定義一個變量時，java就在棧中 為這個變量配置設定記憶體空間，當該變量退出該作用域後，java會自動釋放掉為該變量所配置設定的記憶體空間，該記憶體空間可以立即被另作他用。

四、java記憶體配置設定中的堆

java虛拟機中的堆用來存放由new建立的對象和數組。 在堆中配置設定的記憶體，由java虛拟機的自動的垃圾回收機制來管理堆的記憶體。簡單的說和棧相對，堆主要是用來存放java對象的，棧主要是用來存放對象引用的…在堆中産生了一個數組或對象後，還可以 在棧中定義一個特殊的變量，讓棧中這個變量的取值等于數組或對象在堆記憶體中的首位址，棧中的這個變量就成了數組或對象的引用變量。 引用變量就相當于是 為數組或對象起的一個名稱，以後就可以在程式中使用棧中的引用變量來通路堆中的數組或對象。引用變量就相當于是為數組或者對象起的一個名稱。

引用變量是普通的變量，定義時在棧中配置設定，引用變量在程式運作到其作用域之外後被釋放。而數組和對象本身在堆中配置設定，即使程式運作到使用new 産生數組或者對象的語句所在的代碼塊之外，數組和對象本身占據的記憶體不會被釋放，數組和對象在沒有引用變量指向它的時候，才變為垃圾，不能在被使用，但仍 然占據記憶體空間不放，在随後的一個不确定的時間被垃圾回收器收走（釋放掉）。這也是java 比較占記憶體的原因。實際上，棧中的變量指向堆記憶體中的變量，這就是java中的指針！

java的堆是一個運作時資料區，類的（對象從中配置設定空間。這些對象通過new、newarray、anewarray和multianewarray等指令建立，它們不需要程式代碼來顯式的釋放。堆是由垃圾回收來負責的，堆的優勢是可以動态地配置設定記憶體 大小，生存期也不必事先告訴編譯器，因為它是在運作時動态配置設定記憶體的，java的垃圾收集器會自動收走這些不再使用的資料。但缺點是，由于要在運作時動态 配置設定記憶體，存取速度較慢。

棧的優勢是，存取速度比堆要快，僅次于寄存器，棧資料可以共享。但缺點是，存在棧中的資料大小與生存期必須是确定的，缺乏靈活性。棧中主要存放一些基本類型的變量資料（int, short, long, byte, float, double, boolean, char）和對象句柄（引用）。

棧有一個很重要的特殊性，就是存在棧中的資料可以共享。假設我們同時定義：

int a=3; int b=3; 編譯器先處理int a = 3;首先它會在棧中建立一個變量為a的引用，然後查找棧中是否有3這個值，如果沒找到，就将3存放進來，然後将a指向3.接着處理int b = 3;在建立完b的引用變量後，因為在棧中已經有3這個值，便将b直接指向3.這樣，就出現了a與b同時均指向3的情況。

這時，如果再令a=4;那麼編譯器會重新搜尋棧中是否有4值，如果沒有，則将4存放進來，并令a指向4;如果已經有了，則直接将a指向這個位址。是以a值的改變不會影響 到b的值。

要注意這種資料的共享與兩個對象的引用同時指向一個對象的這種共享是不同的，因為這種情況a的修改并不會影響到b, 它是由編譯器完成的，它有利于節省空間。而一個對象引用變量修改了這個對象的内部狀态，會影響到另一個對象引用變量。