BPF

✍ dations ◷ 2025-12-07 14:54:03 #BPF

伯克利包过滤器(Berkeley Packet Filter,缩写 BPF),是类Unix系统上数据链路层的一种原始接口,提供原始链路层封包的收发。除此之外,如果网卡驱动支持混杂模式,那么它可以让网卡处于此种模式,这样可以收到网络上的所有包,不管他们的目的地是不是所在主机。

另外,BPF支持过滤数据包——用户态的进程可以提供一个过滤程序来声明它想收到哪些数据包。通过这种过滤可以避免从操作系统内核向用户态复制其他对用户态程序无用的数据包,从而极大地提高性能。

BPF有时也只表示过滤机制,而不是整个接口。一些系统,比如Linux和Tru64 Unix,提供了数据链路层的原始接口,而不是BPF的接口,但使用了BPF的过滤机制。

BSD 内核实现例程如 bpf_mtap()bpf_tap(),以BPF_MTAP()BPF_TAP()等宏定义的形式进行包裹由网卡驱动(以及伪驱动pseudo-drivers) 向BPF机制发送进出的封包。

原始的论文由Steven McCanne 和 Van Jacobson于1992年在劳伦斯伯克利国家实验室工作时编写,于1993年在San Diego举办的USENIX冬季会议上正式发表。

许多版本的Unix操作系统提供了用于捕获数据包的设施,使得监控当前网络情况成为了可能。但是,因为网络监控程序运行在用户态,数据包必须被拷贝来通过内核与用户态之间的边界。可以通过使用一种被称为“数据包过滤器”的内核代理来减少拷贝的数量,它会尽量早地丢弃不想要的数据包。早先的数据包过滤器被实现为基于栈的虚拟机,在RISC CPU上性能不佳。BPF使用了一种新的基于寄存器(Register)的虚拟机,在性能上有显著提升。

BPF的过滤功能是以对于BPF虚拟机机器语言的一种解释器的形式实现的,使用这种语言编写的程序可以抓取数据包,对数据包中的数据采取算术操作,并将结果与常量或数据包中的数据或结果中的测试位比较,根据比较的结果决定接受还是拒绝封包。

传统的Unix BPF实现能够被用于用户态,尽管它是为内核态编写。这是通过编译时的条件预处理完成的。

一些项目使用了不同以往的BPF指令集或者执行方法。

包括FreeBSD和WinPcap在内的一些平台,使用即时编译(JIT)编译器来把BPF指令转换为原始字节码,以进一步提高性能。Linux有一个BPF JIT编译器,但被默认禁用。

此虚拟机语言的内核态解释器则被用于其他操作系统的原始数据链路机制,例如Tru64 Unix系统,以及Linux内核中的套接字过滤器,和WinPcap数据包抓取机制。

用户态解释器由实现了pcap API的libpcap/WinPcap提供,因此,在对此过滤机制没有内核态支持的系统上抓取数据包时,数据包可以在内核态过滤,使用pcap API的代码可以工作于此两种模式;在使用用户态过滤的系统上,所有数据包由内核态复制到用户态,包括将被过滤出去的封包。这种解释器也可以用于包含由pcap抓取的封包的文件。

2007年,Robert Watson(英语:Robert Watson (computer scientist))与Christian Peron为FreeBSD操作系统中BPF的实现加入了zero-copy buffer extension,使得驱动程序中断处理器中的内核封包抓取能直接向用户内存写,以避免BPF设备收到的所有封包数据的两次复制需要,一份副本存在于用户进程的接收路径中,这保证了不同BPF设备调用者的独立性,同时使得只把封包头部放入BPF缓冲区,而不是复制整个封包数据。

Will Drewry为seccomp(安全计算)系统调用策略添加了BPF过滤器,这也是BPF第一次在网络领域之外的使用。

从3.18版本开始,Linux 内核提供了一种扩展的BPF虚拟机,被称为“extended BPF”,简称为eBPF。它能够被用于非网络相关的功能,比如附在不同的tracepoints上,从而获取当前内核运行的许多信息。

传统的BPF,现在被称为cBPF(classical BPF)。

eBPF由Alexei Starovoitov在PluMgrid工作时设计,这家公司专注于研究新的方法来设计软件定义网络解决方案。在它只是一个提议时,Daniel Borkmann——Red Hat公司的内核工程师,帮助修改使得它能够进入内核代码并完全替代已有的BPF实现。这是二十年来BPF首次主要的更新,使得BPF成为了一个通用的虚拟机。

