来自bpf手册页:
eBPF程序可以用经过编译的受限C编写
(使用clang编译器)进入eBPF字节码。各种功能包括
从这个受限的C中省略,比如循环,全局变量,
变量函数、浮点数和将结构作为
函数参数。
但是手册页没有更新。我想知道当使用受限C编写eBPF程序时,到底什么是被禁止的?手册上说的是真的吗?

最佳答案

实际上,在ELF文件中“允许”什么并不重要。这句话的意思是,一旦编译成eBPF指令,您的C代码可能会生成被验证器拒绝的代码。例如,BPF程序中的循环在BPF程序中早就被拒绝了,因为无法保证它们会终止(唯一的解决方法是在编译时展开它们)。
所以你基本上可以在C中使用你想要的任何东西,并成功地生成一个ELF对象文件。但你想让它通过验证器。哪些组件肯定会导致验证者抱怨?让我们从手册页查看列表:
循环:Linux5.3版引入了对有界循环的支持,因此循环在某种程度上起作用。“有界循环”是指验证器有办法告诉它们最终将完成的循环:通常,for (i = 0; i < CONSTANT; i++)类循环应该可以工作(假设i在块中没有修改)。
全局变量:最近有一些支持全局变量的工作,但是它们是以特定的方式处理的(作为单条目映射),我并没有真正地对它们进行实验,所以我不知道这有多透明,也不知道是否可以在程序中简单地定义全局变量。请随意尝试:)。
变量函数:很确定这是不受支持的,我不知道这在eBPF中是如何翻译的。
浮点数:仍不支持。
将结构作为函数参数传递:不支持,但我认为将指针传递到结构应该可以工作。
如果你对这一级别的细节感兴趣,你真的应该看看Cilium's documentation on BPF。它并不完全是最新的(只缺少非常新的功能),但比手册页更完整和准确。尤其是,the LLVM section有一个在编译为eBPF的C程序中应该或不应该工作的项的列表。除了上述项目外,他们还引用了:
(所有函数都需要内联,没有函数调用)->这个已经过时了,BPF有函数调用。
没有共享库调用:这是真的。不能调用标准库中的函数或其他BPF程序中定义的函数。您只能调用在同一个BPF程序中定义的函数,或者在内核中实现的BPF帮助程序,或者执行“tail calls”。
例外:可以使用memset()/memcpy()/memmove()/memcmp()的LLVM内置函数(我认为它们几乎是您可以调用的唯一函数,而不是BPF帮助程序和其他BPF函数)。
不允许使用常量字符串或数组(因为它们在ELF文件中是如何处理的):我认为这在今天仍然有效?
BPF程序堆栈被限制为512字节,因此C程序不能导致试图使用更多字节的可执行文件。
列出了其他允许或良好的了解项目。我只能鼓励你潜入其中!

09-17 19:51