eBPF

Linuxカーネルを書き換えずに、カーネルの中で小さなプログラムを安全に動かす仕組み。

• 読み込む前にverifier（検証器）が「無限ループしない」「不正なメモリを触らない」を確認する
• 用途: 監視（bpftrace）、ネットワーク（Cilium）、セキュリティ（Falco）