为什么在bpf_helpers中定义了load_half但在filter.c中却没有出现？

Question

如果我在tools/testing/selftests/bpf/bpf_helpers.h了解“很好”，则将定义bpf heleprs原型。

如果我现在想在特定程序类型中使用哪些助手，我需要在'func_proto(enum bpf_func_id func_id' kernel/ net/ drivers/

例如，检查套接字过滤器程序可以调用的助手，我可以阅读以下定义

static const struct bpf_func_proto *
sock_filter_func_proto(enum bpf_func_id func_id, const struct bpf_prog *prog)
{
        switch (func_id) {
        /* inet and inet6 sockets are created in a process
         * context so there is always a valid uid/gid
         */
        case BPF_FUNC_get_current_uid_gid:
                return &bpf_get_current_uid_gid_proto;
        case BPF_FUNC_get_local_storage:
                return &bpf_get_local_storage_proto;
        default:
                return bpf_base_func_proto(func_id);
        }
}

问题：

1）我看不到load_half ，但仍然可以从我的套接字过滤器程序中调用它。 为什么？ 2） socket_filter和sk_filter什么sk_filter ？

Answer 1

1. load_half()不是BPF帮助器。 您提到的文件bpf_helpers.h确实声明了BPF帮助程序函数的原型，但它还包含其他有用的定义，例如SEC()或bpf_printk()宏。 特别是，它使用以下注释声明load_half() ：

    /* llvm builtin functions that eBPF C program may use to * emit BPF_LD_ABS and BPF_LD_IND instructions */ [...] unsigned long long load_half(void *skb, unsigned long long off) asm("llvm.bpf.load.half"); 

   如您load_half() ， load_half()是LLVM内置的，这是clang / LLVM支持的程序集原语，为方便起见包装为load_half() 。 并且由于它不是BPF帮助器，因此在内核中greping其原型时将看不到它。

2. 前缀sk_filter用于连接到套接字的eBPF过滤器，其过滤方式类似于对传统cBPF的处理方式，以过滤传入的数据包。 虽然这可能是混乱的，你可以看到， sock_filter_is_valid_access内核文件net/core/filter.c用于cg_sock_verifier_ops ，这是在相关的include/uapi/linux/bpf.h到类节目BPF_PROG_TYPE_CGROUP_SOCK_ADDR 。 因此，它指的是cgroup中用于帮助（容器化）应用程序正确绑定和连接其套接字的程序。