4. RCU核心思想
RCU（Read-Copy-Update）是 Linux 内核中一种无锁同步机制，专为读多写少场景设计。其核心思想是：读者不阻塞，写者不等待。本章深入剖析 RCU 的设计哲学、宽限期（Grace Period）概念以及发布-订阅（Publish-Subscribe）机制，为后续性能调优奠定理论基础。
4.1 RCU 的设计哲学
RCU 的设计哲学可以概括为三个核心原则：
- 读者免锁（Lock-Free Readers）：读者在访问共享数据时，不需要获取任何锁，也不需要执行原子操作（除内存屏障外）。这消除了读路径上的缓存行 bouncing 和上下文切换开销。
- 写者延迟回收（Deferred Reclamation）：写者在更新数据时，先创建新副本（Copy），然后原子地更新指针（Update）。旧副本的回收（Free）被延迟，直到所有可能还在引用旧副本的读者完成访问。
- 弱顺序一致性（Weak Ordering）：RCU 依赖底层硬件提供的内存屏障（Memory Barrier）来保证发布-订阅的可见性，而非强制的锁顺序。
核心洞察： RCU 将“同步”从读路径完全移除，转移到写路径和回收路径。这使得读操作几乎达到原始内存访问的性能，而写操作则承担了更多的协调开销。
4.2 宽限期（Grace Period）概念
宽限期是 RCU 实现延迟回收的核心机制。它定义了一个时间窗口，确保所有在旧指针被替换之前进入临界区的读者，都已经退出了临界区。
宽限期的生命周期包含两个关键阶段：
| 阶段 | 描述 | 关键事件 |
|---|---|---|
| 开始（Start） | 写者完成指针更新（发布新版本），并记录一个时间点。 | 写者调用 rcu_assign_pointer() |
| 结束（End） | 所有在开始之前已存在的读者都已完成其临界区。 | 写者检测到所有 CPU 都经过了 quiescent state |
在宽限期结束之前，写者不能释放旧数据的内存。宽限期的长度取决于系统中所有 CPU 上正在运行的读者线程。
关键术语： Quiescent State（静止状态） 是 CPU 上不再持有任何 RCU 读锁的时刻。在 Linux 内核中，这通常发生在进程上下文切换、用户态执行或 CPU 空闲时。宽限期就是等待所有 CPU 都至少经历一次 quiescent state。
4.3 发布-订阅机制（Publish-Subscribe）
发布-订阅机制是 RCU 实现无锁读写的关键保障。它确保：
- 发布者（写者）：在更新指针之前，必须保证对新数据的所有写操作（初始化）都已完成。
- 订阅者（读者）：在读取指针之后，必须保证通过该指针访问数据时，能看到发布者所做的所有初始化写操作。
这种机制通过内存屏障实现。Linux 内核提供了两个核心 API：
| API | 角色 | 语义 | 等价屏障 |
|---|---|---|---|
rcu_assign_pointer() |
发布者（写者） | 在赋值指针之前，插入一个写屏障（write barrier），确保所有对数据结构的写操作在指针更新前全局可见。 | smp_wmb() |
rcu_dereference() |
订阅者（读者） | 在读取指针之后，插入一个读屏障（read barrier），确保通过指针读取数据时，能看到发布者写入的最新值。 | smp_read_barrier_depends() 或 smp_rmb() |
常见误区： 不要混淆
rcu_assign_pointer() 和普通指针赋值。普通赋值不保证内存顺序，可能导致读者看到未完全初始化的数据。同样，rcu_dereference() 在 Alpha 等弱一致性架构上是必需的，在 x86 上虽然会被优化为空操作，但为了代码可移植性，必须使用。
4.4 典型 RCU 更新流程
结合宽限期和发布-订阅机制，一个完整的 RCU 更新操作遵循以下步骤：
- 分配新内存：写者为新版本数据分配内存。
- 初始化数据：将新数据完全初始化。
- 发布新指针：使用
rcu_assign_pointer()将全局指针指向新数据。此时，新读者将看到新数据。 - 等待宽限期：调用
synchronize_rcu()或call_rcu()等待所有可能还在引用旧数据的读者完成。 - 释放旧数据：安全地释放旧数据的内存。
性能关键点：
synchronize_rcu() 是同步等待，可能导致写者阻塞。在性能敏感路径上，应使用 call_rcu() 注册一个回调函数，由内核在宽限期结束后异步执行回收，从而避免写者阻塞。
4.5 设计哲学总结
RCU 的设计哲学通过将同步开销从读者转移到写者，并利用宽限期实现安全的延迟回收，最终在读多写少场景下实现了极致的读性能。下表对比了 RCU 与读写锁的关键差异：
| 特性 | 读写锁（Read-Write Lock） | RCU |
|---|---|---|
| 读者开销 | 原子操作 + 缓存行 bouncing | 几乎为零（仅内存屏障） |
| 写者开销 | 等待所有读者释放锁 | 复制数据 + 等待宽限期 |
| 并发度 | 读者与写者互斥 | 读者与写者完全并发 |
| 适用场景 | 读写比例均衡 | 读远多于写 |
| 内存开销 | 锁变量 | 旧数据副本（延迟回收） |