c - eBPF:理解验证器代码中的两个宏

Question

我正在查看 ebpf 验证程序代码，但无法理解以下宏:

#define offsetof(TYPE, MEMBER)  ((size_t)&((TYPE *)0)->MEMBER)
#define offsetofend(TYPE, MEMBER) \
    (offsetof(TYPE, MEMBER) + sizeof(((TYPE *)0)->MEMBER))

<...>

#define bpf_ctx_range(TYPE, MEMBER)                     \
    offsetof(TYPE, MEMBER) ... offsetofend(TYPE, MEMBER) - 1
#define bpf_ctx_range_till(TYPE, MEMBER1, MEMBER2)              \
    offsetof(TYPE, MEMBER1) ... offsetofend(TYPE, MEMBER2) - 1

我理解 offsetof 和 offsetofend 宏，但是 ... 的含义是什么？

谢谢。

Answer 1

查看它在 filter.c 中的使用方式:

    case bpf_ctx_range(struct __sk_buff, data):

这是 GCC 的 case range 扩展(clang 也支持它)。有了它，单个 case 语句可以匹配一系列值，例如 case 0 ... 5:。这里有更多信息:

https://gcc.gnu.org/onlinedocs/gcc/Case-Ranges.html