XDP 基础原理：程序挂载点、BPF 地图与动作码

XDP（eXpress Data Path）是 Linux 内核网络栈中最早、最快的软件包处理钩子。它在网卡驱动层、sk_buff 分配之前介入，允许 eBPF 程序对原始数据帧进行判决。理解 XDP 的挂载点、数据共享机制与动作码，是后续排查缓存命中异常与日志关联的基石。

2.1 XDP 程序挂载点

XDP 程序并非挂载在协议栈内部，而是附着在网卡驱动层的 NAPI 轮询路径 上。根据网卡驱动与内核版本的不同，XDP 支持三种挂载模式：

挂载命令示例（Native 模式）：

# 将编译好的 xdp_prog.o 挂载到 eth0
ip link set dev eth0 xdp obj xdp_prog.o sec xdp_pass

# 卸载 XDP 程序
ip link set dev eth0 xdp off

2.2 BPF 地图：XDP 程序的数据共享中枢

XDP 程序本身是无状态的纯函数，所有持久化状态、统计计数、缓存表、转发规则都必须通过 BPF 地图（BPF Map） 与用户态或其它内核模块共享。BPF 地图是 XDP 缓存命中巡检的核心数据载体。

常用地图类型及在缓存巡检中的角色：

2.3 XDP 动作码：包处理判决指令

XDP 程序执行完毕后必须返回一个 动作码（Action Code），告知内核如何处理当前数据包。动作码直接决定了包是继续上送协议栈、丢弃、回发还是重定向。缓存命中巡检中，动作码是判断缓存是否生效的直接证据。

2.4 XDP 程序结构与动作码决策流程

下面通过一张内联 SVG 图展示 XDP 程序从挂载到动作码返回的完整决策路径，以及 BPF 地图在其中的数据交互位置。

2.5 动作码与缓存命中巡检的关联模型

在容器网络运维中，XDP 动作码是缓存命中巡检最直接的观测指标。通过 BPF 地图中的统计计数器，可以建立如下关联模型：

• 缓存命中 → 动作码为 XDP_REDIRECT 或 XDP_TX → 对应计数器 cache_hit 递增。
• 缓存未命中 → 动作码为 XDP_PASS → 对应计数器 cache_miss 递增。
• 缓存命中但策略丢弃 → 动作码为 XDP_DROP → 对应计数器 cache_drop 递增。
• 程序异常 → 动作码为 XDP_ABORTED → 触发 tracepoint，需结合 bpftrace 定位。

2.6 代码示例：XDP 程序中的缓存查询与动作码返回

以下是一个简化但完整的 XDP 程序片段，展示如何查询 BPF 地图并根据结果返回不同动作码：

// xdp_cache_lookup.c
#include <linux/bpf.h>
#include <bpf/bpf_helpers.h>

// 定义缓存表: key=五元组哈希, value=缓存条目
struct {
    __uint(type, BPF_MAP_TYPE_HASH);
    __uint(max_entries, 65536);
    __type(key, __u32);
    __type(value, __u64);
} cache_map SEC(".maps");

// 定义统计数组: idx 0=总包, 1=命中, 2=未命中, 3=丢弃
struct {
    __uint(type, BPF_MAP_TYPE_ARRAY);
    __uint(max_entries, 4);
    __type(key, __u32);
    __type(value, __u64);
} stats_map SEC(".maps");

SEC("xdp")
int xdp_cache_func(struct xdp_md *ctx) {
    void *data_end = (void *)(long)ctx->data_end;
    void *data = (void *)(long)ctx->data;
    struct ethhdr *eth = data;

    // 简易五元组哈希计算 (省略完整解析)
    __u32 pkt_hash = 0;
    // ... 实际项目中解析 IP/TCP 头计算哈希 ...

    __u32 zero = 0;
    __u64 *total = bpf_map_lookup_elem(&stats_map, &zero);
    if (total) (*total)++;

    // 查询缓存表
    __u64 *cache_entry = bpf_map_lookup_elem(&cache_map, &pkt_hash);
    if (cache_entry) {
        // 缓存命中
        __u32 hit_idx = 1;
        __u64 *hit = bpf_map_lookup_elem(&stats_map, &hit_idx);
        if (hit) (*hit)++;

        // 根据缓存策略返回动作码
        if (*cache_entry & 0x1) {
            return XDP_REDIRECT;  // 重定向到目标容器
        } else {
            return XDP_DROP;      // 缓存标记为丢弃
        }
    }

    // 缓存未命中
    __u32 miss_idx = 2;
    __u64 *miss = bpf_map_lookup_elem(&stats_map, &miss_idx);
    if (miss) (*miss)++;

    return XDP_PASS;  // 上送协议栈
}