Green Tea GCの動作を紙芝居にしてみる

Transcript

1. Green Tea GC の動作を紙芝居にしてみる 2025-08-31 Kyoto.go #63 オフラインLT会
2. ⾃⼰紹介 • 名前: uji • 神⼾市在住 • NOT A HOTEL 所属 • Gopher 7年⽣ • KOBE.go, Kyoto.go 運営 https://twitter.com/uji_rb
3. Kyoto.go KOBE.go
4. メモリ上のごみを⾒つけて回収し、 再利⽤できるようにしてくれる仕組み 開発者が⼿動メモリ管理からの解放され、 より本質的なプログラミングに集中できる • 使われなくなったメモリ領域の解放 • メモリリークや脆弱性などのリスク低減 そもそもGCって何？
5. 既存のGCの動作
6. 1. Mark 2. Mark termination 3. Sweep 4. Sweep termination terminationの際、アプリケーションは停⽌ GCの動作の流れ https://github.com/golang/go/blob/master/src/runtime/mgc.go
7. Mark
8. Mark
9. Mark 灰⾊は探索の再開位置のキューイング対象
10. Mark termination
11. Sweep
12. Sweep termination
13. 詳しくは… https://gocon.jp/2022spring/ja/sessions/a4-s/
14. • Go 1.25 に実験的に導⼊された新しいGCアルゴリズム • 「局所性」の問題を解決する⽬的で作られた ◦ 空間的局所性（メモリ内の全く異なる領域間を⾶び回る） ◦ 時間的局所性（同じメモリへの⾮効率的なアクセス） • 実⾏時間の平均85%がグラフ探索のスキャンループに消費 その35%以上は、メモリからのデータが読み込みを待っている • spanと呼ばれる単位でスキャンとMarkを⾏う Green Tea GC とは？ https://github.com/golang/go/issues/73581
15. 「局所性」の問題 オブジェクトがメモリのどこにあるかを全く意識してない
16. Green Tea GCのスキャン Stack Heap 場所が近いオブジェクトをspanにまとめて、span単位でスキャンする
17. Green Tea GCのMark Stack Heap 代 表 到達したspanを灰⾊にする（キューイング） 最初に到達したオブジェクトは代表オブジェクト
18. Green Tea GCのMark Stack Heap 代 表 代 表
19. Green Tea GCのMark Stack Heap 代 表 代 表 代 表 代表オブジェクト以外にもアクセスされている場合 span内のオブジェクトを全てスキャン対象にする（ヒットフラグ👊が⽴つ）
20. Green Tea GCのMark Stack Heap 代 表 代 表 代 表 スキャンが終わったspanは黒に メモリ領域が近いオブジェクトを効率的にスキャンできる