BPF验证器报'BPF程序过大'错误的原因排查

问题场景 #

尝试定义结构体并使用2字节密钥对其字段执行XOR加密，相关代码如下：

加密函数代码 #

static __always_inline long int encrypt_decrypt(struct ipv6_destopt_pdmv2_unencrypted *pdm)
{
    // xor all fields after flip bit with a key of size 2 bytes
    __u16 key = 0x1234;
    __u32 key1 = key << 16 | key;
    // get first 8 bits of key
    __u8 key2 = key >> 8;
    __u8 key3 = key & 0xFF;
    example_struct->a = example_struct->a ^ key2;
    example_struct->b = example_struct->b ^ key3;
    example_struct->c = example_struct->c ^ key1;
    example_struct->d = example_struct->d ^ key;
    example_struct->e = example_struct->e ^ key;
    example_struct->f = example_struct->f ^ key;
    example_struct->g = example_struct->g ^ key;
    return 0;
}

结构体定义 #

struct example_struct
{
    __u8 u;
    __u8 v;
    __u16 x;
    __u16 y;
    // following fields are encrypted
    __u8 a;
    __u8 b;
    __u32 c;
    __u16 d;
    __u16 e;
    __u16 f;
    __u16 g;
    __uint128_t more_stuff_1;

    __u8 more_stuff_2; 
    __u8 more_stuff_3; 
};

异常现象 #

注释掉example_struct->a = example_struct->a ^ key2;这一行时，BPF验证器无报错；但加入该行后，验证器抛出错误：

processed 1000001 instructions, bpf program too large

而实际编写的BPF程序仅包含534条指令。

原因分析 #

这个问题的核心是BPF验证器对结构体字段访问的边界检查逻辑引发的指令爆炸，具体细节如下：

• 结构体中包含__uint128_t more_stuff_1这个128位宽的字段，BPF验证器在处理该字段的内存访问边界时，会生成大量拆分检查指令。这些指令是验证器内部生成的，不会被计入你看到的"534条指令"统计中，但会占用验证器的指令处理上限。
• 当你访问example_struct->a字段时，验证器需要沿着结构体的字段偏移，逐一确认内存访问的合法性，包括处理__uint128_t字段带来的复杂边界检查逻辑，导致内部生成的指令数直接突破了默认的100万上限。
• 注释掉对a字段的访问后，验证器无需处理该字段对应的边界检查链路，因此不会触发指令数超限的错误。

此外，代码中存在一个明显的笔误：加密函数的参数是struct ipv6_destopt_pdmv2_unencrypted *pdm，但函数内直接访问example_struct指针，这种类型不匹配的访问可能会让验证器的类型推断逻辑更加复杂，间接加剧了指令爆炸的问题。

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