BPF

✍ dations ◷ 2025-07-06 07:55:49 #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编译器来从其它内核进程提取信息。

相关

  • 小鸟号航天飞机小鸟号航天飞机(俄语:Птичка,意为“小鸟”),是前苏联暴风雪太空航天飞机计划中的第2架航天飞机,于1988年开始建造,1993年完工。暴风雪太空航天飞机计划停止后,航天飞机现由哈
  • 消费者金融保护局美国消费者金融保护局 United States Consumer Financial Protection Bureau (CFPB) 是美国联邦单位,奥巴马政府为了因应2008年金融海啸后金融业弊端而成立的单位,2011年7月21
  • 德国足球运动足球运动在德国非常流行。德国是从英国引进足球运动的第一个欧洲国家。而且很快就成为了佼佼者。德国足球属于力量型足球,被称为绿茵场上的“德国战车”。国内联赛有:德国国家
  • 科苏特·拉约什科苏特·拉约什(匈牙利语:Kossuth Lajos,1802年-1894年),匈牙利革命家、政治家,匈牙利民族英雄,1848年革命领导人,担任革命中独立的匈牙利共和国元首。革命失败后,被迫流亡海外。1848
  • 伍伟乐伍伟乐(Idea Ng,1982年5月6日-)2002亚洲电视训练班毕业。加入亚洲电视前,是位业余模特儿。现儿童节目主持。
  • 教学 (电子游戏)教学是电子游戏设计中的一个环节,目的在于让玩家理解游戏规则和游戏的操作方式,有些游戏教学和游戏本身融为一体,有些则独立于游戏本身之外,而有些游戏兼具这两种方式,并提供强制
  • 白塔山 (海盐)白塔山,又名“白塔岛”,别名“一号山”,位于中国浙江省嘉兴市海盐县,县城东南6.5公里处,是白塔山群岛的主岛,面积0.2平方公里,高48米。据明万历《海盐县近志》载,白塔山山上原有白塔
  • 田岛列岛田岛列岛(日语:田島 列島,1984年或1985年-),日本女性漫画家。旧笔名田谷野步(田谷野 歩/たやの あゆみ)。多摩美术大学影像演剧学科毕业。数年后以《问候》(田谷野步名义)获得MANGA OPEN(日语:MANGA OPEN) 第24届贞安圭奖。在青年漫画杂志《Morning》(讲谈社)出道。2020年4月,《问候》、《水流向大海》都获得第24届手冢治虫文化奖新生奖。其作品评语在“用柔和的画面和文字表达家庭和男人和女人的微妙之处的独特性”。
  • 珍妮特·布伦南·克劳夫特珍妮特·布伦南·克劳夫特(英语:Janet Brennan Croft,1961年-)是美国作家、图书馆员,以对J·R·R·托尔金的学术研究闻名。现于罗格斯大学任职。1982年,印第安那大学古典文明和英语专业毕业(双专业(英语:Double majors in the United States))。1983年在印第安那大学图书馆学与信息科学学院获得图书馆学硕士学位。曾短暂于匹兹堡卡内基图书馆(英语:Carnegie Library of Pittsburgh)工作;2001年起在奥克拉荷马大学任职,20
  • 欧洲航天局科学计划欧洲空间局的科学计划(Science Programme)是一项长期的空间科学和太空探索任务规划,由该机构科学理事会管理,通过制定各十年期航天计划,资助欧洲航天机构和其它组织所开发、发射和运营的任务。首期“地平线 2000”计划在1985年至1995年间推动了包括四项“奠基石任务”—太阳和太阳圈探测器及星簇2号卫星、X射线多镜面牛顿卫星、罗塞塔号和赫歇尔空间天文台等在内的八项任务的开发;第二期“地平线 2000+”计划,在1995年至2005年期间促进了“盖亚任务、激光干涉空间天线开路者号和贝皮可伦坡号的