c++ ebpf程序开发 c++如何用libbpf-bootstrap编写ebpf工具

酷墨小哥_8247

酷墨小哥_8247

2026-03-25

850人浏览

原创

不能。libbpf-bootstrap 生成的 C++ 项目中,eBPF 程序逻辑部分(如 .bpf.c 文件)必须用纯 C 编写,clang 仅支持 C 编译 eBPF 字节码,C++ 特性会导致符号 mangling 或非法指令;C++ 仅限用户态代码(如 main.cpp)。

c++ ebpf程序开发 c++如何用libbpf-bootstrap编写ebpf工具

libbpf-bootstrap 生成的 C++ 项目能直接编译 eBPF 程序吗?

不能。libbpf-bootstrap 默认生成的是 libbpf + clang + bpftool 工作流,它本身不支持 C++ 编写 eBPF 程序段(即 BPF 程序逻辑部分)。eBPF 指令由 clang 编译自 C,不是 C++;内核加载器只认 ELF 中的 .text、.maps 等标准节,不识别 C++ 符号、RTTI 或异常表。

常见错误现象:clang: error: unsupported option '-x c++' 或加载时提示 invalid instruction / unknown symbol —— 这通常是因为用了 C++ 特性(如 std::vector、模板实例化)或未关闭 C++ ABI 导致符号名被 mangling。

  • 所有 eBPF 程序代码(PROG_SEC 标注的函数)必须用纯 C 编写,且包含在 .bpf.c 文件中
  • C++ 只能用于用户态部分(main.cpp),负责加载、读 map、打印结果等
  • 确保 Makefile 或 CMakeLists.txt 中对 .bpf.c 使用 -x c,而非默认推断为 C++
  • 若用 CMake,需显式设置 set_source_files_properties(foo.bpf.c PROPERTIES LANGUAGE C)

如何让 C++ 用户态代码安全调用 libbpf API?

libbpf 是 C 接口库,C++ 直接链接没问题,但要注意三类坑:ABI 兼容、生命周期管理、错误码处理方式。

典型问题:用 std::unique_ptr 管理 struct bpf_object * 时忘记指定自定义 deleter,导致 bpf_object__close 没被调用,map fd 泄漏;或者用 std::string 拼接 bpf_map__name 后传给 bpf_map__fd 前没检查空指针。

  • 所有 libbpf 返回指针(如 bpf_object__open、bpf_map__lookup_elem)都可能为 NULL,C++ 里别直接解引用
  • 避免在 RAII 对象析构中调用 bpf_link__destroy 等可能失败的函数 —— 它们不抛异常,返回负 errno,需手动检查
  • libbpf 的日志回调(libbpf_set_print)参数是 C 风格函数指针,C++ lambda 无法直接传,得用 static 函数或全局 functor 包装
  • map key/value 结构体定义必须和 eBPF 端完全一致(包括 padding、字节序),C++ struct 加 __attribute__((packed)) 不够,还要禁用编译器重排:#pragma pack(1) 或 alignas(1)

libbpf-bootstrap 模板里哪些文件该用 C++、哪些必须用 C?

分工很明确:eBPF 程序逻辑归 C,用户态 glue code 归 C++。混淆这两者是多数构建失败的根源。

C++14
C++14

C++14 对 C++11 的修正与增强版本,适合旧系统维护和较老工具链兼容。

下载

错误做法:把 tracepoint/syscalls/sys_enter_openat.bpf.c 改成 .bpf.cpp;或在其中 #include ;或用 auto 推导 map 迭代器类型 —— clang 编译器根本不会处理这些。

  • ✅ 必须 C:所有带 SEC("...") 的文件(如 bootstrap.bpf.c)、common.h(含 map 定义)、vmlinux.h(从 bpftool 生成)
  • ✅ 可用 C++:bootstrap.cpp(主程序)、utils.h(非 BPF 相关工具函数)、CMakeLists.txt 中的用户态构建规则
  • ⚠️ 禁止跨语言头文件:不要在 .bpf.c 里 #include "utils.h"(如果它含 C++ 特性),也不要让 C++ 头文件 include vmlinux.h(它含大量 GNU C 扩展,C++ 模式下 clang 会报错)
  • 路径上建议物理隔离:src/bpf/(全 C)、src/usdt/(C++)

