聲明:本文摘抄自《深入理解Java虛擬機(jī)》一書,本文完全為自我學(xué)習(xí)残揉,請(qǐng)感興趣的同學(xué)購(gòu)買正版奶赔,支持原創(chuàng)
判斷對(duì)象是否存活的算法包括:
- 引用計(jì)數(shù)算法
- 可達(dá)性分析算法
引用計(jì)數(shù)算法(Reference Counting)
給對(duì)象中添加一個(gè)引用計(jì)數(shù)器,每當(dāng)有一個(gè)地方引用它時(shí)镀赌,計(jì)數(shù)器加1音念;當(dāng)引用失效時(shí)沪饺,計(jì)數(shù)器值減1;任何時(shí)刻計(jì)數(shù)器為0的對(duì)象就是不能再被引用的闷愤。例如Object-C整葡,Python語(yǔ)音使用引用計(jì)數(shù)算法進(jìn)行內(nèi)存管理。Java虛擬機(jī)沒(méi)有選用引用計(jì)數(shù)器算法來(lái)管理內(nèi)存讥脐,其中最主要的原有是它很難解決對(duì)象之間相互循環(huán)引用的問(wèn)題遭居。
對(duì)象循環(huán)引用代碼示例:
public class ReferenceCountingGC {
public Object instance = null;
public static void testGC() {
ReferenceCountingGC objA = new ReferenceCountingGC();
ReferenceCountingGC objB = new ReferenceCountingGC();
objA.instance = objB;
objB.instance = objA;
objA = null;
objB = null;
// 假設(shè)在這行發(fā)生GC, objA 和 objB是否能被回收旬渠?
System.gc();
}
}
對(duì)象objA和objB都有字段instance俱萍,賦值令 objA.instance = objB及objB.instance = objA,除此之外告丢,這兩個(gè)對(duì)象再無(wú)任務(wù)引用枪蘑,實(shí)際上這兩個(gè)對(duì)象已經(jīng)不可能再被訪問(wèn),但是它們因?yàn)橄嗷ヒ弥鴮?duì)方岖免,導(dǎo)致它們的引用計(jì)數(shù)都不為0岳颇,于是引用計(jì)數(shù)算法無(wú)法通知GC收集器回收它們。
可達(dá)性分析算法(Reachability Analysis)
可達(dá)性分析算法的基本思路是通過(guò)一系列的稱為“GC Roots”的對(duì)象作為起始點(diǎn)觅捆,從這些節(jié)點(diǎn)開始向下搜索赦役,搜索所走過(guò)的路徑稱為引用鏈(Reference Chain)麻敌,當(dāng)一個(gè)對(duì)象到GC Root沒(méi)有任何引用鏈相連時(shí)栅炒,則證明此對(duì)象是不可用的。
生成還是死亡
即使在可達(dá)性分析算法中不可達(dá)的對(duì)象赢赊,也并非是“非死不可”的乙漓,這時(shí)候它們暫時(shí)處于“緩刑”階段,要真正宣告一個(gè)對(duì)象死亡释移,至少要經(jīng)歷兩次標(biāo)記過(guò)程:如果對(duì)象在進(jìn)行可達(dá)性分析后發(fā)現(xiàn)沒(méi)有與GC Roots相連接的引用叭披,那它將會(huì)被第一次標(biāo)記并且進(jìn)行一次篩選,篩選的條件是此對(duì)象是否是否有必要執(zhí)行finalize()方法玩讳。當(dāng)對(duì)象沒(méi)有覆蓋finalize()方法涩蜘,或者finalize()方法已經(jīng)被虛擬機(jī)調(diào)用過(guò),虛擬機(jī)將這兩種情況都視為“沒(méi)有必要執(zhí)行”熏纯。
??如果這個(gè)對(duì)象被判定為有必要執(zhí)行finalize()方法同诫,那么這個(gè)對(duì)象將會(huì)放置在一個(gè)叫做F-Queue的隊(duì)列之中。并在稍后由一個(gè)虛擬機(jī)自動(dòng)建立的樟澜,低優(yōu)先級(jí)的Finalizer線程去執(zhí)行它误窖。這里所謂“執(zhí)行”是指虛擬機(jī)會(huì)觸發(fā)這個(gè)方法,但并不承諾會(huì)等待它運(yùn)行結(jié)束秩贰,這樣做的原有是霹俺,如果有一個(gè)對(duì)象在finalize()方法中執(zhí)行緩慢,或者發(fā)生死循環(huán)毒费,將可能會(huì)導(dǎo)致F-Queue隊(duì)列中其他對(duì)象永久處于等待丙唧,甚至導(dǎo)致整個(gè)內(nèi)存回收系統(tǒng)崩潰。
??finalize()方法是對(duì)象逃脫死亡命運(yùn)的最后一次機(jī)會(huì)觅玻,稍后GC將對(duì)F-Queue中的對(duì)象進(jìn)行第二次小規(guī)模的標(biāo)記艇棕,如果對(duì)象這個(gè)時(shí)候,未被重新引用串塑,那它基本上就真的被回收了沼琉。
回收方法區(qū)
Java虛擬機(jī)規(guī)范中確實(shí)說(shuō)過(guò)可以不要求虛擬機(jī)在方法區(qū)中實(shí)現(xiàn)垃圾回收,而且在方法區(qū)中進(jìn)行垃圾回收的“性價(jià)比”一般比較低桩匪,方法區(qū)的垃圾收集主要回收兩部分內(nèi)容:廢棄的常量和無(wú)用的類打瘪。
廢棄的常量,以常量池中字面量的回收為例傻昙,假如一個(gè)字符串“abc”已經(jīng)進(jìn)入常量池中闺骚,但是當(dāng)前系統(tǒng)已經(jīng)沒(méi)有任何一個(gè)String對(duì)象叫做“abc”的,也沒(méi)有任何其他地方引用這個(gè)字面量妆档,這個(gè)“abc”常量就會(huì)被清理出常量池僻爽。
判斷一個(gè)無(wú)用的類需要同時(shí)滿足下面3個(gè)條件才能算是“無(wú)用的類”
- 該類的所有實(shí)例都已經(jīng)被回收
- 加載該類的ClassLoader已經(jīng)被回收
- 該類對(duì)應(yīng)的java.lang.Class對(duì)象已經(jīng)沒(méi)有任何地方被引用,無(wú)法在任何地方通過(guò)反射訪問(wèn)該類的方法贾惦。