3. 套接字缓冲区(sk_buff)：核心字段、数据指针操作与头部预留

在 Linux 内核网络协议栈中，sk_buff（套接字缓冲区）是最核心的数据结构之一。每一个在网络层、传输层之间传递的数据包，都被封装在一个 sk_buff 实例中。理解 sk_buff 的结构与操作，是掌握内核网络协议栈的基石。

3.1 sk_buff 核心字段解析

sk_buff 结构体非常庞大，包含数百个字段。面试中高频考察的是与数据包管理、协议栈处理流程直接相关的核心字段。下表列出了这些关键字段及其作用：

3.2 数据指针操作：head、data、tail、end

sk_buff 的数据管理依赖于四个关键指针，它们定义了数据在缓冲区中的位置和范围。理解这四个指针的移动，是掌握协议栈头部添加与剥离的关键。

• head：指向分配的内存块起始位置，固定不变。
• data：指向当前协议层有效数据的起始位置。当协议栈向上（如从 IP 层到 TCP 层）或向下（如从 TCP 层到 IP 层）传递时，data 指针会相应移动。
• tail：指向当前协议层有效数据的结束位置。
• end：指向分配的内存块结束位置，固定不变。

协议栈通过移动 data 和 tail 指针来实现头部操作：

• 添加头部（push）：将 data 指针前移，并在新位置写入头部数据。常用函数：skb_push()。
• 剥离头部（pull）：将 data 指针后移，跳过当前头部。常用函数：skb_pull()。
• 追加数据（put）：将 tail 指针后移，并在新位置写入数据。常用函数：skb_put()。
• 移除数据（trim）：将 tail 指针前移，减少有效数据长度。常用函数：skb_trim()。

3.3 sk_buff 的克隆（clone）与拷贝（copy）

在协议栈中，一个数据包可能需要被多个处理路径共享（例如，同时发往多个 socket 或进行本地投递）。内核通过克隆和拷贝机制来管理这种共享，避免不必要的数据复制。

3.3.1 浅拷贝：skb_clone()

skb_clone() 创建一个新的 sk_buff 结构体实例，但新实例与原始实例共享同一份数据缓冲区。克隆操作仅复制 sk_buff 结构体本身，并将引用计数 users 加 1。任何一方对数据缓冲区的修改都会影响另一方，因此克隆后的 sk_buff 通常只用于只读场景。

3.3.2 深拷贝：skb_copy()

skb_copy() 创建一个全新的 sk_buff 结构体，并分配新的数据缓冲区，将原始数据完整复制到新缓冲区中。深拷贝后的两个 sk_buff 完全独立，互不影响。深拷贝开销较大，仅在需要修改数据且不能影响原始包时使用。

3.3.3 数据共享与写时拷贝（COW）

内核还提供了 skb_share_check() 和 skb_unshare() 等辅助函数，实现写时拷贝（Copy-On-Write）语义。当需要修改数据时，如果引用计数大于 1，则先进行深拷贝，再修改；否则直接修改。

3.4 头部预留（Headroom）与对齐

为了支持各协议层高效地添加头部，内核在分配 sk_buff 数据缓冲区时，会在有效数据之前预留一定的空间，称为 headroom。同样，在数据之后也会预留 tailroom 用于追加数据。

3.4.1 头部预留的重要性

• 避免数据拷贝：当数据包从应用层向下传递时，每经过一层（如 TCP、IP、以太网），都需要添加相应的头部。如果预留了足够的 headroom，协议栈只需移动 data 指针并写入头部，无需移动或拷贝整个数据包。
• 性能优化：头部预留机制极大地减少了内存拷贝操作，是内核网络协议栈高性能的关键设计之一。

3.4.2 对齐要求

许多硬件和协议要求数据包中的某些字段（如 IP 头部、TCP 头部）对齐到特定的字节边界（通常是 4 字节或 8 字节）。内核在分配 sk_buff 时，会通过 NET_SKB_PAD 等宏定义，确保 data 指针在初始状态下满足对齐要求。

/* 定义在 include/linux/skbuff.h 中 */
#define NET_SKB_PAD      max(32, L1_CACHE_BYTES)

/* 分配 sk_buff 时，headroom 的初始大小通常包含 NET_SKB_PAD */
struct sk_buff *alloc_skb(unsigned int size, gfp_t priority)
{
    return __alloc_skb(size, priority, 0, -1);
}

/* __alloc_skb 内部会预留 NET_SKB_PAD 字节的 headroom */
static inline struct sk_buff *__alloc_skb(unsigned int size, gfp_t flags,
                                          int flags2, int node)
{
    struct sk_buff *skb;
    unsigned int headroom = NET_SKB_PAD;  // 预留头部空间

    // ... 分配内存并初始化指针
    skb->head = kmalloc(size + headroom, flags);
    skb->data = skb->head + headroom;    // data 指针指向预留后的位置
    skb->tail = skb->data;
    skb->end  = skb->head + size + headroom;
    // ...
}

3.4.3 动态调整头部空间：skb_reserve() 与 skb_put()

在构建数据包时，可以使用 skb_reserve() 进一步增加 headroom，或使用 skb_put() 在尾部添加数据。

// 示例：构建一个 TCP 数据包时的头部预留
struct sk_buff *skb = alloc_skb(MAX_TCP_HEADER + data_len, GFP_KERNEL);

// 预留足够的空间给各层头部
skb_reserve(skb, MAX_TCP_HEADER);  // 预留 TCP + IP + 以太网头部空间

// 将 data 指针移动到数据区起始位置
skb->data += data_len;  // 或者使用 skb_put() 添加数据

// 现在可以在 data 指针之前依次添加 TCP、IP、以太网头部
// 使用 skb_push() 前移 data 指针并写入头部

3.5 扩展操作：skb_expand_head() 与数据空间不足处理

当 headroom 或 tailroom 不足以容纳需要添加的头部或数据时，内核需要扩展缓冲区。这通常通过 pskb_expand_head() 或 skb_realloc_headroom() 等函数实现。

• pskb_expand_head()：在现有缓冲区的基础上，重新分配更大的内存区域，并复制原有数据。此操作开销较大，应尽量避免。
• skb_realloc_headroom()：专门用于扩展 headroom，如果当前 headroom 不足，则重新分配。

3.6 面试高频问题总结

1. sk_buff 中 head、data、tail、end 四个指针的作用是什么？ 重点说明它们如何定义数据区域和预留空间。
2. skb_clone() 和 skb_copy() 的区别？ 强调浅拷贝与深拷贝、引用计数、数据共享与独立。
3. 什么是写时拷贝（COW）？在内核网络栈中如何实现？ 引出 skb_share_check() 和 skb_unshare()。
4. 头部预留（headroom）为什么重要？ 从避免数据拷贝、提升性能的角度回答。
5. 当 headroom 不足时，内核如何处理？ 说明 pskb_expand_head() 的触发条件和代价。