sync/v2 プロポーザルの 背景と sync.Pool について

DMM.go #10 での登壇資料です

- https://dmm.connpass.com/event/346087/

Transcript

1. © DMM © DMM CONFIDENTIAL sync/v2 プロポーザルの 背景と sync.Pool について DMM.go #10 24新卒 松本響輝(matumoto) 2025-05-15
2. © DMM 2 松本 響輝 (matumoto) • 合同会社DMM.com 開発統括本部マーケティングテクノロジー 部開発チーム • Goがちょっと好きな24新卒です • X: @matumoto_1234
3. © DMM 発表の目的 • sync/v2 についてちょっと詳しくなる • 今後注目される機能に目を向ける足がかりになれれば！ • 追加される機能の背景や議論を知ってもっとGoを好きに！ • Approveされていない のであくまで参考程度に 3
4. © DMM 目次 • v2のプロポーザル一覧 • syncパッケージ(v1)のおさらい • インターフェースのメモリ割り当てについて • sync/v2パッケージのプロポーザル • ジェネリクス対応とv2 • まとめ 4
5. © DMM CONFIDENTAL v2のプロポーザル一覧
6. © DMM 6 label:v2 かつ label:Proposal なものは32件もある
7. © DMM 7 今回、sync/v2 について紹介
8. © DMM CONFIDENTAL そのまえに
9. © DMM CONFIDENTAL syncパッケージ (v1)のおさらい
10. © DMM Go1.24までの sync パッケージの機能 • 代表的なもの ◦ sync.Pool ◦ sync.Map ◦ sync.WaitGroup ◦ sync.Mutex ◦ … 10
11. © DMM それぞれの概要 • 代表的なもの ◦ sync.Pool → スレッドセーフなキャッシュ(GCの負荷を軽減) ◦ sync.Map → スレッドセーフなmap ◦ sync.WaitGroup → goroutine の待機に ◦ sync.Mutex → 排他制御に ◦ … 11
12. © DMM 今回 sync.Pool と sync.Map に注目 • 代表的なもの ◦ sync.Pool → スレッドセーフなキャッシュ(GCの負荷を軽減) ◦ sync.Map → スレッドセーフなmap ◦ sync.WaitGroup → goroutine の待機に ◦ sync.Mutex → 排他制御に ◦ … 12
13. © DMM sync.Pool 型 13
14. © DMM sync.Pool 型 14 any を返す関数を渡す
15. © DMM sync.Map 型 15
16. © DMM sync.Map 型 16
17. © DMM sync.Map 型 17 メソッドでは基本 any を扱う
18. © DMM any で扱うことのなにが問題か？ 18 • メモリ割り当てが行われる • 返り値の型アサーションがめんどう
19. © DMM any で扱うことのなにが問題か？ 19 • メモリ割り当てが行われる • 返り値の型アサーションがめんどう
20. © DMM any で扱うことのなにが問題か？ 20 • メモリ割り当てが行われる • 返り値の型アサーションがめんどう sync(v1) では any で扱ってしまっている ...
21. © DMM any で扱うことのなにが問題か？ 21 • メモリ割り当てが行われる • 返り値の型アサーションがめんどう sync(v1) では any で扱ってしまっている ... インターフェースを介さないジェネリクスで扱い たい！
22. © DMM CONFIDENTAL インターフェースを 介したくない理由って ...？🤔
23. © DMM CONFIDENTAL インターフェースの メモリ割り当てについて
24. © DMM インターフェースのメモリ割り当て（雑） 24 • インターフェースは「型」と「値」を持っている • 「型」はメソッド情報へのポインタ • 「値」は実際のデータへのポインタ （他の言語でのボックス化に近い概念かもしれません）
25. © DMM インターフェースのメモリ割り当て（雑） 25 String() メソッドを持つ構造体 A
26. © DMM インターフェースのメモリ割り当て（雑） 26 fmt.Stringer として新しく変数を作る
27. © DMM インターフェースのメモリ割り当て（雑） 27 s := fmt.Stringer(a) 型へのポインタ 値へのポインタ a.str などの値 fmt.Stringer a.String()
28. © DMM インターフェースのメモリ割り当て（雑） 28 s := fmt.Stringer(a) 型へのポインタ 値へのポインタ a.str などの値 fmt.Stringer 値へのポインタはヒー プ領域に確保 a.String()
29. © DMM インターフェースのメモリ割り当て（雑） 29 s := fmt.Stringer(a) 型へのポインタ 値へのポインタ a.str などの値 a.String() 値へのポインタはヒー プ領域に確保 ポインタ分のヒープ領域への 割り当てが発生する！
30. © DMM インターフェースのメモリ割り当て（雑） 30 s := fmt.Stringer(a) 型へのポインタ 値へのポインタ a.str などの値 a.String() 値へのポインタはヒー プ領域に確保 最適化で割り当てが 発生しない場合もあります
31. © DMM 最適化. 割り当てが発生しないこともある 31 ※ ワードサイズ: 32bit や 64bit などのCPUの処理単位
32. © DMM 最適化. 割り当てが発生しないこともある 32 i := any(v) 型へのポインタ 値へのポインタ 100 any
33. © DMM 最適化. 割り当てが発生しないこともある 33 i := any(v) 型へのポインタ 値へのポインタ 100 any 値をここに入れた方が 効率的！
34. © DMM 最適化. 割り当てが発生しないこともある 34 i := any(v) 型へのポインタ 100 any ポインタのヒープ 割り当てがなくなる
35. © DMM つまり..? 35 • インターフェースを介すと、メモリ割り当てが発生！ ◦ （大体のケースで） • １回は小さくても頻繁に行われるなら大きく響くかも..?
36. © DMM CONFIDENTAL sync.Pool, sync.Map に話をもどして ...
37. © DMM any で扱うことのなにが問題か？（再掲） 37 • メモリ割り当てが行われる • 返り値の型アサーションがめんどう
38. © DMM any で扱うことのなにが問題か？（再掲） 38 • メモリ割り当てが行われる • 返り値の型アサーションがめんどう sync(v1) では any で扱ってしまっている ... インターフェースを介さないジェネリクスで扱い たい！
39. © DMM CONFIDENTAL sync/v2 パッケージのプロポーザル
40. © DMM 提案の概要 • sync.Pool, sync.Map をジェネリクス対応 • （sync.NewPool() があるのでただの移行ではないが、主題はジェネリク ス） • それ以外は据え置き 40
41. © DMM sync.Pool のジェネリクス対応 41
42. © DMM sync.Map のジェネリクス対応 42
43. © DMM 提案の内容（再掲） • sync.Pool, sync.Map をジェネリクス対応 • （sync.NewPool() があるのでただの移行ではないが、主題はジェネリク ス） • それ以外は据え置き 43
44. © DMM 提案の内容（再掲） • sync.Pool, sync.Map をジェネリクス対応 • （sync.NewPool() があるのでただの移行ではないが、主題はジェネリク ス） • それ以外は据え置き 44 ジェネリクス対応のためだけに v2 にするのか という意見もある
45. © DMM 議論の一部要約 45 ジェネリクス対応のためだけに v2にするべきか？ 今後 sync/v3, net/http/v10, … のように 乱立してしまうのでは？ ジェネリクスほどの大きな変更で はじめて sync/v3 になるので乱立しない
46. © DMM CONFIDENTAL ジェネリクス対応と v2
47. © DMM ジェネリクス対応とv2 • 2021年頃から sync/v2 とは別で議論がされている 47
48. © DMM 検討案 48 2. XxxOf 接尾辞 3. 型パラメータ デフォルト値 1. v2パッケージ をつくる
49. © DMM 案1. v2パッケージをつくる • まさしく sync/v2 のようにバージョンを分ける 49
50. © DMM 案1. v2パッケージをつくる • まさしく sync/v2 のようにバージョンを分ける 50 sync/v3, net/http/v10, ... のように乱立しそう
51. © DMM 案2. XxxOf 接尾辞 • PoolOf[T], MinOf[T] • XxxOf でジェネリクスとする • 元々ジェネリクスなものはそのまま Tree[K, V] 51
52. © DMM 案2. XxxOf 接尾辞 • PoolOf[T], MinOf[T] • XxxOf でジェネリクスとする • 元々ジェネリクスなものはそのまま Tree[K, V] 52 混乱しやすい
53. © DMM 案3. 型パラメータにデフォルト値 • ジェネリクス構文を拡張して互換性を保つ 53
54. © DMM 案3. 型パラメータにデフォルト値 • ジェネリクス構文を拡張して互換性を保つ 54 直感的でない
55. © DMM ジェネリクス対応とv2 • 結論は出ず... • sync/v2 パッケージでも同様の議論が生まれている • 差別化のために x/sync の Cond をいれてみてはという意 見も 55
56. © DMM CONFIDENTAL 感想とまとめ
57. © DMM 感想とまとめ • いろんな v2 パッケージのプロポーザルがある！ • sync.Pool と sync.Map がジェネリクス対応するかも？ • sync/v2 は今後のジェネリクス対応にも関わってきそうなので期 待 57
58. © DMM 参考 • https://github.com/golang/go/issues/71076 • https://research.swtch.com/interfaces • https://github.com/dominikh/go-tools/issues/302 • https://go-review.googlesource.com/c/go/+/24371?tab=comments • メモリアドレス - Wikipedia 58
59. © DMM ご清聴ありがとうございました！