Linux内核并发竞争与同步机制实战解析

1. Linux内核并发与竞争的本质问题

当多个执行单元（进程、线程、中断处理程序）同时访问共享资源时，就会形成竞态条件（Race Condition）。我在调试一块定制开发板时曾遇到这样的案例：触摸屏驱动中，中断处理程序与用户态ioctl操作同时修改校准参数，导致屏幕坐标计算出现毫米级偏移。

竞态条件产生的根本原因在于现代处理器架构的三个特性：

1. 指令乱序执行（Out-of-order execution）
2. 多级缓存一致性协议（如MESI）
3. 编译器优化导致的指令重排

以ARMv8处理器为例，当CPU0和CPU1同时修改L1缓存中的共享变量时，即使有缓存一致性协议，仍然可能出现这样的执行序列：

code复制CPU0: 读取变量A(值=1) → 修改为2 → 写入L1缓存
CPU1: 读取变量A(值=1) → 修改为3 → 写入L1缓存

最终变量A的值取决于最后写入的CPU，结果具有不确定性。

2. 内核提供的同步机制详解

2.1 原子操作实现原理

ARM架构的原子操作依赖于LDREX/STREX指令对。我在调试Zynq MPSoC时发现，错误的原子操作使用会导致死锁：

c复制atomic_t counter = ATOMIC_INIT(0);

// 错误用法：在中断上下文和进程上下文混合使用
void interrupt_handler() {
    atomic_inc(&counter); // 可能引发死锁
}

正确的做法是区分使用场景：

• 单CPU环境：使用atomic_t足够
• SMP环境：需要配合内存屏障
• 中断上下文：优先使用local_irq_save/restore

2.2 自旋锁的底层实现

以spinlock_t为例，其核心字段是：

c复制typedef struct {
    volatile unsigned int lock;
    int owner_cpu;
} spinlock_t;

x86架构下spin_lock()的典型实现流程：

1. 调用preempt_disable()禁止抢占
2. 使用cmpxchg指令尝试获取锁
3. 若失败则进入忙等待循环（pause指令）
4. 成功后将owner_cpu设为当前CPU

我在R