能否在另一个MAP中存储MAP条目的指针并跨eBPF程序使用？

核心结论 #

当前eBPF验证器不允许直接将PTR_TO_MAP类型的指针存储到另一个MAP中。如你测试发现的，存储后会丢失PTR_TO_MAP类型信息——这是因为MAP可被用户空间外部修改，验证器无法保证取出的指针仍指向合法的MAP，因此会剥离其类型标记，导致后续无法作为MAP指针使用。

针对你的场景的替代方案 #

1. 解决栈空间不足的问题

如果需要存储多个MAP引用，可采用以下两种方式：

• 使用嵌套MAP类型：选择BPF_MAP_TYPE_ARRAY_OF_MAPS或BPF_MAP_TYPE_HASH_OF_MAPS，这类MAP的每个条目本身就是一个子MAP的合法引用（内核维护其有效性）。你可以在eBPF程序中通过顶级MAP查找子MAP指针，直接执行bpf_map_lookup_elem/bpf_map_update_elem等操作，无需在栈中存储大量指针。
• 存储MAP的文件描述符（fd）：将目标MAP的fd（整数类型）存入普通MAP（如BPF_ARRAY或BPF_HASH）。在eBPF程序中取出fd后，可通过bpf_map_fd_get_ptr（需内核版本≥5.10）获取MAP指针，进而操作该MAP。

2. 实现复杂程序间的状态共享

• 全局注册表MAP：定义一个全局MAP作为状态注册表，将需要共享的子MAP的fd存入其中。多个eBPF程序均可访问这个注册表MAP，通过fd获取子MAP指针，实现跨程序的状态共享。
• BPF_LINK关联程序：使用bpf_link将多个eBPF程序关联到同一MAP，确保它们能直接访问该MAP的指针。对于多MAP共享场景，结合嵌套MAP或注册表MAP的方式即可满足需求。

实现直接存储PTR_TO_MAP所需的支持 #

要实现将PTR_TO_MAP直接存入另一个MAP，需要内核eBPF子系统的两项关键增强：

1. 专用MAP类型：引入一种仅允许存储合法MAP指针的MAP类型，内核严格校验写入指针的合法性，且禁止用户空间直接修改这类MAP的条目，让验证器能信任其中的指针始终有效。
2. 验证器类型跟踪增强：允许验证器跨MAP边界跟踪PTR_TO_MAP类型，确保从MAP中取出的指针仍被识别为合法的MAP指针，可直接用于MAP操作函数。

目前这两项特性均未在主线内核中实现，因此只能依赖上述替代方案。

内容的提问来源于stack exchange，提问作者Farbod Shahinfar