静态初始化eBPF尾调用程序数组映射遇libbpf报错，请求排查

你遇到的libbpf报错确实是因为PROG_ARRAY映射的静态初始化方式有误，以下是具体原因和修正方案：

错误原因 #

1. 函数指针类型不匹配：XDP程序的标准签名是int (*)(struct xdp_md *)，但你在__array中定义的类型是int (void *)，类型不匹配会导致libbpf无法正确识别映射用途，误判为需要map-in-map类型。
2. 多余的地址取操作：静态初始化PROG_ARRAY时，直接使用函数名即可，libbpf会自动完成程序到映射项的关联，手动取地址（&xdp_do_rate_limit_ipv6）属于冗余操作，还可能干扰libbpf的解析逻辑。

修正后的代码示例 #

// 提前声明XDP函数签名
int xdp_do_rate_limit_ipv6(struct xdp_md *ctx);
int xdp_do_rate_limit_ipv4(struct xdp_md *ctx);

struct {
    __uint(type, BPF_MAP_TYPE_PROG_ARRAY);
    __uint(max_entries, 3);
    __uint(key_size, sizeof(uint32_t));
    __uint(value_size, sizeof(uint64_t));
    __array(values, int (*)(struct xdp_md *)); // 修正为匹配XDP程序的函数指针类型
} jmp_rate_table SEC(".maps") = {
    .values = {
        [DO_RATE_LIMIT_IPV6] = xdp_do_rate_limit_ipv6, // 直接使用函数名
        [DO_RATE_LIMIT_IPV4] = xdp_do_rate_limit_ipv4,
    },
};

额外注意事项 #

• 确保使用的libbpf版本支持PROG_ARRAY静态初始化（推荐v0.5及以上版本），旧版本可能不兼容该特性。
• eBPF程序必须用clang编译（gcc无法正确处理eBPF的特殊属性和映射定义），用户态加载器可继续用gcc编译。
• 修正后，用户态加载器无需再手动填充jmp_rate_table映射，静态初始化内容会由libbpf在加载过程中自动处理。

内容的提问来源于stack exchange，提问作者99Linux