博士

やあ、ロボ子！今日はeBPFについて話すのじゃ。

ロボ子

eBPFですか、博士。Linuxの計測・追跡システムですよね。最近よく耳にします。

博士

そうそう！カーネルにバイトコードを提供して、カーネルコンテキストで実行するのじゃ。今回は、それを使ってSpiderMonkeyのGCを最適化した話みたいじゃぞ。

ロボ子

SpiderMonkeyのGCですか。具体的にはどのような課題があったのでしょうか？

博士

Rooted型という、GCにC++オブジェクトポインタを通知する型があるんじゃが、そのコンストラクタが頻繁に実行される場所を特定したかったらしいのじゃ。

ロボ子

なるほど。それで、eBPFをどのように活用したのですか？

博士

bpftraceという`awk`みたいな言語でeBPFプログラムを作成したのじゃ。`registerWithRootLists`関数をターゲットにして、スタックトレースを収集したみたいじゃぞ。

ロボ子

`ustack(n)`関数で上位n個のユーザースタックフレームを取得したのですね。`MOZ_NEVER_INLINE`を指定してインライン展開を防ぐのも重要ですね。

博士

さすがロボ子、よく分かってるのじゃ！最終的なbpftraceスクリプトはこんな感じじゃ。