Go 1.26 リリースパーティ goroutine leak profileについて The Go gopher was designed by Renee French 

もくじ ● goroutine leak profileとは ● goroutine leakの検出方法 ● goroutine leakを検出できないケース ● まとめ 

自己紹介 渋谷拓真 Go Conference メインオーガナイザー OSS ○ Kubernetes メンテナー ○ Argo CD メンテナー Kubernetes 2025 Contributor Award 3Dプリンターにハマってます 

goroutine leak profileとは 

goroutine leak profileとは Go 1.26で追加された新しい pprof profile ● CL#688335 ● ブロックされており復帰不可能な goroutineを検出する ● GCの到達可能性を利用する ● 1.26ではGOEXPERIMENTで、1.27からはデフォルトになる予定 

goroutine leak profileとは GOEXPERIMENT=goroutineleakprofile go build -o myapp ● net/http/pprof ● runtime/pprof goroutine 123 [chan send] (leaked): main.leaky.func1() /path/to/main.go:25 +0x1c created by main.leaky in goroutine 1 /path/to/main.go:24 +0x2c 

goroutine leakの検出方法 

goroutine leak profileの検出方法 内部でgoroutineleak profileがリクエストされた時にトリガーされる net/httpでもruntime/pprofでも(&Profile).WriteToが呼ばれる var goroutineLeakProfile = &Profile{ name: "goroutineleak", count: runtime_goroutineleakcount, write: writeGoroutineLeak, } 

writeGoroutineLeak リーク検出用の GCをトリガーする関数を呼ぶ runtime_goroutineLeakGC() //golinkename runtime_goroutineLeakGC runtime.goroutineLeakGC func runtime_goroutineLeakGC() 

runtime_goroutineLeakGC goroutineLeakを確認するチェックをつける func goroutineLeakGC() { work.goroutineLeak.pending.Store(true) for work.goroutineLeak.pending.Load() { GC() } } 

なぜGCに組み込むのか リーク検出は特定の goroutineを操作できない状態 ● GCは到達不可能なオブジェクトを削除する ● GCのマークを活用することで到達可能性を検出できる 

しかしそのまま使いまわせない Goは内部でallgsという変数から全ての goroutineに到達できてしまう ● waiting(*sudog)を使用してブロッキングかどうかは確認できてしまう ● ブロッキングでも参照できてしまいリークかどうかわからなくなる allgs → blocking g → sudog → c → blocking channel 

maybeTraceablePtrの導入 リーク検出時の GCでは追跡を行わないようにポインタを nilにする ● nilのため以降の GCで追跡対象に含めないようにする ● リーク検出後にマークして追跡対象に戻すため回収されてしまうリスクは 回避している 

gcPrepareMarkToots goroutine leakを検出する場合はソートして先頭実行可能・末尾ブロック中 に並べ替える if work.goroutineLeak.enabled { work.stackRoots, work.nMaybeRunnableStackRoots = allGsSnapshotSortedForGC() } else { work.stackRoots = allGsSnapshot() work.nMaybeRunnableStackRoots = len(work.stackRoots) } 

findGoroutineLeaks マーク完了後に Eventually Runnableでなければリークとみなす if findMaybeRunnableGoroutines() { return false } for i := work.nMaybeRunnableStackRoots; i < work.nStackRoots; i++ { gp := work.stackRoots[i] casgstatus(gp, _Gwaiting, _Gleaked) shadePrimitivesOnLeak(gp) } 

Eventually Runnableとは 実行可能な sudogのchannelがマークされている ● 実行可能な goroutineがアクセスできる ● リークを疑われていたがリークではないと考える 

Eventually Runnableとは 実行可能な sudogのchannelがマークされている ● 実行可能な goroutineがアクセスできる ● リークを疑われていたがリークではないと考える 

findGoroutineLeaks sharedPrimitivesOnLeakでリーク対象もマーキングして回収防止 if findMaybeRunnableGoroutines() { return false } for i := work.nMaybeRunnableStackRoots; i < work.nStackRoots; i++ { gp := work.stackRoots[i] casgstatus(gp, _Gwaiting, _Gleaked) shadePrimitivesOnLeak(gp) } 

goroutine leakを検出できないケース 

一部ケースは検出できない 銀の弾丸ではない ● グローバル変数に定義されている ● グローバルはマークされてしまう ○ Eventually Runnableと判定 var ch = make(chan int) func leaky() { go func() { ch <- 42 }() } 

一部ケースは検出できない 銀の弾丸ではない ● ローカル変数で使用されている ● fがforで実行されて runnable ○ Eventually Runnableと判定 ● forのなかでchのselectがあったら ○ waitingとなり検出される func leaky() { ch := make(chan int) go f(ch) go func() { ch <- 42 }() } func f(ch chan int) { for {} } 

まとめ 

まとめ ● Go1.26からgoroutine leakを検出できるようになった ● GCの持つ到達可能性の追跡を活用している ● uberのgoleakと併用して lekaを防止しよう！ 

ありがとうございました！ 

おしらせ