An update on continuous testing of BPF kernel patches

发布于:2025-05-24 ⋅ 阅读:(23) ⋅ 点赞:(0)

Ihor Solodrai has been working on the BPF subsystem's continuous-integration (CI) testing for the last six months. At the 2025 Linux Storage, Filesystem, Memory-Management, and BPF Summit, he remotely shared an update on his work, and solicited feedback on how the tests could be further improved. Much of the work he's done has been specific to the BPF subsystem, but some is more generic and could potentially be of use to other subsystems. He also shared some general lessons learned from working on the BPF CI tests.

在过去六个月里,Ihor Solodrai 一直致力于 BPF 子系统的持续集成(CI)测试。在 2025 年的 Linux 存储、文件系统、内存管理与 BPF 峰会上,他远程分享了自己的最新进展,并征求了社区关于如何进一步改进测试的反馈。他的大部分工作都是针对 BPF 子系统的,但也有一些是更通用的,可能对其他子系统也有帮助。他还分享了从 BPF CI 测试工作中得到的一些通用经验。

Before getting to his main update, he first showed a visualizer he has been working on for understanding verifier failures. If one uploads a log file produced by the verifier, the tool shows "something like a debugger view" that lets one step through the verifier's process. Solodrai was optimistic that it could help with debugging, especially for people working on extending the verifier. He said that the tool is currently a prototype, and he would appreciate feedback on it.

在介绍主要更新之前,他首先展示了一个用于分析 verifier(验证器)失败的可视化工具。上传由 verifier 生成的日志文件后,该工具可以显示一个类似“调试器视图”的界面,让用户逐步查看验证器的执行过程。Solodrai 对该工具的前景表示乐观,认为它可以帮助调试,尤其是对扩展 verifier 的开发者特别有帮助。他提到该工具目前还处于原型阶段,欢迎大家提供反馈。

The main task Solodrai has been working on since the 2024 Linux Plumbers Conference has been expanding the coverage of the BPF CI tests. In the course of that work, he has fixed a number of other things. Still, his main focus has been on adding GCC to the test suite alongside Clang, and adding testing for sched_ext. At the time of the summit, GCC's BPF implementation was not passing the BPF self-tests, and therefore not included in the CI testing. Since then, that appears to have changed, because recent test runs have included testing for GCC 14.

自 2024 年的 Linux Plumbers Conference 以来,Solodrai 的主要工作是扩展 BPF CI 测试的覆盖范围。在这个过程中,他也顺便修复了不少其他问题。不过,他的核心工作仍然是将 GCC 加入测试套件(与 Clang 并列使用),并为 sched_ext 添加测试。在峰会召开时,GCC 的 BPF 实现尚未能通过 BPF 自测,因此尚未被纳入 CI 测试。不过,情况后来有所变


网站公告

今日签到

点亮在社区的每一天
去签到