3、互斥锁（Mutex）原理与实现

互斥锁（Mutex）是内核中最基础的睡眠锁之一，用于保护临界区，确保同一时间只有一个任务可以持有锁。与自旋锁不同，当互斥锁被占用时，等待的任务会进入睡眠状态，从而避免忙等浪费 CPU 资源。本章深入剖析互斥锁的睡眠等待机制、乐观自旋优化以及其与信号量的核心区别。

3.1 互斥锁的睡眠等待机制

当任务尝试获取一个已被持有的互斥锁时，它不会原地自旋，而是将自己放入一个等待队列，并调用调度器让出 CPU。这个过程称为“睡眠等待”。其核心流程如下：

1. 快速路径（Fast Path）：尝试原子性地将锁的计数器从 1（未锁定）减为 0（锁定）。如果成功，则直接获得锁。
2. 中速路径（Mid Path / MCS 自旋）：如果快速路径失败（锁已被持有），且锁的持有者正在运行（没有睡眠），则尝试在 MCS 锁上短暂自旋，期望持有者很快释放锁。这是乐观自旋优化的基础。
3. 慢速路径（Slow Path）：如果中速路径也失败（持有者已睡眠或自旋超时），任务会创建一个 mutex_waiter 结构体，将其加入等待队列尾部，然后调用 schedule() 进入睡眠状态。
4. 唤醒路径：当持有者释放锁时，它会从等待队列头部唤醒一个等待者。被唤醒的任务会重新尝试获取锁。

3.2 Mutex 的乐观自旋优化

为了减少不必要的睡眠-唤醒开销，Linux 内核在互斥锁中引入了 乐观自旋（Optimistic Spinning） 机制。其核心思想是：当锁被持有时，如果持有者当前正在 CPU 上运行（而非睡眠），那么等待者可以短暂地自旋等待，期望持有者很快释放锁。这避免了两次昂贵的上下文切换。

乐观自旋的实现依赖于 MCS（Mellor-Crummey and Scott）锁机制，它为每个等待者提供一个本地自旋节点，避免了传统自旋锁的“乒乓”缓存行 bouncing 问题。

3.3 Mutex 与信号量的区别

互斥锁和信号量（Semaphore）都是内核中用于同步的睡眠锁，但它们在语义、使用场景和行为上存在本质区别。信号量本质上是一个计数器，允许多个任务同时访问受保护的资源（计数信号量），而互斥锁是二值信号量的特例，强调“所有权”和“递归”行为。

3.4 代码示例：Mutex 与信号量使用对比

以下代码片段展示了在内核模块中使用 Mutex 和信号量的典型模式。

/* 互斥锁示例：保护共享数据结构 */
#include <linux/mutex.h>

static DEFINE_MUTEX(my_mutex);
static struct my_data shared_data;

void update_data(struct my_data *new) {
    mutex_lock(&my_mutex);
    /* 临界区开始 */
    shared_data = *new;
    /* 临界区结束 */
    mutex_unlock(&my_mutex);
}

/* 信号量示例：控制资源池访问 */
#include <linux/semaphore.h>

static DEFINE_SEMAPHORE(pool_sem, MAX_RESOURCES);

struct resource *get_resource(void) {
    struct resource *res;

    if (down_interruptible(&pool_sem)) {
        return ERR_PTR(-ERESTARTSYS);
    }
    /* 从池中获取资源 */
    res = acquire_from_pool();
    return res;
}

void put_resource(struct resource *res) {
    release_to_pool(res);
    up(&pool_sem);
}