Linux 网络协议栈深度实战：从 NAPI 到 eBPF/XDP 的可编程数据路径

引言

Linux 网络协议栈是操作系统中最复杂、最精密的子系统之一。它承载着全球互联网流量的基石，从智能手机到超算集群，无处不在。然而大多数开发者对它的理解停留在 Socket API 层面，对于数据包从网卡到应用的完整旅程、TCP 状态机的内核实现、以及 epoll 事件驱动与协议栈的交互细节知之甚少。

本文将深入 Linux 内核网络协议栈的腹地，沿着数据包的生命周期进行一次完整的探索：从 DMA 环形缓冲区接收原始帧，经过协议层逐层解析，到 Socket 缓冲区交付给应用层；从 TCP 拥塞控制状态的变迁，到 epoll 就绪事件的触发机制。我们将结合实际的内核源码分析、性能调优案例以及 eBPF/XDP 可编程扩展，为你构建一个完整的 Linux 网络协议栈知识体系。

一、协议栈全景：数据包的生命周期

1.1 接收路径（Ingress Path）

数据包从网卡到应用的接收路径是理解整个协议栈的关键。在现代高性能场景下，这条路径经过了多次演进优化：

网卡 DMA 环形缓冲区（Ring Buffer）
    ↓ 硬中断（Hardware IRQ）
    ↓ NAPI 轮询（New API）
    ↓ netif_receive_skb() / GRO 合并
    ↓ 协议层分发（ip_rcv / ipv6_rcv）
    ↓ TCP/UDP 层处理（tcp_v4_rcv）
    ↓ Socket 接收队列（sk_receive_queue）
    ↓ 唤醒等待进程（epoll / select / recv）
    ↓ 用户空间 read/recv 系统调用

关键数据结构：

struct sk_buff {
    struct sk_buff          *next;          // 链表指针
    struct sk_buff          *prev;
    struct sock             *sk;            // 关联的 socket
    unsigned int            len;            // 数据长度
    unsigned int            data_len;       // 分片数据长度
    __u8                    pkt_type;       // 包类型（HOST/MULTICAST/BROADCAST 等）
    __u16                   protocol;       // 协议类型（ETH_P_IP 等）
    struct net_device       *dev;           // 接收/发送设备
    unsigned char           *head;          // 缓冲区起始
    unsigned char           *data;          // 当前数据指针
    unsigned char           *tail;          // 当前尾部
    unsigned char           *end;           // 缓冲区结束
};

struct socket {
    struct file             *file;          // VFS 文件对象
    struct sock             *sk;            // 网络层sock
    const struct proto_ops  *ops;           // 操作函数表
};

struct sock {
    struct sk_buff_head     sk_receive_queue;   // 接收队列
    struct sk_buff_head     sk_write_queue;     // 发送队列
    struct sk_buff_head     sk_error_queue;     // 错误队列
    wait_queue_head_t       *sleep;             // 等待队列
    int                     sk_rcvbuf;          // 接收缓冲区大小
    int                     sk_sndbuf;          // 发送缓冲区大小
    atomic_t                refcnt;             // 引用计数
    struct proto            *prot;              // 协议操作表
};

sk_buff 是网络协议栈最核心的结构体，每一个数据包都由一个 sk_buff 表示。它采用了巧妙的双向链表和线性缓冲区设计：head/end 标记整个缓冲区的边界，data/tail 标记当前有效数据区域，通过移动 data 指针即可在头部添加协议头或在尾部追加数据，无需内存拷贝。

1.2 发送路径（Egress Path）h3>

发送路径方向相反，但同样复杂：

用户空间 write/send 系统调用
    ↓ sock_sendmsg() → tcp_sendmsg()
    ↓ 数据分段（MSS）→ tcp_fragment()
    ↓ 拥塞窗口检查 → tcp_cong_avoid()
    ↓ IP 层路由查找 → ip_output()
    ↓ 邻居子系统（ARP 解析）→ neigh_output()
    ↓ 排队规则（QoS）→ dev_queue_xmit()
    ↓ 网卡驱动环形缓冲区 → DMA 传输

1.3 NAPI：高吞吐量的关键机制

NAPI（New API）是 Linux 高吞吐量网络的核心机制。传统模式下，每个数据包触发一次硬件中断，在高 PPS（Packets Per Second）场景下会导致"中断风暴"，CPU 全部消耗在处理中断上。

NAP 的核心思想是混合中断与轮询：

// 网卡驱动注册 NAPI
struct napi_struct napi;
napi->poll = my_driver_poll;       // 轮询函数
napi->weight = 64;                 // 每次轮询处理的最大包数

// 中断处理函数（简化的伪代码）
irqreturn_t my_driver_irq(int irq, void *dev) {
    disable_irq_nosync(irq);           // 屏蔽中断
    napi_schedule(