为什么用 libbpf-bootstrap 而不是直接写 libbpf C 项目?

省掉手写 Makefile 里那堆 clang flags、bpftool 生成步骤、vmlinux.h 提取逻辑 —— 但它不降低 eBPF 本身的复杂度。C++ 用户容易高估它的“现代化”程度。

一个真实陷阱:以为 libbpf-bootstrap 支持 BTF 类型自动反射,结果在 C++ 侧用 bpf_map__get_value_size 得到 0 —— 因为没开 CONFIG_DEBUG_INFO_BTF=y,或 clang 编译时没加 -g 和 -O2,BTF 段压根没进 ELF。

  • 必须确认内核开启 BTF(zcat /proc/config.gz | grep BTF),否则 map 结构体字段访问会退化为 raw 字节拷贝
  • bpftool btf dump file /sys/kernel/btf/vmlinux format c 应该能输出可读结构体;如果报错,说明环境不满足 BTF 条件
  • libbpf-bootstrap 的 build.sh 默认启用 BTF_GEN,但只在检测到 vmlinux.h 存在时才生效;若你删了它又没重生成,C++ 侧读 map 就会 segfault
  • 性能影响:BTF 启用后,bpf_map__lookup_elem 内部会做字段偏移解析,比裸 memcpy 慢一丢丢,但换来的是类型安全 —— 值得

最易被忽略的一点:libbpf-bootstrap 生成的 Makefile 依赖 bpftool 版本要 ≥ 6.0,而 Ubuntu 22.04 自带的是 5.15 —— 直接 make 会卡在 gen_vmlinux_h,得先升级 bpftool。

C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!

相关文章

c++速学教程(入门到精通)
c++速学教程(入门到精通)

c++怎么学习?c++怎么入门?c++在哪学?c++怎么学才快?不用担心,这里为大家提供了c++速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

c++ libbpf-go

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
bootstrap框架介绍
bootstrap框架介绍

本专题整合了bootstrap框架相关介绍,阅读专题下面的文章了解更多详细内容。

2026.03.18

765

21

bootstrap安装教程
bootstrap安装教程

本专题整合了bootstrap安装相关教程,阅读专题下面的文章了解更多详细操作教程。

2026.03.18

199

9

string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

2023.08.02

7139

3

c语言中null和NULL的区别
c语言中null和NULL的区别

c语言中null和NULL的区别是:null是C语言中的一个宏定义,通常用来表示一个空指针,可以用于初始化指针变量,或者在条件语句中判断指针是否为空;NULL是C语言中的一个预定义常量,通常用来表示一个空值,用于表示一个空的指针、空的指针数组或者空的结构体指针。

2023.09.22

549

3

java中null的用法
java中null的用法

在Java中,null表示一个引用类型的变量不指向任何对象。可以将null赋值给任何引用类型的变量,包括类、接口、数组、字符串等。想了解更多null的相关内容,可以阅读本专题下面的文章。

2024.03.01

1698

6

format在python中的用法
format在python中的用法

Python中的format是一种字符串格式化方法,用于将变量或值插入到字符串中的占位符位置。通过format方法,我们可以动态地构建字符串,使其包含不同值。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

2023.07.31

1809

3

python中的format是什么意思
python中的format是什么意思

python中的format是一种字符串格式化方法,用于将变量或值插入到字符串中的占位符位置。通过format方法,我们可以动态地构建字符串,使其包含不同值。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.06.27

1231

7

scripterror怎么解决
scripterror怎么解决

scripterror的解决办法有检查语法、文件路径、检查网络连接、浏览器兼容性、使用try-catch语句、使用开发者工具进行调试、更新浏览器和JavaScript库或寻求专业帮助等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2023.10.18

1049

5

500error怎么解决
500error怎么解决

500error的解决办法有检查服务器日志、检查代码、检查服务器配置、更新软件版本、重新启动服务、调试代码和寻求帮助等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2023.10.25

3320

5

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C++ Core Guidelines
C++ Core Guidelines

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

C++ 官方标准说明
C++ 官方标准说明

共0课时 | 0人学习