3. 自旋锁原理：数据结构、忙等待机制与变体

自旋锁（spinlock）是 Linux 内核中最基础的同步原语之一，专为 短临界区 和 不可睡眠上下文 设计。理解其数据结构和忙等待机制，是掌握内核并发调试的第一步。

3.1 自旋锁的核心数据结构

在 Linux 内核中，自旋锁的核心数据结构定义在 <linux/spinlock_types.h> 中。不同架构下的底层实现略有差异，但上层抽象统一为 spinlock_t。

以 x86 架构的 ticket spinlock 为例，其结构体本质是一个 原子计数器，分为两个部分：

// x86 架构下的 arch_spinlock_t (简化)
typedef struct {
    union {
        u32 slock;               // 整个 32 位锁变量
        struct {
            u16 owner;           // 当前持有锁的 ticket 号
            u16 next;            // 下一个可获取锁的 ticket 号
        };
    };
} arch_spinlock_t;

3.2 忙等待机制：Ticket Spinlock 原理

自旋锁的 忙等待（busy-waiting） 是指当锁被持有时，等待的 CPU 不会睡眠，而是在一个紧凑的循环中不断检测锁状态，直到锁被释放。x86 架构使用 Ticket Spinlock 算法来保证公平性。

Ticket Spinlock 的核心操作流程：

1. 获取 ticket： 每个等待的 CPU 通过原子指令（如 atomic_add_return）获取一个唯一的 ticket 号，同时 next 计数器递增。
2. 比较 owner： 检查自己的 ticket 是否等于 owner 字段。如果相等，说明锁已传递到当前 CPU，进入临界区。
3. 忙等待： 如果不相等，CPU 在一个紧凑的 while 循环中反复读取 owner 值，直到匹配。循环体内通常包含 cpu_relax() 指令（x86 的 PAUSE 指令），以降低功耗并提高超线程性能。
4. 释放锁： 临界区结束后，原子递增 owner 字段，将锁传递给下一个等待者。

3.3 自旋锁的变体：raw_spinlock 与 spinlock

Linux 内核提供了两种自旋锁变体，以满足不同内核配置（特别是 RT 内核）下的需求。

3.3.1 何时使用 raw_spinlock_t？

• 中断处理程序： 在 handle_irq() 或 threaded_irq 中，如果临界区必须绝对避免睡眠，使用 raw_spin_lock()。
• 调度器代码： kernel/sched/ 下的核心路径，如 context_switch()，必须使用 raw_spinlock_t 以防止递归。
• 底层架构代码： 如 arch/x86/ 中的页表操作、TLB 刷新等。
• 时间子系统： 时钟事件设备、定时器列表操作等。

3.3.2 何时使用 spinlock_t？

• 绝大多数设备驱动： 保护设备寄存器访问、共享数据结构。
• 文件系统操作： 保护 inode、dentry 缓存。
• 网络协议栈： 保护 socket 缓冲区列表、路由表。

3.4 自旋锁的 API 家族

自旋锁提供了一系列变体 API，用于处理不同的中断上下文：

3.5 自旋锁的调试与观测

内核提供了多种机制来观测自旋锁的行为：

• lockdep： 通过 CONFIG_PROVE_LOCKING 启用，在运行时检测潜在的死锁、递归锁、中断上下文反转等问题。
• spinlock 统计： CONFIG_LOCK_STAT 提供每个锁的等待时间、争用次数等统计信息，通过 /proc/lock_stat 查看。
• ftrace： 使用 trace_lock_acquire / trace_lock_release 事件跟踪锁的获取和释放。

# 查看自旋锁争用统计
cat /proc/lock_stat | head -20

# 使用 ftrace 跟踪 spin_lock 事件
echo 0 > /sys/kernel/tracing/tracing_on
echo function_graph > /sys/kernel/tracing/current_tracer
echo spin_lock > /sys/kernel/tracing/set_ftrace_filter
echo 1 > /sys/kernel/tracing/tracing_on
# ... 复现竞态条件 ...
cat /sys/kernel/tracing/trace