圖1

方法區(qū)（Method Area）與Java堆一樣，是各個線程共享的內(nèi)存區(qū)域，它用于存儲已被虛擬機(jī)加載的類信息、常量、靜態(tài)變量、即時編譯器編譯后的代碼等數(shù)據(jù)。雖然Java虛擬機(jī)規(guī)范把方法區(qū)描述為堆的一個邏輯部分，但是它卻有一個別名叫做Non-Heap（非堆），目的應(yīng)該是與Java堆區(qū)分開來。

程序計(jì)數(shù)器（Program Counter Register）是一塊較小的內(nèi)存空間，它可以看作是當(dāng)前線程所執(zhí)行的字節(jié)碼的行號指示器。在虛擬機(jī)的概念模型里（僅是概念模型，各種虛擬機(jī)可能會通過一些更高效的方式去實(shí)現(xiàn)），字節(jié)碼解釋器工作時就是通過改變這個計(jì)數(shù)器的值來選取下一條需要執(zhí)行的字節(jié)碼指令，分支、循環(huán)、跳轉(zhuǎn)、異常處理、線程恢復(fù)等基礎(chǔ)功能都需要依賴這個計(jì)數(shù)器來完成。

Java虛擬機(jī)棧（Java Virtual Machine Stacks）也是線程私有的，它的生命周期與線程相同。虛擬機(jī)棧描述的是Java方法執(zhí)行的內(nèi)存模型：每個方法在執(zhí)行的同時都會創(chuàng)建一個棧幀（Stack Frame ）用于存儲局部變量表、操作數(shù)棧、動態(tài)鏈接、方法出口等信息。每一個方法從調(diào)用直至執(zhí)行完成的過程，就對應(yīng)著一個棧幀在虛擬機(jī)棧中入棧到出棧的過程。(局部變量表：局部變量表存放了編譯期可知的各種基本數(shù)據(jù)類型（boolean、byte、char、short、int、float、long、double）、對象引用（reference類型，它不等同于對象本身，可能是一個指向?qū)ο笃鹗嫉刂返囊弥羔?，也可能是指向一個代表對象的句柄或其他與此對象相關(guān)的位置）和returnAddress類型（指向了一條字節(jié)碼指令的地址）。)

本地方法棧（Native Method Stack）與虛擬機(jī)棧所發(fā)揮的作用是非常相似的，它們之間的區(qū)別不過是虛擬機(jī)棧為虛擬機(jī)執(zhí)行Java方法（也就是字節(jié)碼）服務(wù)，而本地方法棧則為虛擬機(jī)使用到的Native方法服務(wù)。在虛擬機(jī)規(guī)范中對本地方法棧中方法使用的語言、使用方式與數(shù)據(jù)結(jié)構(gòu)并沒有強(qiáng)制規(guī)定，因此具體的虛擬機(jī)可以自由實(shí)現(xiàn)它。甚至有的虛擬機(jī)（譬如Sun HotSpot虛擬機(jī)）直接就把本地方法棧和虛擬機(jī)棧合二為一。與虛擬機(jī)棧一樣，本地方法棧區(qū)域也會拋出StackOverflowError和OutOfMemoryError異常。（native method含義： 一個Native Method就是一個java調(diào)用非java代碼的接口。一個Native Method是這樣一個java的方法：該方法的實(shí)現(xiàn)由非java語言實(shí)現(xiàn)，比如C。這個特征并非java所特有，很多其它的編程語言都有這一機(jī)制，比如在C＋＋中，你可以用extern "C"告知C＋＋編譯器去調(diào)用一個C的函數(shù)。）

Java堆（Java Heap）是Java虛擬機(jī)所管理的內(nèi)存中最大的一塊。Java堆是被所有線程共享的一塊內(nèi)存區(qū)域，在虛擬機(jī)啟動時創(chuàng)建。此內(nèi)存區(qū)域的唯一目的就是存放對象實(shí)例，幾乎所有的對象實(shí)例都在
這里分配內(nèi)存。

