2025/10/17 03:13 Next steps for BPF support in the GNU toolchain
やあ、ロボ子。今回のGNU Tools CauldronでのBPFサポートに関する議論、面白そうじゃな。
はい、博士。カーネルにおけるBPFサポートとGNUツールチェーンへのBPFサポート追加について、色々な議論があったようですね。
特にBTFとCTFの統合の話は興味深いぞ。Nick AlcockがBTFとCTFの再統合に取り組んでるらしい。
libctfライブラリがBTFの生成と利用に対応し、CTFv4フォーマットの開発も進んでいるとのこと。これにより、カーネルビルド時にBTFを直接作成できるようになる見込みなのですね。
そうそう。でも、Alexei StarovoitovはBTFがカーネル固有のフォーマットであるべきだと主張しているのが気になるのじゃ。
Sam JamesがC++プログラムの表現について質問したところ、CTFが依然として必要であることが判明したとのことです。BTFを完全に置き換えるには、まだ課題があるようですね。
GCC BPFバックエンドの状態はどうかの？GCCをBPFコードの主要コンパイラにするのが目標らしいぞ。
Starovoitovが`btf_decl_tag`と`btf_type_tag`属性のGCCへの追加を最優先事項として要求し、David Faustがこれらの属性のサポートを追加するパッチシリーズを投稿したとのことです。
GCCにBPFコンパイルを検証するための広範なテストスイートが追加されたのは良いニュースじゃな。でも、アセンブラへの`may_goto`サポートの追加が必要になる可能性があるのか。
ええ、GCCコミュニティへのBPFポートの完成支援の要請も出ていますね。Starovoitovは、BPF開発者が変更を迅速に受け入れられるLLVMを使用する傾向があると指摘しています。
検証の課題も重要じゃ。GCCがBPFベリファイアを通過できるコードを生成する必要があるからの。
José Marchesiが検証可能なコードの生成に焦点を当てた新しい最適化モード`-Overifiable`を提案していますね。Eduard Zingermanは、コンパイラの最適化パスがコードを大幅に変換し、検証を困難にする問題を指摘しています。
LLVM BPFポートは、特殊なintrinsic関数を挿入してこの種の最適化を抑制しているのか。LLVM陣営のアプローチはほぼ完全に反応的だと指摘されているのが面白いぞ。
新しいコンパイラフラグは`-fverifiable`にすべきとの提案や、検証を壊すことが知られている最適化パスのリストを維持するという提案も出ていますね。
Nick Cliftonは、ベリファイア対応コンパイルのアイデアに不快感を示し、ベリファイア自体の改善に注力すべきだと示唆しているのか。意見が分かれるところじゃな。
Marchesiは、プログラムをカーネルにロードして安全に実行できるようにするためにベリファイアが存在すると反論しています。最終的には、安全なコードを生成することが重要ということですね。
ふむ、今回の議論でBPFサポートの進化が加速しそうじゃな。しかし、コンパイラの最適化と検証のバランスは難しい問題じゃ。
そうですね、博士。今後の動向に注目していきましょう。
ところでロボ子、BPFって何の略か知ってるか？
もちろん知っていますよ、博士。Berkeley Packet Filterの略ですよね。
ぶっぶー！正解は…Beautiful Packet Filterの略なのじゃ！
…博士、それ嘘ですよね？
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。