前言
在java中树绩,存在大量的設(shè)計(jì)概念试幽,在概念中衍生出了很多理論基礎(chǔ)筝蚕,這類的學(xué)習(xí)對(duì)其他語(yǔ)言的深入理解有很大的幫助,因?yàn)楸旧韏ava就是一個(gè)很大的知識(shí)庫(kù)铺坞,于是起宽,在飛機(jī)上,抽空下載了《深入理解JAVA虛擬機(jī)》济榨,并學(xué)習(xí)了其中幾張坯沪,發(fā)現(xiàn)了很多知識(shí)點(diǎn)在之前學(xué)習(xí)Golang時(shí)常常是沒(méi)有提及的,也堅(jiān)定了后續(xù)繼續(xù)深入閱讀java書(shū)籍的目標(biāo)擒滑。
關(guān)于垃圾收集
垃圾收集主要還是針對(duì)堆內(nèi)存中的對(duì)象腐晾,因?yàn)樵跅V械膶?duì)象叉弦,是隨著線程的執(zhí)行,會(huì)自動(dòng)消逝藻糖,而堆中的對(duì)象淹冰,則是沒(méi)有維護(hù)上級(jí),對(duì)于C巨柒、C++來(lái)說(shuō)樱拴,需要開(kāi)發(fā)者自身通過(guò)free方法來(lái)釋放,也衍生出了內(nèi)存池的概念洋满,而在更多編程語(yǔ)言中晶乔,例如最初的lisp、近期的golang牺勾,為了開(kāi)發(fā)效率瘪弓,不再提倡手動(dòng)維護(hù)這類對(duì)象,而且交由應(yīng)用程序運(yùn)行時(shí)來(lái)管理對(duì)象的生命周期禽最,這樣也可以避免出現(xiàn)大量對(duì)象釋放后腺怯,導(dǎo)致進(jìn)程core的bug。
而在整體的垃圾收集算法中川无,核心還是呛占,如何判斷一個(gè)對(duì)象是否已死?最初的死亡定義是:當(dāng)一個(gè)對(duì)象不再有另一個(gè)對(duì)象引用時(shí)懦趋,便認(rèn)為其已死亡晾虑。這樣也就衍生出引用計(jì)數(shù)算法,這類算法在最初的PHP有實(shí)現(xiàn)仅叫,包括在redis中也是有簡(jiǎn)易的實(shí)現(xiàn)帜篇。該算法原理簡(jiǎn)單,效率高诫咱,對(duì)于簡(jiǎn)單場(chǎng)景是十分適用笙隙,但是該算法并解決不了最困難的問(wèn)題:循環(huán)引用。
所謂循環(huán)引用坎缭,就是2個(gè)對(duì)象互相引用竟痰,但是不在被其他對(duì)象引用,按理說(shuō)掏呼,這類孤島對(duì)象坏快,算是僵尸對(duì)象,有人引用憎夷,但是不會(huì)再被使用莽鸿,所以也應(yīng)該被當(dāng)做垃圾清理。而針對(duì)這類case拾给,也衍生出了可達(dá)性分析算法祥得,通過(guò)一個(gè)GC Roots的根對(duì)象來(lái)進(jìn)行廣度優(yōu)先搜索兔沃,最終判斷對(duì)象是否可達(dá)。這樣也就可以解決循環(huán)引用的問(wèn)題啃沪,而針對(duì)可達(dá)性分析算法粘拾,也衍生出各種各樣的實(shí)現(xiàn),其中也就包括golang的三色標(biāo)記创千、php的n色標(biāo)記缰雇、java的分代算法。
分代垃圾收集算法
分代收集的核心理論是建立2個(gè)假說(shuō):
1)弱分代假說(shuō)(Weak Generational Hypothesis):絕大多數(shù)對(duì)象都是朝生夕滅的追驴。
2)強(qiáng)分代假說(shuō)(Strong Generational Hypothesis):熬過(guò)越多次垃圾收集過(guò)程的對(duì)象就越難以消亡械哟。
因此,在java中殿雪,會(huì)分開(kāi)新生代和老年代2塊區(qū)域暇咆,針對(duì)新生代而言,大部分的對(duì)象都在垃圾收集時(shí)直接消亡丙曙,而剩余的對(duì)象逐步晉升為老年代中爸业。這樣就可以針對(duì)新生代和老年代進(jìn)行分別垃圾清理。但中間還存在一個(gè)問(wèn)題是當(dāng)一個(gè)新生代對(duì)象被老年代引用時(shí)亏镰,原本只需要在新生代做垃圾收集算法扯旷,卻必須要同時(shí)對(duì)老年代進(jìn)行,這樣完全沒(méi)有達(dá)到分代的效果索抓。于是钧忽,又引入了一個(gè)假說(shuō):
3)跨代引用假說(shuō)(Intergenerational Reference Hypothesis):跨代引用相對(duì)于同代引用來(lái)說(shuō)僅占極少數(shù)。
即存在互相引用的2個(gè)對(duì)象逼肯,最終肯定是同時(shí)生存耸黑、死亡,所以篮幢,應(yīng)該同時(shí)晉升為老年代大刊,這樣跨代的問(wèn)題便消失了。