RSets
在實(shí)現(xiàn)部分垃圾收集(partial GC)時(shí),如分代(CMS+ParNew)、分區(qū)(G1),為了部分收集時(shí)不需要全堆掃描也可以確定目標(biāo)搜集區(qū)域的存活對(duì)象特石,引入Remembered Sets記錄從非收集部分到收集部分的指針集合(Points-In):
- 分代收集:堆內(nèi)存分為新生代和老年代,新生代可以單獨(dú)回收鳖链,RSets記錄從老年代到新生代的指針
- 分區(qū)收集:堆內(nèi)存分成多個(gè)區(qū)域姆蘸,CollectionSets決定哪些區(qū)域需要被回收,RSets記錄從其他區(qū)域到CSets區(qū)域中的指針
GC為保證低停頓時(shí)間芙委,實(shí)現(xiàn)了并行回收逞敷,GC線程與應(yīng)用線程并行,導(dǎo)致浮動(dòng)垃圾的問(wèn)題灌侣,所以部分垃圾收集可以保證所有死的對(duì)象都是死的推捐,但不能保證所有活的對(duì)象都是活的,這會(huì)導(dǎo)致內(nèi)存浪費(fèi)侧啼,是在時(shí)間和空間上的一種取舍牛柒。
G1回收流程
初始標(biāo)記:包括STW,遍歷根集合痊乾,將根集合直接引用的對(duì)象放入掃描棧(tracing stack)
并發(fā)標(biāo)記:無(wú)STW皮壁,不斷從掃描棧中取出對(duì)象,遍歷整個(gè)堆中對(duì)象圖符喝,標(biāo)記掃描到的對(duì)象并放入掃描棧,直至掃描棧為空甜孤,同時(shí)處理STAB logging write barrier中的對(duì)象引用
最終標(biāo)記:有STW协饲,繼續(xù)處理STAB write barrier中剩余的對(duì)象引用,同時(shí)處理軟引用(reference processing)
清理:有STW缴川,清點(diǎn)和重置掃描狀態(tài)茉稠,發(fā)現(xiàn)沒(méi)有存活對(duì)象的區(qū)域直接回收
evacuation:全程STW,確定CSets(決定了哪些區(qū)域?qū)⒈换厥眨┌芽洌瑢⒋婊顚?duì)象拷貝到新的區(qū)域而线,回收原區(qū)域
對(duì)G1,有兩個(gè)收集模式,youngGC和mixGC
youngGC:回收全部eden和survivor區(qū)域膀篮,通過(guò)控制下次eden和survivor的區(qū)域數(shù)來(lái)控制youngGC的停頓時(shí)間
mixGC:回收全部eden和survivor區(qū)域嘹狞,以及部分O區(qū)
注意兩個(gè)模式新生代都會(huì)被回收
G1沒(méi)有fullGC概念,需要fullGC時(shí)誓竿,調(diào)用serialOldGC進(jìn)行全堆掃描(包括eden磅网、survivor、o筷屡、perm)
一個(gè)假想的混合的STW時(shí)間線
- 啟動(dòng)程序
- -> young GC
- -> young GC
- -> young GC
- -> young GC + initial marking
- (... concurrent marking ...)
- -> young GC (... concurrent marking ...)
- (... concurrent marking ...)
- -> young GC (... concurrent marking ...)
- -> final marking
- -> cleanup
- -> mixed GC
- -> mixed GC
- -> mixed GC
- ...
- -> mixed GC
- -> young GC + initial marking
- (... concurrent marking ...)
初始標(biāo)記借用YGC的STW階段完成
YGC可以發(fā)生在并發(fā)標(biāo)記階段
最終標(biāo)記階段不能發(fā)生YGC涧偷,必須等待YGC結(jié)束才可以開始