# Alexei Starovoitov Linux BPF の主要開発者の一人。2026 Linux Storage, Filesystem, Memory-Management, and BPF Summit の BPF トラックで、LLM とコーディングエージェントを前提に BPF の verifier、Rust 連携、ループ検証、開発ツールを改善する方向を提案した。(Source: [[@2026__LWN__BPF in the agentic era]]) ## 主な論点 - BPF の安全境界として verifier はカーネル内に残し、単純な誤りは Rust 側で早期検出する。 - verifier エラーは内部状態のダンプではなく、原因と修正方法を含む診断にする。 - BPF arena、実行時検査、widening などで verifier の表現力と開発時のフィードバックを改善する。 - bpftrace のような専用言語だけでなく、標準言語の構文と明示的な例を持つツールをエージェントから利用しやすくする。 これらは記事が報告した提案であり、すべてが Linux に実装済みであることを意味しない。(Source: [[@2026__LWN__BPF in the agentic era]]) ## 関連 - 概念: [[eBPF]] / [[BPF]] / [[BPF verifier]] / [[エージェント型コーディング]] - ソース: [[@2026__LWN__BPF in the agentic era]] / [[@2026__BPFConf2026__BPF in the Agentic Era (LSFMM 2026)]]