Berkeley Packet Filter

Berkeley Packet Filter（BPF）は、特定のコンピューターのオペレーティングシステム上で特にネットワークトラフィックの解析に必要なプログラムで使われる技術である。 BPFはデータリンク層へのrawインターフェイスを提供し、生のリンク層パケットの送信と受信を可能にする。 それに加えて、ネットワークインタフェース向けのドライバーがプロミスキャス・モードをサポートしている場合には、インターフェイスをそのモードに切り替えて、他のホスト向けのパケットも含むネットワーク上のすべてのパケットを受信できるようにすることができる。 BPFはパケットのフィルタリングをサポートしているため、ユーザー空間のプロセスは受信したいパケットを指定するフィルタープログラムを実装できる。たとえば、tcpdumpプロセスは、TCP接続を開始するパケットのみを受信する必要があることがある。BPFはプロセスが提供するフィルターを通過したパケットのみを返せるため、この機能を利用することで、オペレーティングシステムのカーネルからプロセスへの不要なパケットのコピーが回避され、パフォーマンスが大幅に向上する。 BPFは、インターフェイス全体ではなく、BPFのフィルタリングメカニズムだけを指す場合がある。LinuxやTru64 UNIXなどの一部のシステムは、BPFのrawインターフェイス以外にデータリンク層へのrawインターフェイスを提供するが、そのrawインターフェイスにはBPFのフィルタリングメカニズムを使用する。 また、eBPFはLinuxカーネル内で実行される拡張された（extended）BPFのJITの仮想マシンである。 BPFはほとんどのUnix系オペレーティングシステムで利用でき、eBPFにはLinuxおよびMicrosoft Windows向けのものがある。 BPFは、ネットワークインターフェイスにバインドできる疑似デバイスを提供する。疑似デバイスからの読み取りは、ネットワークインターフェイスで受信したパケットが保持されたバッファーの読み取りになり、疑似デバイスへの書き込みは、ネットワークインターフェイスへのパケットの挿入になる。 2007年、 Robert WatsonとChristian Peronは、FreeBSDオペレーティングシステムのBPF実装にゼロコピー・バッファ（英語版）拡張を追加した。これにより、デバイスドライバの割り込みハンドラーのカーネルパケットキャプチャが、要件を回避するためにユーザープロセスメモリに直接書き込むことができるようになった。これは、BPFデバイスを介して受信したすべてのパケットデータに対して2つのコピーが必要になるのを回避するためである。1つのコピーがユーザープロセスの受信パスに残るが、これにより、さまざまなBPFデバイスコンシューマーの独立性が維持され、完全なパケットデータをコピーするのではなく、ヘッダーをBPFバッファーにパッキングできるようになる。 BPFのフィルタリング機能は、BPF仮想マシン向けの機械語のインタープリターとして実装されている。BPF仮想マシンは32ビットのマシンであり、固定長の命令、1つのアキュムレータ、1つのインデックスレジスタを備えている。この言語で書かれたプログラムでは、パケットからのデータのフェッチ、パケットのデータに対する算術演算の実行、結果に対する定数・パケット内のデータ・結果内のテストビットとの比較を行い、その結果に基づいてパケットをacceptまたはrejectすることができる。 BPFは、しばしばロード（ld）とストア（str）命令を「オーバーロード」することで拡張される。 伝統的なUnix系のBPF実装はカーネル空間用に記述されているが、ユーザー空間で使用できる。この仕組みは、プリプロセッサの条件分岐を使用して実現されている。 一部のプロジェクトでは、オリジナルとは異なるBPF命令セットや実行手法を使用している。 FreeBSD、NetBSD、WinPcapなどの一部のプラットフォームでは、パフォーマンスを向上させるために、JITコンパイラを使用してBPF命令をネイティブコードに変換している。LinuxにはBPF JITコンパイラが含まれているが、デフォルトでは無効になっている。 同じ仮想マシン言語のカーネルモードのインタープリターは、Tru64 Unixなどの他のオペレーティングシステムの生のデータリンク層の内部や、Linuxカーネルのソケットフィルター、WinPcapやNpcapのパケットキャプチャの内部で使用される。 バージョン3.18以降のLinux カーネルには、extended BPF（eBPF）と呼ばれる10個の64ビットレジスタを備えたeBPFの仮想マシンが含まれている。eBPFプログラムをさまざまなTracepointにアタッチする用途など、ネットワーク以外の目的でも使用できる。 カーネルバージョン3.19以降では、eBPFフィルターはソケット（英語版）にアタッチすることができ、カーネルバージョン4.1以降は、ingressおよびegressネットワークデータパスのトラフィック制御（英語版）分類器にアタッチできる。元の古いバージョンは、遡及的にclassic BPF（cBPF）に名前が変更された。現在、LinuxカーネルはeBPFのみを実行しており、ロードされたcBPFのバイトコードは、プログラムの実行前にカーネル内で透過的にeBPF表現に変換されるようになっている。DoS攻撃を防ぐために、実行前にすべてのバイトコードが検証される。Linux 5.3までは、verifierはループの使用を禁止していた。 BPFのユーザーモードのインタープリターは、pcap APIのlibpcap/WinPcap/Npcapの各実装で提供されるため、特定のフィルタリングメカニズムに対するカーネルモードのサポートがないシステムでパケットをキャプチャする場合、パケットをユーザーモードでフィルタリングできる。ただし、pcap APIを使用するコードは両方のタイプのシステムで機能するが、ユーザーモードでフィルタリングが行われるシステムでは、フィルターで除外されるものを含むすべてのパケットがカーネルからユーザー空間にコピーされる。このインタープリターは、pcapを使用してキャプチャされたパケットを含むファイルを読み取るときにも使用できえる。 もう1つのユーザーモードインタープリターは、JITとeBPFをサポートするuBPFである。そのコードは、Linux 以外のシステムでeBPFサポートを提供するために再利用されている。Microsoftの「eBPF on Windows」は、uBPFとPREVAIL形式の検証ツールを基に構築されている。 オリジナルの論文は、1992年にローレンス・バークレー国立研究所に所属していたSteven McCanne（英語版）とヴァン・ジェイコブソンによって書かれた。 2003年8月、SCO Groupは、Linuxカーネルが所有するUnixコードを侵害していると公に主張した。プログラマーはすぐに、挙げられた例の1つがBerkeley Packet Filterであることに気付いた。実際にはSCOはBPFを所有したことない。SCOはその間違いを弁明することなく訴訟を続け、SCO・Linux論争を引き起こした。 Spectre攻撃により、LinuxカーネルのeBPF JITコンパイラを利用して、他のカーネルプロセスからデータを抽出し、ユーザー空間でそのデータを読み取れるようになる可能性がある。 データリンク層 ^ a b McCanne (1992年12月19日). “The BSD Packet Filter: A New Architecture for User-level Packet Capture”. 2022年5月14日閲覧。 ^ “Microsoft embraces Linux kernel's eBPF super-tool, extends it for Windows”. The Register (2011年5月11日). 2022年5月14日閲覧。 ^ “bpf(4) Berkeley Packet Filter”. FreeBSD (2010年6月15日). 2022年5月14日閲覧。 ^ Watson (2007年3月9日). “Zero-Copy BPF”. 2022年5月14日閲覧。 ^ “Linux kernel 3.18, Section 1.3. bpf() syscall for eBFP virtual machine programs”. kernelnewbies.org (December 7, 2014). September 6, 2019閲覧。 ^ Jonathan Corbet (September 24, 2014). “The BPF system call API, version 14”. LWN.net. January 19, 2015閲覧。 ^ Jonathan Corbet (July 2, 2014). “Extending extended BPF”. LWN.net. January 19, 2015閲覧。 ^ “Linux kernel 3.19, Section 11. Networking”. kernelnewbies.org (February 8, 2015). February 13, 2015閲覧。 ^ Jonathan Corbet (December 10, 2014). “Attaching eBPF programs to sockets”. LWN.net. February 13, 2015閲覧。 ^ “Linux kernel 4.1, Section 11. Networking”. kernelnewbies.org (June 21, 2015). October 17, 2015閲覧。 ^ “BPF and XDP Reference Guide”. cilium.readthedocs.io (April 24, 2017). April 23, 2018閲覧。 ^ “BPF and XDP Reference Guide — Cilium 1.6.5 documentation”. docs.cilium.io. 2019年12月18日閲覧。 ^ “generic-ebpf/generic-ebpf” (英語). GitHub. 2022年5月14日閲覧。 ^ “microsoft/ebpf-for-windows: eBPF implementation that runs on top of Windows”. GitHub. Microsoft (11 May 2021). 2022年5月14日閲覧。 ^ McCanne (January 1993). “The BSD Packet Filter: A New Architecture for User-level Packet Capture”. USENIX. 2022年5月14日閲覧。 ^ “SCOsource update”. August 25, 2003時点のオリジナルよりアーカイブ。September 5, 2019閲覧。 ^ Bruce Perens. “Analysis of SCO's Las Vegas Slide Show”. February 17, 2009時点のオリジナルよりアーカイブ。2022年5月14日閲覧。 ^ Moglen (November 24, 2003). “SCO: Without Fear and Without Research”. GNU Operating System. The Free Software Foundation. September 5, 2019閲覧。 ^ “Reading privileged memory with a side-channel”. Project Zero team at Google (January 3, 2018). January 20, 2018閲覧。 McCanne (1992年12月19日). “The BSD Packet Filter: A New Architecture for User-level Packet Capture”. 2021年7月23日閲覧。 bpf(4) – FreeBSD Kernel Interfaces Manual Pages (en)–従来の BPF の例 eBPF.io - イントロダクション、チュートリアル、コミュニティ リソース bpfc、Berkeley Packet Filter コンパイラ、Linux BPF JIT 逆 アセンブラー (netsniff-ng の一部) BPF ドキュメント、Linux カーネル用 Linux フィルターのドキュメント、cBPF および eBPF バイトコード形式の両方 ebpf-for-windows - GitHub