1. PREEMPT_RT 内核概述
PREEMPT_RT 补丁集是 Linux 内核社区为实现硬实时能力而持续维护的核心改造项目。它通过将内核中不可抢占的临界区缩减到微秒级，使 Linux 能够满足工业控制、航空航天、机器人等场景对确定性延迟的严苛要求。本章从背景、目标与核心特性三个维度展开，并与标准内核进行系统性对比。
1.1 背景：为什么需要 PREEMPT_RT
标准 Linux 内核在设计之初主要面向通用计算与服务器场景，其调度与锁机制在实时性方面存在三个根本性短板：
- 中断不可抢占：中断处理程序（尤其是底半部）运行时，即使更高优先级的实时任务就绪，也必须等待中断处理完成。
- 自旋锁持有期间抢占被关闭：标准内核中，持有自旋锁的 CPU 会关闭本地抢占，导致实时任务被阻塞的时间不可控。
- 全局锁竞争：内核中大量使用全局锁（如 tasklist_lock、mmap_lock），低优先级任务持锁时可能被高优先级任务抢占，引发优先级反转。
关键数据：在标准内核（5.10，未打 PREEMPT_RT 补丁）上，x86_64 平台实测中断关闭时间可达 200μs 以上，而 PREEMPT_RT 内核可将该值压缩至 5μs 以内。
1.2 目标：PREEMPT_RT 追求什么
PREEMPT_RT 项目的核心目标可以归纳为以下四点：
| 目标维度 | 具体描述 | 衡量指标 |
|---|---|---|
| 确定性延迟 | 保证最高优先级任务在可预测的最坏情况延迟内得到响应 | 最坏情况延迟 < 100μs（典型硬件） |
| 可抢占性最大化 | 将内核中所有不可抢占区域缩减到最小 | 抢占关闭时间 < 10μs |
| 优先级继承 | 消除优先级反转导致的无限期阻塞 | 所有锁机制支持优先级继承协议 |
| API 兼容性 | 用户态 POSIX 线程与标准内核保持二进制兼容 | 无需修改应用程序即可运行 |
1.3 核心特性：PREEMPT_RT 如何实现实时性
PREEMPT_RT 补丁对内核进行了四项关键改造，这些改造直接影响了内存锁的行为与排查方法：
- 中断线程化：将中断处理程序（包括软中断）转换为内核线程，允许被实时任务抢占。
- 自旋锁替换为互斥锁：所有自旋锁（包括 raw_spinlock 之外的变体）在 RT 内核中变为可睡眠的 rt_mutex，持有锁的线程可以被更高优先级的任务抢占。
- 优先级继承协议：rt_mutex 实现完整的优先级继承，防止优先级反转。
- RCU 读侧可抢占：RCU 读侧临界区在 RT 内核中允许被抢占，减少读侧阻塞时间。
实践提示：在 PREEMPT_RT 内核中排查内存锁冲突时，需要特别关注 rt_mutex 的持有链与优先级继承关系。标准内核中自旋锁导致的死锁在 RT 内核中可能表现为优先级反转导致的调度延迟。
1.4 架构对比：标准内核 vs PREEMPT_RT 内核
下图展示了标准内核与 PREEMPT_RT 内核在中断处理与锁机制上的架构差异：
1.5 实时性差异量化对比
下表从六个关键维度对标准内核与 PREEMPT_RT 内核进行量化对比：
| 对比维度 | 标准内核 | PREEMPT_RT 内核 | 改善幅度 |
|---|---|---|---|
| 中断关闭时间 | 50~200μs | 1~5μs | 10~40 倍 |
| 抢占关闭时间 | 100~500μs | 5~15μs | 10~30 倍 |
| 自旋锁持有时间 | 不可预测（依赖临界区） | 可被抢占，上限可控 | 确定性提升 |
| 优先级反转 | 可能无限期阻塞 | 优先级继承，阻塞有界 | 消除无限反转 |
| 调度延迟抖动 | ±100μs 以上 | ±5μs 以内 | 20 倍以上 |
| 内存锁冲突排查复杂度 | 较低（自旋锁简单） | 较高（需分析 rt_mutex 链） | 需要新工具 |
1.6 内存锁冲突排查的视角转换
在 PREEMPT_RT 内核中排查内存锁冲突时，需要从标准内核的“自旋锁 + 抢占关闭”视角切换到“rt_mutex + 优先级继承”视角。以下是一个典型的排查思路转换：
标准内核排查思路：
1. 检查自旋锁持有时间是否过长
2. 检查中断关闭是否导致延迟
3. 使用 lockdep 检测死锁
PREEMPT_RT 内核排查思路：
1. 检查 rt_mutex 持有链是否存在优先级反转
2. 检查中断线程的优先级设置是否合理
3. 使用 cyclictest + trace-cmd 分析调度延迟分布
4. 使用 rtla（Real-Time Linux Analysis）工具定位锁冲突热点
1. 检查自旋锁持有时间是否过长
2. 检查中断关闭是否导致延迟
3. 使用 lockdep 检测死锁
PREEMPT_RT 内核排查思路：
1. 检查 rt_mutex 持有链是否存在优先级反转
2. 检查中断线程的优先级设置是否合理
3. 使用 cyclictest + trace-cmd 分析调度延迟分布
4. 使用 rtla（Real-Time Linux Analysis）工具定位锁冲突热点
常见误区：在 PREEMPT_RT 内核中，不要直接使用标准内核的 spin_lock() 调试方法。因为 spin_lock 在 RT 内核中已被替换为 rt_mutex，其行为与标准内核完全不同。例如，在 RT 内核中持有 spin_lock 的线程可能被更高优先级的任务抢占，这在标准内核中不会发生。