Tracing Goroutines in Realtime with eBPF
> Source: Hacker_News
Execute Primary Source
[WARN: Partial Data] 本記事は2部構成のシリーズの第1部であり、bpftraceを用いたPoCの提示に留まっている。第2部でスタンドアロンなツールとしての実装が予定されている。
// Problem
goroutineはライフサイクルが極めて短いため、従来のログ出力ではミリ秒単位のイベント順序や詳細な状態遷移を正確に捕捉することが困難である。ランタイムの挙動を低負荷かつ詳細に可視化する手段が必要とされている。
// Approach
eBPFのuprobeを活用し、Goランタイムの特定の関数（casgstatusやメモリ割り当て関数）にフックをかける。bpftraceを用いてレジスタからgoroutine構造体や型情報をデコードし、IDや状態、メモリ詳細を抽出する。
// Result
bpftraceを用いたPoCにより、特定のGo実行ファイルにおいて、goroutineの生成、状態遷移、およびメモリ割り当ての詳細（サイズや型）をリアルタイムで観測することに成功した。
Senior Engineer Insight
> GoのABI（Application Binary Interface）を理解し、eBPFからレジスタ経由でランタイム内部の構造体に直接アクセスする手法は非常に強力である。特に、casgstatusをフックしてスケジューラの遷移を捕捉する戦略は合理的だ。uprobeはオーバーヘッドを伴うが、本稿のようにbpftraceで迅速にプロトタイプを作成し、次章でringbuffer等を用いた低負荷な実装へ移行するプロセスは、高度なオブザーバビリティ・ツール開発における理想的なアプローチである。