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。到目前为止，我还没有时间去试验它。

ebpf - 部分名称

1 个答案: