如何设计eBPF映射以适配大数据结构且不超出跳转复杂度限制？

针对你遇到的600元素数组遍历触发BPF验证器跳转复杂度限制的问题，以下是几种符合验证器规则、可维护性较好的解决方案：

方案1：拆分大循环为多个小循环 #

将单次600次迭代的循环拆分为多个小循环（比如3个200次迭代的循环），降低单个循环的控制流复杂度，让验证器更容易通过。

// 拆分原600次循环为3段独立循环
for (int i = 0; i < 200; i++) {
    if (lookup_result->arr[i].present) {
        /* 你的ACL处理逻辑 */
    }
}
for (int i = 200; i < 400; i++) {
    if (lookup_result->arr[i].present) {
        /* 你的ACL处理逻辑 */
    }
}
for (int i = 400; i < 600; i++) {
    if (lookup_result->arr[i].present) {
        /* 你的ACL处理逻辑 */
    }
}

说明：BPF验证器对单个循环的迭代次数和分支跳转数有隐含限制，拆分后每个循环的迭代规模缩小，控制流节点数降低，可绕过跳转复杂度检查。该方案无需修改数据结构，兼容性强，几乎适配所有支持eBPF的内核版本。

方案2：使用bpf_loop辅助函数（内核5.17+） #

如果你的目标内核版本在5.17及以上，可以使用内核提供的bpf_loop辅助函数替代手动循环。验证器对bpf_loop的内部迭代逻辑不计算跳转复杂度，能直接规避问题。

#include <linux/bpf.h>
#include <bpf/bpf_helpers.h>

// 定义遍历上下文，携带ACL数据和其他需要的参数
struct acl_traverse_ctx {
    struct data_structure *acl_data;
    // 可添加TC ingress需要的skb等上下文
};

// 单个ACL条目的处理函数
static int process_acl_entry(void *ctx, int idx) {
    struct acl_traverse_ctx *traverse_ctx = ctx;
    struct array_of_elements *entry = &traverse_ctx->acl_data->arr[idx];

    if (entry->present) {
        /* 你的ACL处理逻辑 */
    }
    return 0; // 返回0继续遍历，返回非0终止遍历
}

// 在TC ingress程序中调用遍历
struct acl_traverse_ctx ctx = {
    .acl_data = lookup_result,
};
bpf_loop(600, process_acl_entry, &ctx, 0);

说明：bpf_loop是内核原生支持的批量遍历接口，将循环逻辑交由内核处理，用户态BPF程序的控制流复杂度大幅降低。该方案代码更简洁，逻辑更清晰，但依赖较高版本的内核。

方案3：压缩有效ACL条目 #

在用户态维护ACL时，只将present为true的有效条目存入BPF映射，减少遍历次数的同时降低验证器复杂度。

BPF侧定义 #

// 压缩后的ACL结构：仅存储有效条目
struct compact_acl {
    int valid_count;
    struct array_of_elements entries[];
};

// 调整后的BPF映射
struct {
    __uint(type, BPF_MAP_TYPE_HASH);
    __uint(max_entries, 10000);
    __type(key, u32);
    __type(value, struct compact_acl);
} internal_map SEC(".maps");

BPF程序遍历逻辑 #

// 遍历有效条目，无需判断present
for (int i = 0; i < lookup_result->valid_count; i++) {
    /* 直接处理lookup_result->entries[i] */
}

说明：该方案既降低了验证器的跳转复杂度，也提升了程序运行效率，但需要用户态在更新ACL时完成有效条目的压缩和同步。适合ACL变更不频繁的场景，若ACL动态更新频繁，需额外处理用户态与BPF侧的同步逻辑。

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