本文轉載自：
http://jayfeng.com/2016/03/11/%E7%90%86%E8%A7%A3Java%E5%9E%83%E5%9C%BE%E5%9B%9E%E6%94%B6%E6%9C%BA%E5%88%B6/#more
看到傑風大神的這篇部落格，寫的真心好，用他的話說：講GC原理很簡單，但是把GC原理講的簡單就不簡單了。
Jvm(Java虛拟機)記憶體模型
從Jvm記憶體模型中入手對于了解GC會有很大的幫助，不過這裡隻需要了解一個大概，說多了反而混淆視線。
Jvm(Java虛拟機)主要管理兩種類型記憶體：堆和非堆。
堆是運作時資料區域，所有類執行個體和數組的記憶體均從此處配置設定。
非堆是JVM留給自己用的，包含方法區、JVM内部處理或優化所需的記憶體（如 JIT Compiler，Just-in-time Compiler，即時編譯後的代碼緩存）、每個類結構（如運作時常數池、字段和方法資料）以及方法和構造方法的代碼。
簡言之，Java程式記憶體主要（這裡強調主要二字）分兩部分，堆和非堆。大家一般new的對象和數組都是在堆中的，而GC主要回收的記憶體也是這塊堆記憶體。
配一張示意圖總結一下：
堆記憶體（Heap Memory）： 存放Java對象
非堆記憶體（Non-Heap Memory）： 存放類加載資訊和其它meta-data
其它（Other）： 存放JVM 自身代碼等
堆記憶體模型
既然重點是堆記憶體，我們就再看看堆的記憶體模型。
堆記憶體由垃圾回收器的自動記憶體管理系統回收。
堆記憶體分為兩大部分：新生代和老年代。比例為1：2。
老年代主要存放應用程式中生命周期長的存活對象。
新生代又分為三個部分：一個Eden區和兩個Survivor區，比例為8：1：1。
Eden區存放新生的對象。
Survivor存放每次垃圾回收後存活的對象。
看暈了吧，關注這幾個問題：
為什麼要分新生代和老年代？
新生代為什麼分一個Eden區和兩個Survivor區?
一個Eden區和兩個Survivor區的比例為什麼是8:1:1？
現在還不能解釋為什麼，但這幾個問題都是垃圾回收機制所采用的算法決定的。
是以問題轉化為，是何種算法？為什麼要采用此種算法？
可回收對象的判定
講算法之前，我們先要搞清楚一個問題，什麼樣的對象是垃圾（無用對象），需要被回收？
目前市面上有兩種算法用來判定一個對象是否為垃圾。
1. 引用計數算法
給對象中添加一個引用計數器，每當有一個地方引用它時，計數器值就加1；當引用失效時，計數器值就減1；任何時刻計數器為0的對象就是不可能再被使用的。
優點是簡單，高效，現在的objective-c用的就是這種算法。
缺點是很難處理循環引用，比如圖中互相引用的兩個對象則無法釋放。
這個缺點很緻命，有人可能會問，那objective-c不是用的好好的嗎？
我個人并沒有覺得objective-c好好的處理了這個循環引用問題，它其實是把這個問題抛給了開發者。
2. 可達性分析算法（根搜尋算法）
為了解決上面的循環引用問題，Java采用了一種新的算法：可達性分析算法。
從GC Roots（每種具體實作對GC Roots有不同的定義）作為起點，向下搜尋它們引用的對象，可以生成一棵引用樹，樹的節點視為可達對象，反之視為不可達。
OK，即使循環引用了，隻要沒有被GC Roots引用了依然會被回收，完美！
但是，這個GC Roots的定義就要考究了，Java語言定義了如下GC Roots對象：
虛拟機棧（幀棧中的本地變量表）中引用的對象。
方法區中靜态屬性引用的對象。
方法區中常量引用的對象。
本地方法棧中JNI引用的對象。
3.Stop The World
有了上面的垃圾對象的判定，我們還要考慮一個問題，請大家做好心裡準備，那就是Stop The World。
因為垃圾回收的時候，需要整個的引用狀态保持不變，否則判定是判定垃圾，等我稍後回收的時候它又被引用了，這就全亂套了。是以，GC的時候，其他所有的程式執行處于暫停狀态，卡住了。
幸運的是，這個卡頓是非常短（尤其是新生代），對程式的影響微乎其微 （關于其他GC比如并發GC之類的，在此不讨論）。
是以GC的卡頓問題由此而來，也是情有可原，暫時無可避免。
**
幾種垃圾回收算法
**
有了上面兩個大基礎，我們的GC才能開始。
那麼問題來了，已經知道哪些是垃圾對象了，怎麼回收呢？目前主流有以下幾種算法。
PS：大家可以先猜猜Java虛拟機（這裡預設指Hotspot）采用的是那種算法，…，答對了，是分代回收算法，現在是不是明白了前面堆記憶體為什麼要分新生代和老年代了吧。但是即使猜對了，也要看其他幾種算法哦，不然不要說我沒提醒你，你會直接看不懂分代回收算法的。
1. 标記清除算法 (Mark-Sweep)
标記-清除算法分為兩個階段：标記階段和清除階段。标記階段的任務是标記出所有需要被回收的對象，清除階段就是回收被标記的對象所占用的空間。
優點是簡單，容易實作。
缺點是容易産生記憶體碎片，碎片太多可能會導緻後續過程中需要為大對象配置設定空間時無法找到足夠的空間而提前觸發新的一次垃圾收集動作。
示意圖如下（不用我解說了吧）：
2. 複制算法 (Copying)
複制算法将可用記憶體按容量劃分為大小相等的兩塊，每次隻使用其中的一塊。當這一塊的記憶體用完了，就将還存活着的對象複制到另外一塊上面，然後再把已使用的記憶體空間一次清理掉，這樣一來就不容易出現記憶體碎片的問題。
優缺點就是，實作簡單，運作高效且不容易産生記憶體碎片，但是卻對記憶體空間的使用做出了高昂的代價，因為能夠使用的記憶體縮減到原來的一半。
從算法原理我們可以看出，Copying算法的效率跟存活對象的數目多少有很大的關系，如果存活對象很多，那麼Copying算法的效率将會大大降低。
示意圖如下（不用我解說了吧）：
3. 标記整理算法 (Mark-Compact)
該算法标記階段和Mark-Sweep一樣，但是在完成标記之後，它不是直接清理可回收對象，而是将存活對象都向一端移動，然後清理掉端邊界以外的記憶體。
是以，特别适用于存活對象多，回收對象少的情況下。
示意圖如下（不用我解說了吧）：
4. 分代回收算法
分代回收算法其實不算一種新的算法，而是根據複制算法和标記整理算法的的特點綜合而成。這種綜合是考慮到java的語言特性的。
這裡重複一下兩種老算法的适用場景：
複制算法：适用于存活對象很少。回收對象多
标記整理算法: 适用用于存活對象多，回收對象少
剛好互補！不同類型的對象生命周期決定了更适合采用哪種算法。
于是，我們根據對象存活的生命周期将記憶體劃分為若幹個不同的區域。一般情況下将堆區劃分為老年代（Old Generation）和新生代（Young Generation），老年代的特點是每次垃圾收集時隻有少量對象需要被回收，而新生代的特點是每次垃圾回收時都有大量的對象需要被回收，那麼就可以根據不同代的特點采取最适合的收集算法。
這就是分代回收算法。
現在回頭去看堆記憶體為什麼要劃分新生代和老年代，是不是覺得如此的清晰和自然了？
我們再說的細一點：
對于新生代采取Copying算法，因為新生代中每次垃圾回收都要回收大部分對象，也就是說需要複制的操作次數較少，采用Copying算法效率最高。但是，但是，但是，實際中并不是按照上面算法中說的1：1的比例來劃分新生代的空間的，而是将新生代劃分為一塊較大的Eden空間和兩塊較小的Survivor空間，比例為8：1：1.。為什麼？下一節深入分析。
由于老年代的特點是每次回收都隻回收少量對象，一般使用的是Mark-Compact算法。
**
深入了解分代回收算法
**
對于這個算法，我相信很多人還是有疑問的，我們來各個擊破，說清楚了就很簡單。
為什麼不是一塊Survivor空間而是兩塊？
這裡涉及到一個新生代和老年代的存活周期的問題，比如一個對象在新生代經曆15次（僅供參考）GC，就可以移到老年代了。問題來了，當我們第一次GC的時候，我們可以把Eden區的存活對象放到Survivor A空間，但是第二次GC的時候，Survivor A空間的存活對象也需要再次用Copying算法，放到Survivor B空間上，而把剛剛的Survivor A空間和Eden空間清除。第三次GC時，又把Survivor B空間的存活對象複制到Survivor A空間，如此反複。
是以，這裡就需要兩塊Survivor空間來回倒騰。
為什麼Eden空間這麼大而Survivor空間要分的少一點？
新建立的對象都是放在Eden空間，這是很頻繁的，尤其是大量的局部變量産生的臨時對象，這些對象絕大部分都應該馬上被回收，能存活下來被轉移到survivor空間的往往不多。是以，設定較大的Eden空間和較小的Survivor空間是合理的，大大提高了記憶體的使用率，緩解了Copying算法的缺點。
我看8：1：1就挺好的，當然這個比例是可以調整的，包括上面的新生代和老年代的1：2的比例也是可以調整的。
新的問題又來了，從Eden空間往Survivor空間轉移的時候Survivor空間不夠了怎麼辦？直接放到老年代去。
Eden空間和兩塊Survivor空間的工作流程
這裡本來簡單的Copying算法被劃分為三部分後很多朋友一時了解不了，也确實不好描述，下面我來示範一下Eden空間和兩塊Survivor空間的工作流程。
現在假定有新生代Eden，Survivor A， Survivor B三塊空間和老生代Old一塊空間。
從這段流程中，我相信大家應該有了一個清晰的認識了，當然為了說明原理，這隻是最簡化版本。
**
觸發GC的類型
**
了解這些是為了解決實際問題，Java虛拟機會把每次觸發GC的資訊列印出來來幫助我們分析問題，是以掌握觸發GC的類型是分析日志的基礎。
GC_FOR_MALLOC: 表示是在堆上配置設定對象時記憶體不足觸發的GC。
GC_CONCURRENT: 當我們應用程式的堆記憶體達到一定量，或者可以了解為快要滿的時候，系統會自動觸發GC操作來釋放記憶體。
GC_EXPLICIT: 表示是應用程式調用System.gc、VMRuntime.gc接口或者收到SIGUSR1信号時觸發的GC。
GC_BEFORE_OOM: 表示是在準備抛OOM異常之前進行的最後努力而觸發的GC。
**
小結
**
了解Java虛拟機GC原理，應該對于Dalvik虛拟機和Art虛拟機的GC原理有很大幫助，至于這三者的GC有什麼差別，隻能一步一步來了。
而知曉這些知識，我相信在做Android GC優化的時候一定會用的上。
本期節目就到這裡，感謝大家的收看，下期再見~