2.垃圾收集算法
1.標(biāo)記-清除算法
最基礎(chǔ)的收集算法是“標(biāo)記-清除”（Mark-Sweep）算法，如同它的名字一樣，算法分為“標(biāo)記”和“清
除”兩個階段：首先標(biāo)記出所有需要回收的對象，在標(biāo)記完成后統(tǒng)一回收所有被標(biāo)記的對象，它的標(biāo)記過程其實(shí)在前一節(jié)講述對象標(biāo)記判定時已經(jīng)介紹過了。之所以說它是最基礎(chǔ)的收集算法，是因?yàn)楹罄m(xù)的收集算法都是基于這種思路并對其不足進(jìn)行改進(jìn)而得到的。它的主要不足有兩個：一個是效率問題，標(biāo)記和清除兩個過程的效率都不高；另一個是空間問題，標(biāo)記清除之后會產(chǎn)生大量不連續(xù)的內(nèi)存碎片，空間碎片太多可能會導(dǎo)致以后在程序運(yùn)行過程中需要分配較大對象時，無法找到足夠的連續(xù)內(nèi)存而不得不提前觸發(fā)另一次垃圾收集動作。標(biāo)記—清除算法的執(zhí)行過程如圖

圖2

2.復(fù)制算法
為了解決效率問題，一種稱為“復(fù)制”（Copying）的收集算法出現(xiàn)了，它將可用內(nèi)存按容量劃分為大小相等的兩塊，每次只使用其中的一塊。當(dāng)這一塊的內(nèi)存用完了，就將還存活著的對象復(fù)制到另外一塊上面，然后再把已使用過的內(nèi)存空間一次清理掉。這樣使得每次都是對整個半?yún)^(qū)進(jìn)行內(nèi)存回收，內(nèi)存分配時也就不用考慮內(nèi)存碎片等復(fù)雜情況，只要移動堆頂指針，按順序分配內(nèi)存即可，實(shí)現(xiàn)簡單，運(yùn)行高效。只是這種算法的代價是將內(nèi)存縮小為了原來的一半，未免太高了一點(diǎn)。復(fù)制算法的執(zhí)行過程如圖

圖3

3.標(biāo)記-整理算法
復(fù)制收集算法在對象存活率較高時就要進(jìn)行較多的復(fù)制操作，效率將會變低。更關(guān)鍵的是，如果不想浪費(fèi)50%的空間，就需要有額外的空間進(jìn)行分配擔(dān)保，以應(yīng)對被使用的內(nèi)存中所有對象都100%存活的極端情況，所以在老年代一般不能直接選用這種算法。根據(jù)老年代的特點(diǎn)，有人提出了另外一種“標(biāo)記-整理”（Mark-Compact）算法，標(biāo)記過程仍然與“標(biāo)記-清除”算法一樣，但后續(xù)步驟不是直接對可回收對象進(jìn)行清理，而是讓所有存活的對象都向一端移動，然后直接清理掉端邊界以外的內(nèi)存，“標(biāo)記-整理”算法的示意圖如圖

圖4

4.分代收集算法
當(dāng)前商業(yè)虛擬機(jī)的垃圾收集都采用“分代收集”（Generational Collection）算法，這種算法并沒有什么新
的思想，只是根據(jù)對象存活周期的不同將內(nèi)存劃分為幾塊。一般是把Java堆分為新生代和老年代，這樣就可以根據(jù)各個年代的特點(diǎn)采用最適當(dāng)?shù)氖占惴?。在新生代中，每次垃圾收集時都發(fā)現(xiàn)有大批對象死去，只有少量存活，那就選用復(fù)制算法，只需要付出少量存活對象的復(fù)制成本就可以完成收集。而老年代中因?yàn)閷ο蟠婊盥矢?、沒有額外空間對它進(jìn)行分配擔(dān)保，就必須使用“標(biāo)記—清理”或者“標(biāo)記—整理”算法來進(jìn)行回收。

Java堆用于存儲對象實(shí)例，只要不斷地創(chuàng)建對象，并且保證GC Roots到對象之間有可達(dá)路徑來避免垃圾回收機(jī)制清除這些對象，那么在對象數(shù)量到達(dá)最大堆的容量限制后就會產(chǎn)生內(nèi)存溢出異常。
public class HeapTest {
static class OOMObject {
}

public static void main(String[] args) {
    List<OOMObject> list = new ArrayList<OOMObject>();
    while (true) {
        list.add( new OOMObject());
    }
}

}
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
at java.util.Arrays.copyOf(Unknown Source)
at java.util.Arrays.copyOf(Unknown Source)
at java.util.ArrayList.ensureCapacity(Unknown Source)
at java.util.ArrayList.add(Unknown Source)
at org.myorg.algorithm.HeapTest.main( HeapTest.java:13)

Permgen Space:permenant genaration space 永久代區(qū)域

判斷對象是否存活的算法是這樣的：給對象中添加一個引用計(jì)數(shù)器，每當(dāng)有一個地方引用它時，計(jì)數(shù)器值就加1；當(dāng)引用失效時，計(jì)數(shù)器值就減1；任何時刻計(jì)數(shù)器為0的對象就是不可能再被使用的。