4. 互斥锁在RT模型下的优先级继承：优先级反转问题、PI机制、rt_mutex的实现原理

在实时内核抢占模型（PREEMPT_RT）中，互斥锁（mutex）的设计核心在于解决经典的优先级反转问题。标准Linux内核中的信号量（semaphore）和自旋锁（spinlock）在RT模型下被替换为支持优先级继承（Priority Inheritance, PI）的 rt_mutex。本节将深入剖析优先级反转的成因、PI机制的工作原理，以及 rt_mutex 在RT内核中的具体实现。

4.1 优先级反转问题

优先级反转是指一个高优先级任务被一个低优先级任务阻塞，而低优先级任务又被一个中等优先级任务抢占，导致高优先级任务无法在预期时间内执行的现象。这是实时系统中最为致命的调度问题之一。

当任务L持有锁时被任务H抢占，任务H因请求锁而阻塞；此时任务M（优先级介于H和L之间）就绪，抢占任务L，导致任务H无限期等待任务M完成。任务H的实际执行时间被任务M“反转”延长。

4.2 优先级继承（PI）机制

优先级继承是一种协议，当高优先级任务被低优先级任务持有的锁阻塞时，低优先级任务临时继承高优先级任务的优先级，从而防止中等优先级任务抢占。一旦锁被释放，低优先级任务恢复其原始优先级。

4.3 rt_mutex 的实现原理

rt_mutex 是PREEMPT_RT内核中实现优先级继承的互斥锁。其核心数据结构包括等待队列（按优先级排序）、所有者指针以及继承优先级字段。实现的关键在于锁的获取、释放和优先级调整操作。

4.3.1 核心数据结构

struct rt_mutex {
    raw_spinlock_t      wait_lock;      // 保护内部状态的锁
    struct rb_root_cached   waiters;    // 红黑树，按优先级排序的等待队列
    struct task_struct      *owner;     // 当前锁持有者（低2位用于标志）
};

struct task_struct {
    // ...
    int             prio;               // 当前动态优先级
    int             normal_prio;        // 原始优先级
    struct rt_mutex     *pi_lock;       // 指向阻塞自己的rt_mutex
    struct list_head    pi_waiters;     // 等待该任务释放锁的任务列表
    // ...
};

4.3.2 锁获取流程（rt_mutex_lock）

1. 快速路径：尝试原子操作设置owner，若成功则直接返回。
2. 慢速路径：若锁已被持有，当前任务加入 waiters 红黑树。
3. 优先级继承检查：若当前任务优先级高于锁持有者的当前优先级，则触发 rt_mutex_adjust_prio，提升锁持有者的优先级。
4. 递归继承：若锁持有者本身也在等待另一把锁，则沿继承链向上传递优先级。
5. 调度：当前任务调用 schedule() 让出CPU。

4.3.3 锁释放流程（rt_mutex_unlock）

1. 快速路径：若无等待者，直接清除owner标志。
2. 慢速路径：从 waiters 红黑树中取出优先级最高的任务。
3. 优先级恢复：检查锁持有者是否还需要继承优先级（即是否还有其他高优先级任务在等待它）。若没有，恢复其原始优先级。
4. 唤醒：将选中的等待任务唤醒，并移交锁所有权。

4.4 优先级继承链与死锁预防

在复杂场景中，一个任务可能持有多个锁，或者多个任务形成继承链。例如，任务L持有锁A，任务M持有锁B并等待锁A，任务H等待锁B。此时，任务H的优先级需要沿着链传递给任务M和任务L。

rt_mutex 通过 task_struct 中的 pi_waiters 链表维护继承链。每次锁操作都会触发 rt_mutex_adjust_prio_chain 函数，递归调整链上所有任务的优先级。

4.5 故障排查要点