2. NAPI 数据结构：struct napi_struct 结构体详解、poll 函数指针、状态标志位

NAPI 的核心数据结构是 struct napi_struct，它串联了驱动、中断处理、轮询回调与内核网络子系统。理解该结构体的每个字段、poll 函数指针的契约以及状态标志位的切换逻辑，是后续分析收包路径与性能优化的基础。

2.1 struct napi_struct 结构体全景

该结构体定义在 <linux/netdevice.h> 中，是每个 NAPI 实例的“控制块”。下面列出核心字段及其作用：

2.2 poll 函数指针：契约与实现模式

poll 是 NAPI 驱动必须实现的回调函数，其原型为：

int poll(struct napi_struct *napi, int budget);

该函数遵循严格的契约：

• 返回值：返回实际处理的包数量（小于等于 budget）。
• budget 语义：驱动单次 poll 最多处理 budget 个数据包。典型值为 napi->weight（通常 64）。
• 退出条件：
  • 如果驱动处理完所有待收包且返回包数 < budget，NAPI 核心会关闭轮询模式，重新启用硬件中断。
  • 如果返回包数 == budget，表示仍有包待处理，NAPI 核心将保持轮询状态，并在后续软中断中再次调用 poll。
• 不可阻塞：poll 在软中断上下文中执行，不能睡眠或调用可能引起调度的函数。

static int my_poll(struct napi_struct *napi, int budget) {
    struct my_priv *priv = container_of(napi, struct my_priv, napi);
    int work_done = 0;

    while (work_done < budget) {
        struct sk_buff *skb = my_hw_receive(priv);
        if (!skb)
            break;
        napi_gro_receive(napi, skb);  // 送入 GRO 或协议栈
        work_done++;
    }

    if (work_done < budget) {
        // 没有更多包，关闭轮询，重新开启中断
        napi_complete_done(napi, work_done);
        my_enable_hw_interrupt(priv);
    }

    return work_done;
}

2.3 状态标志位：NAPI_STATE_SCHED 及其他

state 字段是一个 unsigned long 位图，每个位代表一种状态。内核通过 test_bit、set_bit、clear_bit 原子操作来修改这些标志，确保多核安全。

2.4 NAPI 状态机与调度流程

下图展示了 NAPI 实例在中断触发、调度、轮询、完成之间的状态转换：

2.5 关键 API 与原子操作

NAPI 子系统提供一组内联函数来操作 struct napi_struct 的状态，这些函数在驱动和内核网络栈中高频使用：

static inline bool napi_schedule_prep(struct napi_struct *n) {
    return !test_and_set_bit(NAPI_STATE_SCHED, &n->state);
}

static inline void napi_schedule(struct napi_struct *n) {
    if (napi_schedule_prep(n))
        __napi_schedule(n);
}

2.6 多队列网卡与多个 NAPI 实例

现代多队列网卡（如 Intel ixgbe、Mellanox mlx5）通常为每个 RX 队列分配独立的 struct napi_struct 实例。每个队列绑定到特定 CPU，实现收包负载均衡：

这种 1:1:1 的映射关系（RX 队列 → NAPI 实例 → CPU）是现代高性能网卡的标准配置，避免了多 CPU 竞争同一个 NAPI 实例的 state 位和 poll_list 链表。