2. PREEMPT_RT 补丁架构：内核抢占模型演进与关键特性

PREEMPT_RT 补丁并非凭空创造，而是建立在 Linux 内核抢占模型逐步演进的基础之上。理解从无抢占到完全实时抢占的演进路径，是掌握中断控制器适配的前提。本章将系统梳理四种抢占模型，并深入剖析 PREEMPT_RT 的三大核心机制：中断线程化、自旋锁可抢占与高精度定时器。

2.1 内核抢占模型演进

Linux 内核主线提供了四种可选的抢占配置，从左到右实时性逐级增强。下表从抢占时机、适用场景与延迟特性三个维度进行对比：

下图展示了四种模型下内核代码执行流的抢占边界差异：

2.2 中断线程化（IRQ Threading）

中断线程化是 PREEMPT_RT 最核心的改造之一。传统 Linux 中，硬件中断处理程序（ISR）运行在不可抢占的上下文（硬中断上下文），即使高优先级实时任务也无法抢占它。PREEMPT_RT 将大部分中断处理逻辑移入内核线程，使中断处理可被调度器管理。

2.2.1 中断线程化架构

中断线程化后的处理流程分为两个阶段：

1. 上半部（硬中断）： 仅执行最必要的操作（如清除中断标志、读取硬件状态），然后唤醒对应的中断线程。
2. 下半部（线程化）： 在可抢占的线程上下文中执行实际的数据处理、协议解析等工作，受调度器优先级控制。

2.2.2 中断线程化的配置与验证

在 PREEMPT_RT 内核中，中断线程化通过内核参数 threadirqs 控制，默认开启。可以通过以下方式查看中断线程状态：

# 查看所有中断及其对应的线程
cat /proc/interrupts

# 查看特定中断线程的优先级
ps -eo pid,comm,pri,rtprio | grep irq

# 示例输出：irq/50-eth0 线程运行在实时优先级 50
 1234 irq/50-eth0     50   50

2.3 自旋锁可抢占（Preemptible Spinlocks）

传统自旋锁在持有期间会禁止内核抢占，导致实时任务无法抢占锁持有者。PREEMPT_RT 将自旋锁改造为可睡眠的互斥锁（rt_mutex），使锁持有者可以被更高优先级的任务抢占。

2.3.1 锁机制对比

2.3.2 自旋锁可抢占的实现原理

PREEMPT_RT 通过以下机制实现自旋锁的可抢占：

1. 锁类型重映射： 将 spinlock_t 结构体扩展为包含 rt_mutex 字段的复合结构。
2. 优先级继承： 当低优先级任务持有锁时，高优先级任务等待该锁，系统会将低优先级任务临时提升到高优先级，防止优先级反转。
3. 锁内抢占点： 在持有 spin_lock 的代码路径中插入抢占检查点，允许更高优先级的任务在锁内被调度。

2.4 高精度定时器（High-Resolution Timers）

PREEMPT_RT 将内核定时器从基于 jiffies 的粗粒度定时器升级为高精度定时器（hrtimer），提供纳秒级定时精度。这对于中断控制器适配至关重要，因为许多实时应用依赖精确的定时中断来触发采样或控制动作。

2.4.1 hrtimer 与传统定时器对比

2.4.2 hrtimer 在中断控制器适配中的应用

在 PREEMPT_RT 系统中，中断控制器驱动可以利用 hrtimer 实现以下功能：

• 精确延迟测量： 使用 hrtimer 测量中断响应时间，验证实时性能。
• 周期性中断模拟： 当硬件中断控制器不支持周期性中断时，通过 hrtimer 模拟固定周期的中断触发。
• 超时管理： 为中断处理设置精确超时，防止硬件挂死导致系统无响应。

// 中断控制器驱动中使用 hrtimer 的典型模式
#include <linux/hrtimer.h>
#include <linux/ktime.h>

struct my_irq_ctrl {
    struct hrtimer timer;
    // ... 其他字段
};

// 定时器回调函数
static enum hrtimer_restart my_timer_callback(struct hrtimer *timer)
{
    struct my_irq_ctrl *ctrl = container_of(timer, struct my_irq_ctrl, timer);
    
    // 执行周期性中断处理
    // ...
    
    // 重新启动定时器（周期模式）
    hrtimer_forward_now(timer, ktime_set(0, 1000000)); // 1ms 周期
    return HRTIMER_RESTART;
}

// 初始化 hrtimer
void my_irq_ctrl_init(struct my_irq_ctrl *ctrl)
{
    hrtimer_init(&ctrl->timer, CLOCK_MONOTONIC, HRTIMER_MODE_REL);
    ctrl->timer.function = my_timer_callback;
}

2.5 三大关键特性的协同关系

中断线程化、自旋锁可抢占与高精度定时器并非独立工作，而是相互协同，共同构建实时内核的基础设施：