快捷導(dǎo)航

go:垃圾回收GC觸發(fā)條件詳解

更新時(shí)間：2021年04月24日 15:32:46 作者：Alex_z0897

這篇文章主要介紹了go:垃圾回收GC觸發(fā)條件詳解，具有很好的參考價(jià)值，希望對(duì)大家有所幫助。一起跟隨小編過(guò)來(lái)看看吧

版本: go version go1.13 darwin/amd64

在go源碼runtime目錄中找到gcTrigger結(jié)構(gòu)體,就能看出大致調(diào)用的位置

GC調(diào)用方式	所在位置	代碼
定時(shí)調(diào)用	runtime/proc.go:forcegchelper()	gcStart(gcTrigger{kind: gcTriggerTime, now: nanotime()})
分配內(nèi)存時(shí)調(diào)用	runtime/malloc.go:mallocgc()	gcTrigger{kind: gcTriggerHeap}
手動(dòng)調(diào)用	runtime/mgc.go:GC()	gcStart(gcTrigger{kind: gcTriggerCycle, n: n + 1})

調(diào)用入口有了,再進(jìn)入gcStart

func gcStart(trigger gcTrigger) {
	...省略
	for trigger.test() && sweepone() != ^uintptr(0) {
		sweep.nbgsweep++
	}
	// Perform GC initialization and the sweep termination
	// transition.
	semacquire(&work.startSema)
	// Re-check transition condition under transition lock.
	這里做了雙重鎖,來(lái)判斷是否符合GC條件
	if !trigger.test() {
		semrelease(&work.startSema)
		return
	}
	...省略
}
//是否需要觸發(fā)GC
func (t gcTrigger) test() bool {
	if !memstats.enablegc || panicking != 0 || gcphase != _GCoff {
		return false
	}
	switch t.kind {
	case gcTriggerHeap:
		//gc_trigger是觸發(fā)標(biāo)記的堆大小。當(dāng)heap_live≥gc_trigger時(shí)，標(biāo)記階段將開(kāi)始。
		//這也是必須完成比例掃描的堆大小。
		//這是在標(biāo)記終止期間根據(jù)下一個(gè)循環(huán)的觸發(fā)器的triggerRatio計(jì)算的
		return memstats.heap_live >= memstats.gc_trigger
		
	case gcTriggerTime:
		if gcpercent < 0 {
			return false
		}
		lastgc := int64(atomic.Load64(&memstats.last_gc_nanotime))
		// forcegcperiod = 默認(rèn)是2分鐘
		return lastgc != 0 && t.now-lastgc > forcegcperiod
	case gcTriggerCycle:
		// t.n > work.cycles, but accounting for wraparound.
		return int32(t.n-work.cycles) > 0
	}
	return true
}

后面的代碼就是正常的垃圾回收流程了,這里暫且不表,這里只關(guān)心gc的觸發(fā)場(chǎng)景

關(guān)于golang垃圾回收,內(nèi)存分配時(shí)何時(shí)會(huì)重新進(jìn)入GC?

這里問(wèn)題是gc的關(guān)鍵,比如當(dāng)前用了10M內(nèi)存,隨著程序運(yùn)行,使用內(nèi)存不是一個(gè)固定的值,在當(dāng)次GC標(biāo)記結(jié)束后,會(huì)更新下一次觸發(fā)gc的heap大小(gc_trigger),下次GC進(jìn)入之后會(huì)在上述的test()函數(shù)中會(huì)進(jìn)行heap大小的比較,如果符合條件就真正進(jìn)行GC

func gcSetTriggerRatio(nextTriggerRatio)

補(bǔ)充：go的垃圾回收機(jī)制（GC）

常用的垃圾回收算法

1.引用計(jì)數(shù)(reference counting):如Python

2.標(biāo)記-清掃(mark & sweep)：如golang

3.復(fù)制收集(copy and collection):目前許多商業(yè)虛擬機(jī)都采用這種垃圾回收算法

Golang 的三色標(biāo)記法

golang 的垃圾回收(GC)是基于標(biāo)記清掃算法，這種算法需要進(jìn)行 STW（stop the world)，這個(gè)過(guò)程就會(huì)導(dǎo)致程序是卡頓的，頻繁的 GC 會(huì)嚴(yán)重影響程序性能. golang 在此基礎(chǔ)上進(jìn)行了改進(jìn)，通過(guò)三色標(biāo)記清掃法與寫屏障來(lái)減少 STW 的時(shí)間.

三色標(biāo)記法的流程如下，它將對(duì)象通過(guò)白、灰、黑進(jìn)行標(biāo)記

1.所有對(duì)象最開(kāi)始都是白色.

2.從 root 開(kāi)始找到所有可達(dá)對(duì)象，標(biāo)記為灰色，放入待處理隊(duì)列。

3.歷灰色對(duì)象隊(duì)列，將其引用對(duì)象標(biāo)記為灰色放入待處理隊(duì)列，自身標(biāo)記為黑色。

4.循環(huán)步驟3直到灰色隊(duì)列為空為止，此時(shí)所有引用對(duì)象都被標(biāo)記為黑色，所有不可達(dá)的對(duì)象依然為白色，白色的就是需要進(jìn)行回收的對(duì)象。

三色標(biāo)記法相對(duì)于普通標(biāo)記清掃，減少了 STW 時(shí)間. 這主要得益于標(biāo)記過(guò)程是 “on-the-fly” 的，在標(biāo)記過(guò)程中是不需要 STW 的，它與程序是并發(fā)執(zhí)行的，這就大大縮短了 STW 的時(shí)間.

寫屏障

當(dāng)標(biāo)記和程序是并發(fā)執(zhí)行的，這就會(huì)造成一個(gè)問(wèn)題. 在標(biāo)記過(guò)程中，有新的引用產(chǎn)生，可能會(huì)導(dǎo)致誤清掃. 清掃開(kāi)始前，標(biāo)記為黑色的對(duì)象引用了一個(gè)新申請(qǐng)的對(duì)象，它肯定是白色的，而黑色對(duì)象不會(huì)被再次掃描，那么這個(gè)白色對(duì)象無(wú)法被掃描變成灰色、黑色，它就會(huì)最終被清掃，而實(shí)際它不應(yīng)該被清掃. 這就需要用到屏障技術(shù)，golang 采用了寫屏障，作用就是為了避免這類誤清掃問(wèn)題. 寫屏障即在內(nèi)存寫操作前，維護(hù)一個(gè)約束，從而確保清掃開(kāi)始前，黑色的對(duì)象不能引用白色對(duì)象.