ebpf - 部分名称

Question

是否必须在bpf计划中为每个计划部分设置唯一的名称？例如，这个程序用llvm-5.0编译好：

...
SEC("sockops")
int bpf1(struct bpf_sock_ops *sk_ops)
{
   return 1;
}

SEC("sockops")
int bpf2(struct bpf_sock_ops *sk_ops)
{
   return 1;
}

SEC("sockops")
int bpf3(struct bpf_sock_ops *sk_ops)
{
   return 1;
}

SEC("sockops")
int bpf_main(struct bpf_sock_ops *sk_ops)
{
   __u32 port = bpf_ntohl(sk_ops->remote_port);

   switch (port) {
      case 5000: 
         bpf_tail_call(sk_ops, &jmp_table, 1);
         break;
      case 6000:
         bpf_tail_call(sk_ops, &jmp_table, 2);
         break;
      case 7000:
         bpf_tail_call(sk_ops, &jmp_table, 3);
         break;
   }     

   sk_ops->reply = 0;

   return 1;
}  

char _license[] SEC("license") = "GPL";
u32 _version SEC("version") = LINUX_VERSION_CODE;

但是，llvm-objdump只报告一个程序部分：

$ llvm-objdump-5.0 -section-headers bpf_main.o

bpf_main.o:        file format ELF64-BPF

Sections:
Idx Name          Size      Address          Type
  0               00000000 0000000000000000 
  1 .strtab       000000a5 0000000000000000 
  2 .text         00000000 0000000000000000 TEXT DATA 
  3 sockops       000001f8 0000000000000000 TEXT DATA 
  4 .relsockops   00000030 0000000000000000 
  5 maps          0000001c 0000000000000000 DATA 
  6 .rodata.str1.16 00000021 0000000000000000 DATA 
  7 .rodata.str1.1 0000000e 0000000000000000 DATA 
  8 license       00000004 0000000000000000 DATA 
  9 version       00000004 0000000000000000 DATA 
 10 .eh_frame     00000090 0000000000000000 DATA 
 11 .rel.eh_frame 00000040 0000000000000000 
 12 .symtab       00000138 0000000000000000

是否有编译器选项至少提供警告？

更新 - 所以我理解在同一个bpf文件中提供的部分必须具有唯一的名称。在bpf程序驻留在不同文件中并独立编译的情况下是否正确，以便它们可以被加载并相互调用，例如， tail calls？

Answer 1

显然，编译器连接同一部分中的所有内容（我简化了bpf_main以便编译和测试）。

$ readelf -x sockops bpf_prog.o

Hex dump of section 'sockops':
  0x00000000 b7000000 01000000 95000000 00000000 ................
  0x00000010 b7000000 01000000 95000000 00000000 ................
  0x00000020 b7000000 01000000 95000000 00000000 ................
  0x00000030 b7000000 00000000 95000000 00000000 ...............

从这里开始，我无法看到您打算如何检索单个程序以正确加载它们。通常，用户空间工具从一个部分获取一个程序，并尝试通过bpf()系统调用将指令传递给内核来加载它们。在这里，无论你使用什么程序，都可能会尝试一次加载连接的四个程序。

您是否有特殊原因想要将所有程序放在具有相同名称的部分中？

我不知道在这样的事情上LLVM中的警告。我猜不是：人们可能有理由在一节中加入不同的东西。这里的案例特定于BPF，我认为人们通常不会尝试将多个程序放在同一部分中。但这只是猜测，我可能错了。

关于你的更新：

我不相信在不同的目标文件中使用类似的部分名称是一个问题。只要您的用户空间工具能够从目标文件中检索程序并执行重定位，它就可以正常工作。内核无论如何都看不到任何部分名称。从attr参数得到的是一系列指令：

struct { /* anonymous struct used by BPF_PROG_LOAD command */
    __u32       prog_type;  /* one of enum bpf_prog_type */
    __u32       insn_cnt;
    __aligned_u64   insns;
    __aligned_u64   license;
    __u32       log_level;  /* verbosity level of verifier */
    __u32       log_size;   /* size of user buffer */
    __aligned_u64   log_buf;    /* user supplied buffer */
    __u32       kern_version;   /* checked when prog_type=kprobe */
    __u32       prog_flags;
    char        prog_name[BPF_OBJ_NAME_LEN];
    __u32       prog_ifindex;   /* ifindex of netdev to prep for */
};

（来自include/uapi/linux/bpf.h，请注意insns属性）。对于尾调用，您的用户空间代码还需要创建引用您要跳转到的程序的特定映射（更多bpf()调用）。但同样，用户空间的所有责任都是从ELF文件中提取信息。我认为Libbpf应该能够正确处理它，但我还没有尝试过。

完成的旁注：我不知道你的用例是什么，但是既然你试图在不同的目标文件中编译代码并使用调用，你可能有兴趣了解eBPF现在支持“函数调用” ，即你可以定义几个（非内联）函数，可能在几个ELF文件中，并在你的程序中调用它们。更多信息in the cover letter。到目前为止，我还没有时间去试验它。