4. PREEMPT_RT核心机制

PREEMPT_RT 补丁集通过四项核心机制将通用 Linux 内核改造为硬实时内核。这些机制相互配合，从根本上消除了内核中的非确定性延迟来源，使系统能够满足微秒级的实时响应要求。本章逐一剖析每项机制的设计原理、实现方式及其在实时性提升中的具体作用。

4.1 可抢占内核（Preemptible Kernel）

在标准 Linux 内核中，当进程进入内核态（如执行系统调用或处理中断）时，除非主动睡眠或返回用户态，否则不能被其他进程抢占。这意味着一个优先级较低的进程在内核中执行长时间操作时，高优先级实时任务必须等待，造成不可预测的延迟。

PREEMPT_RT 通过以下改造实现了内核的完全可抢占性：

• 自旋锁替换为可睡眠锁：将内核中大部分自旋锁（spinlock）替换为支持优先级继承的实时互斥锁（RT Mutex），使持有锁的进程可以被更高优先级的任务抢占。
• 临界区可抢占：在原本不可抢占的内核代码路径中插入抢占点（preemption point），允许高优先级任务在安全时机中断低优先级任务的内核执行。
• RCU 读侧优化：将 RCU（Read-Copy-Update）读侧临界区改造为可抢占版本，避免读侧长时间占用 CPU。

4.2 中断线程化（Interrupt Threading）

传统 Linux 中，中断处理程序运行在不可抢占的上下文（IRQ context），且优先级高于任何用户态或内核态进程。这导致即使是不重要的设备中断，也能抢占高优先级实时任务。PREEMPT_RT 将中断处理程序改造为内核线程，使其受内核调度器管理。

中断线程化的核心实现：

• 上半部（Top Half）：极简的硬件确认操作，仍运行在 IRQ context，但仅做必要的寄存器保存和中断线程唤醒。
• 下半部（Bottom Half）：实际的中断处理逻辑被移至内核线程 irq/<number>-<name> 中执行，该线程具有实时优先级，可被调度器管理。
• 优先级映射：每个中断线程的优先级可通过 chrt 命令或 /proc/irq/<irq>/smp_affinity 接口动态调整。

4.3 实时互斥锁（RT Mutex）

标准内核中的自旋锁（spinlock）在持有期间会禁用抢占和中断，导致不可预测的延迟。PREEMPT_RT 引入实时互斥锁（RT Mutex）作为内核同步的主要原语，其核心特性是支持优先级继承协议，从根本上解决了优先级反转问题。

RT Mutex 的实现要点：

• 可睡眠等待：当任务无法获取锁时，会主动睡眠并让出 CPU，而不是忙等待（spin）。
• 优先级继承：当低优先级任务持有锁而高优先级任务等待时，低优先级任务会临时继承高优先级任务的优先级，从而尽快释放锁。
• 死锁检测：内核内置 CONFIG_DEBUG_RT_MUTEXES 选项，可在开发阶段检测潜在的死锁和优先级继承异常。

// RT Mutex 内核数据结构（简化版）
struct rt_mutex {
    raw_spinlock_t      wait_lock;      // 保护等待队列的自旋锁
    struct rb_root_cached   waiters;    // 按优先级排序的等待者红黑树
    struct task_struct      *owner;     // 当前持有者（含状态标志）
    int                     save_state; // 是否保存持有者原始优先级
};

// 用户空间使用示例（通过 futex 系统调用）
int ret;
struct timespec timeout = { .tv_sec = 0, .tv_nsec = 5000000 }; // 5ms 超时

ret = pthread_mutex_lock(&rt_mutex);
if (ret == 0) {
    // 临界区操作
    pthread_mutex_unlock(&rt_mutex);
} else {
    // 超时或错误处理
    printf("Failed to acquire RT mutex: %d\n", ret);
}

4.4 优先级继承协议（Priority Inheritance Protocol）

优先级反转是实时系统中经典的同步问题：当高优先级任务等待低优先级任务持有的锁时，如果中优先级任务抢占低优先级任务，高优先级任务反而被间接阻塞。PREEMPT_RT 通过优先级继承协议解决此问题。

优先级继承的工作机制：

1. 检测阻塞：当高优先级任务尝试获取已被低优先级任务持有的 RT Mutex 时，内核检测到优先级反转条件。
2. 临时提升：低优先级任务（锁持有者）的优先级被临时提升至高优先级任务的优先级。
3. 快速释放：提升后的低优先级任务获得 CPU 执行权，尽快完成临界区操作并释放锁。
4. 恢复原优先级：锁释放后，低优先级任务恢复其原始优先级，高优先级任务获得锁并继续执行。

4.5 四项机制的协同工作

可抢占内核、中断线程化、RT Mutex 和优先级继承协议并非孤立运行，而是形成一个完整的实时同步体系：

• 中断线程化 将中断处理纳入调度器管理，使 可抢占内核 能够在其执行期间进行抢占。
• RT Mutex 替代自旋锁后，可抢占内核 的抢占点才能真正发挥作用，因为锁不再禁用抢占。
• 优先级继承协议 确保在 RT Mutex 竞争场景下，高优先级任务的延迟有确定的上界。
• 四项机制共同将内核的最大关抢占时间（preemption-off time）从标准内核的 10 毫秒以上降低至 PREEMPT_RT 的 5-15 微秒。