1

在以下代码中，BPF 程序tail_prog没有从以下位置调用 tail 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";

我观察到只有 print inmain_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)

据此，跳转表已从用户空间初始化，这是我认为上面的最后一行应该做的。但是，我看不出那条线是否存在有任何区别。

4

1 回答 1

0

我没有查看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)，这与映射的定义相匹配。现在尾部调用成功了。

于 2022-01-27T22:37:23.130 回答