大家好!我是来自浙江大学的郑昱笙,今天为大家介绍下 eunomia-bpf 项目作为一个为了简化 eBPF 程序的开发、分发、运行而设计的轻量级 eBPF 开发框架的背景和目标;再通过一些简单的实例,展示一下 eunomia-bpf 是如何从云端一行命令下载运行 eBPF 程序、只编写内核态代码即可运行和导出事件,以及和 WebAssembly 的结合等功能,最后简要阐述一下 eunomia-bpf 的原理和设计实现的思路,探讨一下接下来的发展方向。
eunomia-bpf 项目龙蜥社区开源仓库:
https://gitee.com/anolis/eunomia
概要
eunomia-bpf 起源于 2022 年全国大学生操作系统大赛,希望将 eBPF 程序作为服务运行,把 eBPF 程序打包为一个 JSON 对象,通过 HTTP 请求即可动态插拔运行任意一个可重定位的 eBPF 程序,并且可以适应不同内核版本和架构。比赛结束之后,在高校的几位老师和社区中的一些伙伴的帮助和指导下
(在这里重点感谢西安邮电大学陈莉君教授及团队和龙蜥社区毛文安老师)
,逐步把这些想法变成了一个初具雏形的开源项目。
当前,eunomia-bpf 想要解决的问题或 eBPF 程序当前的开发和分发过程中存的痛点主要有以下两个:
第一
对于新手而言,搭建和开发 eBPF 程序的门槛较高,不仅需要必须同时关注内核态和用户态两方面的交互和信息处理,还需要编写用户态加载代码。
第二
在不同架构的不同内核版本上无法方便快捷地打包、分发、发布各种 eBPF 程序。eBPF 很多小工具由不同的语言开发,存在不同的接口,无法轻易集成到大型的可观测系统。当前没有很好的插件方案,很多时候必须重新编译整个可观测的框架,再重新部署上线,才能更新 eBPF 探针或数据处理模块。另外,如果引入第三方的用户态数据处理代码,代码崩溃会导致整个程序崩溃。
1. 针对初学者,只需要编写内核态代码即可自动获取内核态导出的数据,编译后即可进行加载和运行,降低了 eBPF 的学习成本,提高了开发效率。
2. 基于 libbpf一次编译处处运行的特性,将用户态、内核态的编译和运行的完全分离,通过标准 JSON 或 WASM模块的方式进行分发,无需进行重新编译,应用启动占用资源少,时间短,甚至容器启动更短。
3. 只编写内核态代码的时候,使用 JSON 即可完成
分发、加载、打包
的过程,对于完整的、需要用户态和内核态进行交互的 eBPF 应用或工具,可以在 WASM 中编写复杂的用户态处理程序进行控制和处理,并且将编译好的 eBPF 字节码嵌入在 WASM 模块中一同分发,在目标机器上动态加载运行。
以上三部分就是 eunomia-bpf 的核心特性,接着和大家一起来看一些示例。
示例
eunomia-bpf 并不是一个完整的系统,而是类似于
开发库和开发框架
,可以很轻松地嵌入 Coolbpf 工具链里,也可以作为开发库或开发框架嵌入其他程序。
可以通过一行命令从网页端直接下载预编译好的 eBPF 程序运行。使用 WebAssembly 或 JSON 模块的方式进行分发,部署时无需重新编译,启动速度很快。
eunomia-bpf 适用于通用的、任意类型的 eBPF 程序
,不仅局限于 trace 方面的 kprobe、uprobe、fentry 等,也支持如 lsm、tc、xdp 等类型的 eBPF 应用,都只需要编写内核态代码即可完成。
上图中为放入
URL
里的形式,也可以换成
OCI 镜像或 Docker 镜像
,可以存储在 Docker 仓库或 github package ,使用方式与 Docker 基本一致,只需简单地执行 pull、run 即可运行,也可以将编译好的程序包 push 下去直接使用。
而相比于传统的 Docker 镜像,它的启动速度
更快
,同时也保留了 eBPF 很重要的特性,可以轻松嵌入到其他程序作为子模块或插件使用。
通过 eunomia-bpf ,只需编写内核态代码即可正确运行,能够最大程度减少新手的上手障碍,省略了用户态的加载框架编写,能够自动导出内核态 perf event 或 ring buffer 事件。另外,它与和原生 libbpf 完全兼容,可以获取 libbpf tools 的内核态代码,无需修改任何代码,可直接运行。
可以额外添加 tracepoint ,也可以通过注释的形式添加其他内容。使用容器打包编译工具链,无需担心环境配置问题,一行命令生成项目模板、一行命令编译。
一般来说,一个完整的 eBPF 应用程序分为
用户空间程序和内核程序
两部分,用户空间程序负责加载 BPF 字节码至内核,或负责读取内核回传的统计信息或者事件详情,进行相关的数据处理和控制。
我们可以在
WASM 中编写用户态辅助程序
,来完成安全、高效的用户态数据处理和控制逻辑,它同样具备 eBPF 的特性,例如安全性
(
WASM
和 eBPF 一样也是个沙盒环境,在用户态运行的时候即使
WASM
模块崩溃了,也不会造成宿主程序的异常退出)
、可移植性、轻量级、模块化等等,也可以作为插件使用,添加新的数据处理逻辑时,也不需要更改原本的代码。
(注意
WASM
是可选而不是必须的,对于一些简单的应用而言,编写内核态代码就足够了)
实际上,我们是用 C 语言编写代码,然后打包生成 WASM 模块,之后我们可以:
这里演示的是一个简单的 WASM 模块,它可以获取当前系统的进程间的 signal 信号传递的事件,也可以接受一些命令行参数,并且对上报的信息进行处理。
目前来看,我们已经可以基本上不用进行代码修改,就可以直接把
BCC/libbpf-tools 里面的程序编译为 WASM 模块
。对开发体验来说,也可以做到和使用 C 语言开发 libbpf 的 eBPF 程序完全相同,之后也可以引入其他的语言开发 SDK。
把 WASM 和 eBPF 结合起来主要的困难在于,WASM 的内存布局和 eBPF 程序并不一样,C 语言的结构体并不能直接映射,所以传递结构体必须要经过序列化操作。同时, WASM 对于访问系统资源,例如文件、网络等等,也有不少限制,很多标准库是缺失的,所以我们需要在 WASM 模块中进行一些特殊的处理和移植。
系统架构
架构底层依赖的是内核态和用户态的基础设施
,比如 libbpf 库和 Kernel 中的 eBPF 虚拟机。在内核的基础设施这之上,我们会提供相关的编译工具链,和对应的运行时加载器,帮助生成 JSON 或打包成 WASM 的模块,工具链本身使用了比如 Clang/LLVM、bpftool 等工具。动态加载库可以独立使用,与 WASM 无关,也可以借助动态加载 JSON 配置信息即可热插拔、热更新 eBPF 程序的形式,通过 API 接口轻松实现 kernel function as a service
(内核函数即服务)
。
我们还实现了 WASM 抽象层,包含 API 规范,比如用于扩展 WASM 的虚拟机 WSAI 系统占用的访问形式或与 eBPF 交互的访问形式。还有基于 WASM 定制的 libbpf 库、移植的辅助态程序以及序列化库等,用于在 WASM 模块加载基于 libbpf 的 eBPF 程序。
运行时库可以轻松进行替换,比如替换成 WSI 的 WASM 运行时。除此之外,上层还在 LMP 项目中,实现了 eBPF hub 等包管理和分发设施,以及其他的命令行工具、可观测性工具等。
目前,eunomia-bpf 项目已在龙蜥社区开源,欢迎各位开发者体验,也欢迎大家提出建议和反馈,一起来做大做强。
https://github.com/eunomia-bpf/eunomia-bpf
https://openanolis.cn/sig/ebpfresearch
关于龙蜥峰会 eBPF & Linux 稳定性专场课件获取方式:
【PPT 课件获取】:关注微信公众号(OpenAnolis),回复“
龙蜥课件
” 即可获取。有任何疑问请随时咨询龙蜥助手—小龙(微信:openanolis_assis)。
【视频回放】:视频回放可前往龙蜥官网
(或阅读原文直达)
https://openanolis.cn/video
查看。
—— 完 ——
加入微信群:添加社区助理-龙蜥社区小龙(微信:openanolis_assis),备注【龙蜥】与你同在;加入钉钉群:扫描下方钉钉群二维码。
往期精彩推荐
2.小龙力荐!人人都可以完成算法代码,简单易上手
5.系统运维利器,百万服务器运维实战总结!一文了解最新版SysAK
本文分享自微信公众号 - OpenAnolis龙蜥(OpenAnolis)。
如有侵权,请联系 support@oschina.cn 删除。
本文参与“OSC源创计划”,欢迎正在阅读的你也加入,一起分享。