Kunai: Toward a Verifier-Safe Layered DSL for Nested Encapsulation Packet Filtering on eBPF
eBPF’26 で登壇発表をしました。
高速なトラヒックをパケットキャプチャするには、処理対象を必要なパケットだけに絞り込む必要があります。
しかし既存のフィルタは表現力と語彙が乏しく、絞り込みたい条件を書き表せないことがあります。
そこで本論文では、高度なフィルタリングを記述でき、語彙となるプロトコルを追加できる DSL を提案しました。