在以下代码中,BPF程序tail_prog
没有从main_prog
得到尾调用:
#include <linux/bpf.h>
#include <bpf/bpf_helpers.h>
struct bpf_map_def SEC("maps") jump_table = {
.type = BPF_MAP_TYPE_PROG_ARRAY,
.key_size = sizeof(__u32),
.value_size = sizeof(__u32),
.max_entries = 8,
};
SEC("xdp")
int main_prog(struct xdp_md *ctx) {
bpf_printk("Making tail call");
bpf_tail_call(ctx, &jump_table, 0);
return XDP_PASS;
}
SEC("xdp_1")
int tail_prog(struct xdp_md *ctx) {
bpf_printk("Inside tail call");
return XDP_PASS;
}
char _license[] SEC("license") = "GPL";
我观察到只有main_prog
中的打印被打印。
我正在使用Cilium的eBPF Go软件包加载BPF程序。以下是加载程序和地图的代码:
type BpfObjects struct {
MainProg *ebpf.Program `ebpf:"main_prog"`
TailProg *ebpf.Program `ebpf:"tail_prog"`
JumpTable *ebpf.Map `ebpf:"jump_table"`
}
var objects BpfObjects
spec, err := ebpf.LoadCollectionSpec("prog.o")
if err != nil {
log.Fatalln("ebpf.LoadCollectionSpec", err)
}
if err := spec.LoadAndAssign(&objects, nil); err != nil {
log.Fatalln("ebpf.LoadAndAssign", err)
}
objects.JumpTable.Update(0, objects.TailProg.FD(), ebpf.UpdateAny)
根据这一点,跳转表已经从用户空间初始化,这就是我认为上面最后一行应该做的。然而,无论那一行是否存在,我都看不出有任何区别。
我没有查看从Update
函数返回的错误:Update can't marshal key: encoding int: binary.Write: invalid type int
。因此,程序数组映射没有更新。我改为以下内容:
err = objects.JumpTable.Update(uint32(0), uint32(objects.CopyHttpHostnameProg.FD()), ebpf.UpdateAny)
if err != nil {
println("Update", err.Error())
}
如果传递0
作为键,则键的大小为8字节,这就是为什么必须执行uint32(0)
,这与映射的定义相匹配。现在尾巴呼叫成功。