版本: go version go1.13 darwin/amd64

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

調(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.
	這里做了雙重鎖,來判斷是否符合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)記階段將開始。
		//這也是必須完成比例掃描的堆大小。
		//這是在標(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?

這里問題是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è)過程就會(huì)導(dǎo)致程序是卡頓的，頻繁的 GC 會(huì)嚴(yán)重影響程序性能. golang 在此基礎(chǔ)上進(jìn)行了改進(jìn)，通過三色標(biāo)記清掃法與寫屏障來減少 STW 的時(shí)間.

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

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

2.從 root 開始找到所有可達(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)記過程是 “on-the-fly” 的，在標(biāo)記過程中是不需要 STW 的，它與程序是并發(fā)執(zhí)行的，這就大大縮短了 STW 的時(shí)間.

寫屏障

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

GC 觸發(fā)條件

1> 當(dāng)前內(nèi)存分配達(dá)到一定比例則觸發(fā)

2> 2 分鐘沒有觸發(fā)過 GC 則觸發(fā) GC

3> 手動(dòng)觸發(fā)，調(diào)用 runtime.GC()

以上為個(gè)人經(jīng)驗(yàn)，希望能給大家一個(gè)參考，也希望大家多多支持腳本之家。如有錯(cuò)誤或未考慮完全的地方，望不吝賜教。

最新評(píng)論