BPF

✍ dations ◷ 2025-12-01 18:15:29 #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编译器来从其它内核进程提取信息。

相关

  • 弗里敦弗里敦(英语:Freetown),是西非国家塞拉利昂共和国的首都,经济、文化中心,亦是该国的最大城市。位于大西洋岸边的弗里敦半岛(Freetown Peninsula),2004年人口有1,070,200人。它不仅是
  • 山梨酸钾山梨酸钾(化学式:C6H7O2K),又名2,4-己二烯酸钾,是山梨酸的钾盐。主要用作食品防腐剂无色或白色至浅黄色鳞片状结晶、结晶状粉末或颗粒。无臭或稍有臭味。在空气中不稳定,长时间放
  • [Cu(CHsub3/subCN)sub4/sub]sup+/sup硝酸四乙腈合铜(I)是一种配位化合物,化学式NO3。硝酸四乙腈合铜(I)可由铜粉和硝酸银的乙腈溶液反应得到。硝酸铜和铜在热的乙腈中反应亦可得到硝酸四乙腈合铜(I)。它在失去溶
  • 多伦多大学应用科学与工程学院多伦多大学应用科学与工程学院(英语:Faculty of Applied Science and Engineering, University of Toronto)是多伦多大学的一个学术学院,它提供以工科为主的教授项目及研究机构
  • 奥古斯丁·彼拉姆斯·德堪多奥古斯丁·彼拉姆斯·德堪多(法语:Augustin Pyramus de Candolle或Augustin Pyrame de Candolle,1778年2月4日-1841年9月9日),瑞士植物学家,他首先提出了“自然战争”的概念,也因此
  • 索尼 ALPHA SLT-A55索尼 α55是Sony在2010年8月发表的新一代可换镜头数码相机,延续Sony α规格,但因光路设计与传统的数码单反相机不同,因此使用了全新的SLT(Single lens translucent)的产品代号。
  • 关木通关木通(学名:),又称木通马兜铃、马木通、东北马兜铃、东北木通、苦木通,是马兜铃科关木通属的一种植物,曾被误用代替方剂中木通的中药成分。分布于中国的甘肃, 黑龙江, 河南, 湖北
  • 克罗地亚建交列表截至2022年,克罗地亚共和国已与190个国家建交(其中包含187个联合国成员国和梵蒂冈、科索沃和马耳他骑士团)。
  • 1963年飓风阿琳飓风阿琳(英语:Hurricane Arlene)是1963年大西洋飓风季的第一个热带气旋,也是有纪录以来在百慕大产生降水最多的三场风暴之一。气旋于7月31日成为热带低气压,然后经快速增强于8月2日达到现代萨菲尔-辛普森飓风等级的二级飓风标准。接下来风暴转向西进并快速减弱,到8月4日已消退成热带低气压。此后两天阿琳未能重新组织,直到8月7日才增强成热带风暴。次日,气旋在达到飓风标准后直接从百慕大上空经过。数小时后,阿琳达到风力时速160公里、最低气压969毫巴(百帕,28.61英寸汞柱)的最高强度。到了8
  • 2023年以色列反司法改革示威示威者支持方:2023年以色列反司法改革抗议活动是目前在以色列多座城市发生的一系列示威,反对最近连任的总理本雅明·内塔尼亚胡提出的司法改革建议。 从1月7日开始,示威每周举行一次。在2022年的以色列议会选举中,由亚伊尔·拉皮德领导的现任政府被前总理本雅明·内塔尼亚胡领导的右翼政党联盟击败,后者组建了新一届政府,并于2022年12月29日上任。2023年1月4日,新任命的司法部长亚里夫·莱文宣布2023年以色列司法改革(英语:2023 Israeli judicial reform)的计划,包括限制最高法