eBPF被Linux内核合并的事件线如下:

因为eBPF虚拟机使用的是类似于汇编语言的指令,对于程序编写来说直接使用难度非常大。和将C语言生成汇编语言类似,现在的编译器正在逐步完善从更高级的语言生成BPF虚拟机使用的指令。LLVM在3.7版本开始支持BPF作为后端输出。GCC 10也将会支持BPF作为后端。BCC是IOVisor项目下的编译器工具集,用于创建内核跟踪(tracing)工具。bpftrace是为eBPF设计的高级跟踪语言,在Linux内核(4.x)中提供。

eBPF现在被应用于网络、跟踪、内核优化、硬件建模等领域。

Spectre攻击可以利用Linux内核的eBPF JIT编译器来从其它内核进程提取信息。

相关

  • FMA解剖学基础模型,又称解剖学基础模型本体(Foundational Model of Anatomy Ontology, FMA),是解剖学领域的一部参考本体。它是对生物体典型的表现型结构的符号表达形式;FMA是一部由
  • Cercozoa丝足虫门是一类原生动物,属于有孔虫界. 也有人主张丝足虫独立为一界.丝足虫的主要特征是通过丝状伪足摄食,没有真实的胞口。
  • 城堡之路城堡之路(Burgenstraße)是一条主要位于德国南部(巴伐利亚州和巴登-符腾堡州)及小部分位于捷克的旅游路线,从曼海姆到布拉格,全长约长约1000公里。这是一条传统旅游路线,1954年确定
  • 继续战争苏军胜利芬兰 纳粹德国苏联波罗的海 – 黑海 – 北极 – (跳马 – PQ-17船团 – 仙境)1941年巴巴罗萨 – (比亚韦斯托克及明斯克 – 斯摩棱斯克 – 乌曼 – 列宁格勒 – 第
  • 梅森-迪克森线梅森—迪克森线(英语:Mason–Dixon line 或 Mason's and Dixon's line),也译为梅森—狄克森线、梅森—狄克逊线,为美国宾夕法尼亚州与马里兰州、马里兰州与特拉华州之间的分界线,
  • 玛丽亚·约瑟法·阿玛莉亚玛丽亚·约瑟法·阿玛莉亚(西班牙语:,1803年12月6日—1829年5月18日),西班牙王后,丈夫是斐迪南七世。玛丽亚·约瑟法·阿玛莉亚是萨克森王子马克西米利安的幼女,伯父是第一任萨克森
  • 薛所蕴薛所蕴(1600年-1667年),字子展,一字行屋,号桴菴,河南怀庆府孟县城北五里缑村人。明末清初政治人物。崇祯元年(1628年)进士,授山西襄陵县知县。崇祯六年(1633年)崇祯帝召见,特授翰林院检讨
  • My Little Television《My Little Television》(韩语:마이 리틀 텔레비전),简称《MLT》(韩语:마리텔/마리테)是现有的TV明星和社会各阶层的专家中选出5位明星展示只属于自己的独特内容,并直接在网上现场
  • 帅方蔚帅方蔚(1790年-1871年),字子文,一字叔起,号石邨,江西奉新宋埠镇锁石村人,清朝政治人物、探花。道光六年(1826年)登丙戌科一甲第三名进士(探花),授翰林院编修。曾任山东考官。官至掌京畿道监察御史。道光十八年(1838年)告归,先后主讲白鹿洞书院、豫章书院。在奉新倡立登瀛集,资助后学。曾主修《江西通志》和《奉新县志》。著作有《咫闻轩随笔》、《咫闻轩诗稿》、《咫闻轩剩稿》、《略论字编》、《左海交游录》、《词垣日记》等。
  • 蒸压加气混凝土蒸压加气混凝土(英语:Autoclaved aerated concrete,缩写AAC)是一种重量轻、预浇筑的泡沫混凝土材料,适合生产混凝土砖块(英语:concrete masonry unit)等用途。蒸压加气混凝土由石英、灰泥、石灰、水泥、水、铝粉(英语:aluminum powder)等材料组成,在高压釜的高温、高压环境中固化而成。该材料发明于20世纪20年代中期,能同时提供结构、绝缘、防火和抗霉菌特性。形式包括砖块、墙板、地板、屋顶板、墙面外覆层以及门楣。