2. Linux内核同步机制概览：自旋锁、互斥锁、信号量、读写锁、RCU的定位与对比

在嵌入式Linux驱动开发中，并发访问共享资源是导致竞态（Race Condition）的根本原因。内核提供了多种同步原语，每种原语在性能、适用场景、休眠行为与复杂度上各有取舍。理解它们的定位差异，是正确选择RCU的前提。

2.1 同步原语核心维度对比

下表从等待行为、上下文限制、读者-写者公平性、临界区耗时四个维度，对五种主要同步机制进行横向对比：

2.2 同步机制选择决策树

在实际驱动开发中，可以按照以下逻辑快速选定同步原语：

1. 临界区是否可能在中断上下文执行？
   • 是 → 只能使用 自旋锁 或 RCU（读者侧）。
   • 否 → 进入下一步。
2. 临界区耗时是否超过几十微秒？
   • 是 → 必须使用可休眠机制：互斥锁、信号量 或 读写信号量。
   • 否 → 进入下一步。
3. 读操作频率是否远高于写操作？
   • 是 → 考虑 RCU（读者无锁）或 读写锁（读者共享）。
   • 否 → 使用 自旋锁 或 互斥锁。
4. 是否需要保护链表/树等动态数据结构，且写操作允许延迟回收？
   • 是 → RCU 是最佳选择。
   • 否 → 回到常规锁机制。

2.3 五种同步机制的内核API速览

以下代码片段展示了每种机制最核心的API使用模式，便于直观对比：

自旋锁

spinlock_t my_lock;
spin_lock_init(&my_lock);

spin_lock(&my_lock);
/* 临界区：极短，不可睡眠 */
spin_unlock(&my_lock);

/* 中断上下文版本 */
unsigned long flags;
spin_lock_irqsave(&my_lock, flags);
/* 临界区 */
spin_unlock_irqrestore(&my_lock, flags);

互斥锁

struct mutex my_mutex;
mutex_init(&my_mutex);

mutex_lock(&my_mutex);
/* 临界区：可睡眠，允许较长时间 */
mutex_unlock(&my_mutex);

信号量

struct semaphore my_sem;
sema_init(&my_sem, 1);   /* 初始值为1，当作互斥锁使用 */

down(&my_sem);
/* 临界区 */
up(&my_sem);

读写锁（rwlock_t）

rwlock_t my_rwlock;
rwlock_init(&my_rwlock);

/* 读者 */
read_lock(&my_rwlock);
/* 只读访问 */
read_unlock(&my_rwlock);

/* 写者 */
write_lock(&my_rwlock);
/* 修改数据 */
write_unlock(&my_rwlock);

RCU（读者侧）

rcu_read_lock();
/* 通过 rcu_dereference() 访问受保护指针 */
struct my_data *p = rcu_dereference(g_ptr);
if (p)
    do_something_with(p);
rcu_read_unlock();

2.4 同步机制性能与适用场景定位图

下图从读者并发度和写者开销两个维度，直观展示五种同步机制的定位差异：

2.5 RCU的独特定位：读者零锁与写者延迟回收

从上图可以清晰看到，RCU 处于读者并发度最高且写者开销最高的极端位置。这种特性来源于其核心设计哲学：

• 读者路径： 不使用任何原子操作、内存屏障或锁指令。读者仅通过 rcu_read_lock() 标记临界区开始，通过 rcu_dereference() 读取指针。在大多数CPU架构上，这两个操作编译后仅为普通内存访问指令。
• 写者路径： 写者需要执行“复制-更新-发布”三步操作，然后等待所有在读读者退出临界区（即宽限期），最后才能安全回收旧数据。这个等待过程可能涉及 synchronize_rcu() 或 call_rcu() 回调，开销远高于普通锁的写操作。

2.6 何时不应使用RCU

RCU 并非万能药，以下情况应避免使用：

• 写操作频繁且要求低延迟： 如果每秒写操作超过数千次，RCU 的宽限期等待和内存回收开销会显著增加，此时读写锁或自旋锁可能更合适。
• 临界区需要睡眠： RCU 读者侧禁止睡眠，如果读者需要执行可能阻塞的操作（如内存分配、文件I/O），必须使用互斥锁或读写信号量。
• 保护简单共享变量： 对于单个整型或布尔值的读写，原子操作（atomic_t）或自旋锁的开销远低于 RCU 的写者延迟回收机制。
• 实时性要求极高的系统： RCU 的宽限期长度不可预测（取决于所有CPU上读者临界区的最大持续时间），在硬实时系统中可能引入不可接受的延迟抖动。