1. 课程导论：实时内核面临的锁竞争挑战，中断线程化与自旋锁替换的动机与目标
1.1 实时内核的锁竞争困境
在嵌入式实时操作系统（RTOS）与 Linux PREEMPT_RT 内核中，锁竞争是导致确定性下降的首要因素。当高优先级任务因等待自旋锁而被低优先级任务或中断上下文阻塞时，系统将面临优先级反转、死锁以及不可预测的调度延迟。
传统自旋锁（Spinlock）在非抢占式内核中表现良好，但在实时场景下暴露出三个核心问题：
- 忙等浪费 CPU：持有锁的线程被抢占后，等待线程持续空转，消耗整核资源。
- 中断上下文阻塞：中断处理程序（ISR）中获取自旋锁时，若锁已被任务持有，将导致中断延迟不可控。
- 优先级反转链：多级锁嵌套场景下，高优先级任务可能被多个中低优先级任务间接阻塞。
关键指标：在 4 核 ARM Cortex-A72 平台上，未优化的自旋锁竞争可导致最高优先级任务响应时间从 5μs 恶化至 2.3ms，抖动增加 460 倍。
1.2 中断线程化：将中断处理移入任务上下文
中断线程化（Interrupt Threading）是 PREEMPT_RT 的核心机制之一。它将原本在中断上下文中执行的处理逻辑，延迟到内核线程中执行，从而允许被其他任务抢占，并能够参与调度器的优先级管理。
| 对比维度 | 传统中断处理 | 中断线程化 |
|---|---|---|
| 执行上下文 | 中断上下文（不可休眠） | 进程上下文（可休眠、可被抢占） |
| 锁使用限制 | 只能使用自旋锁 | 可使用互斥锁（mutex） |
| 优先级影响 | 固定高于所有任务 | 可设置优先级，参与调度 |
| 延迟抖动 | 高（受锁竞争影响） | 低（可被调度器管理） |
实践要点：中断线程化并非适用于所有中断。对于极低延迟需求的中断（如 1μs 级响应），仍需保留硬中断上下文；对于数据量大、处理逻辑复杂的中断，线程化是首选。
1.3 自旋锁替换：从忙等到睡眠等待
自旋锁替换（Spinlock Replacement）是指将实时路径中的自旋锁替换为可睡眠的互斥锁（rt_mutex）或读写锁（rwlock_t）。替换后，等待锁的线程不再忙等，而是主动睡眠并让出 CPU，从而消除空转开销。
替换策略遵循以下原则：
- 中断上下文中的自旋锁：必须保留，因为中断上下文不可睡眠。
- 任务上下文中的自旋锁：优先替换为 rt_mutex，利用优先级继承协议防止反转。
- 临界区极短的自旋锁（< 10 条指令）：保留自旋锁，避免上下文切换开销。
- 嵌套锁路径：必须全部替换，否则混合使用会导致死锁。
常见陷阱：直接全局替换自旋锁为互斥锁会导致死锁。例如，在中断处理程序中获取已被替换的锁时，中断上下文无法睡眠，将触发内核 panic。必须逐路径分析锁的持有上下文。
1.4 锁竞争排查的动机与目标
本课程的核心动机是：在实时内核中，锁竞争是确定性失效的根源，而中断线程化与自旋锁替换是两大核心解决手段。但这两项技术引入后，又会产生新的排查需求——如何验证替换是否正确？如何测量延迟改善？如何定位残留的锁竞争热点？
课程目标可归纳为以下四个层次：
| 层次 | 目标 | 交付物 |
|---|---|---|
| 1. 理解 | 掌握中断线程化与自旋锁替换的原理 | 概念框架图、对比表格 |
| 2. 诊断 | 使用 ftrace、lockdep、perf 定位锁竞争 | 排查流程、命令行示例 |
| 3. 改造 | 实施中断线程化与锁替换改造 | 代码补丁、配置修改 |
| 4. 验证 | 量化延迟改善并确认无回归 | 延迟分布图、cyclictest 数据 |
1.5 核心概念关系图
下图展示了实时内核中锁竞争、中断线程化与自旋锁替换之间的逻辑关系：
1.6 课程路线图
本课程共 30 章，分为四个阶段：
- 第 1-5 章（基础篇）：实时内核锁机制原理、中断上下文与进程上下文差异、自旋锁与互斥锁的实时语义。
- 第 6-15 章（诊断篇）：使用 ftrace 追踪锁持有时间、lockdep 检测死锁、perf 统计锁竞争热点、cyclictest 测量延迟分布。
- 第 16-25 章（改造篇）：中断线程化配置实战、自旋锁替换代码改造、优先级继承协议应用、嵌套锁路径重构。
- 第 26-30 章（验证篇）：改造前后的延迟对比分析、回归测试方法、生产环境部署建议。
学习建议：建议在 QEMU 模拟的 ARM64 平台或树莓派 4B 上搭建实验环境，使用 Linux 5.10 LTS + PREEMPT_RT 补丁进行实操。每章均提供可复现的排查脚本与代码示例。