Linux内核模块全局变量遭破坏，如何防护其被并发改写？

现象本质 #

这种全局变量被错误覆盖、本地变量正常的情况，核心原因是内核多执行流并发访问共享资源时未做同步保护，引发了竞态条件（Race Condition）。

Netfilter钩子会在多CPU核心、软中断/进程上下文等不同执行流中被触发，全局变量属于内核地址空间的共享资源，所有执行流都能直接读写。当多个执行流同时对全局变量（比如你的网络缓冲区）进行读写操作时，就会出现指令交错，导致数据被意外覆盖。而本地变量存储在当前执行流的私有栈或寄存器中，不存在共享访问，因此不会有竞态问题。

全局变量并发改写的防护方案 #

针对Netfilter模块的场景，推荐以下几种内核同步机制：

1. 自旋锁（Spinlock） #

适合短临界区、禁止睡眠的场景（Netfilter钩子处理通常符合这个特征），因为钩子常运行在软中断上下文，不能使用会引发睡眠的锁（比如信号量）。

• 使用步骤：
  • 定义并初始化自旋锁：spinlock_t buf_lock; spin_lock_init(&buf_lock);
  • 访问全局缓冲区前加锁：spin_lock(&buf_lock);（如果需要禁止当前CPU软中断抢占，用spin_lock_bh(&buf_lock)）
  • 完成操作后解锁：spin_unlock(&buf_lock);（对应解锁用spin_unlock_bh(&buf_lock)）
• 注意：持有自旋锁时绝对不能调用会睡眠的函数（如kmalloc(..., GFP_KERNEL)，需改用GFP_ATOMIC）。

2. RCU（Read-Copy-Update） #

如果你的全局缓冲区是读多写少的场景（比如大部分时间是读取缓冲区处理报文，极少更新缓冲区内容），RCU是更高效的选择，它允许无锁读，写操作通过复制更新的方式避免冲突。

• 使用步骤：
  • 读操作：包裹在rcu_read_lock()和rcu_read_unlock()之间，读取全局指针时用rcu_dereference()
  • 写操作：分配新缓冲区并写入数据后，用rcu_assign_pointer()原子替换旧指针，之后调用synchronize_rcu()等待所有CPU完成旧指针的读操作，再释放旧缓冲区。

3. 原子变量（Atomic Variables） #

如果全局变量是简单的整数类型（比如计数、标志位），无需复杂缓冲区操作，直接使用内核原子变量即可避免竞态。

• 使用示例：
  • 定义原子变量：atomic_t pkt_count = ATOMIC_INIT(0);
  • 原子递增：atomic_inc(&pkt_count);
  • 原子赋值：atomic_set(&pkt_count, 0);
  • 读取值：int count = atomic_read(&pkt_count);

4. 软中断禁用（local_bh_disable） #

如果你的模块只需要防止同一CPU上的软中断抢占（比如同一CPU上多个Netfilter钩子实例并发），可以结合自旋锁使用local_bh_disable()和local_bh_enable()，不过通常直接用spin_lock_bh更简洁，它已经包含了禁用软中断的逻辑。

内容的提问来源于stack exchange，提问作者Vitas Ivanoff