📚 课程目录第3章 Linux内核与实时性

3. Linux内核与实时性

要理解 PREEMPT RT 为什么能改善实时性，必须先看清标准 Linux 内核在实时场景下的“天然短板”。标准 Linux 的设计目标是吞吐量、公平性和通用性，而不是确定性响应。它的内核架构、调度器、中断处理和抢占模型共同决定了：一个高优先级实时任务从“就绪”到“真正占用 CPU”，中间可能被大量不可抢占的内核路径、中断处理程序和软中断延迟。PREEMPT RT 的本质，就是把这些延迟源逐一拆解、缩短或转化为可抢占的线程化路径。

一、核心原理：标准内核的四大实时性瓶颈

标准 Linux 内核在实时性上主要有四个瓶颈，它们彼此叠加，形成最坏情况下的长延迟。

内核不可抢占区：自旋锁、中断禁用区、RCU 读临界区等会阻止调度器切换任务。高优先级任务即使已经就绪，也必须等待当前内核路径退出这些区域。
中断处理程序：硬中断在关中断上下文中执行，优先级高于任何任务。长中断处理会直接推迟实时任务的调度。
软中断与 tasklet：网络、块设备等软中断在中断返回后批量执行，可能连续占用大量 CPU 时间，且不可被普通任务抢占。
调度器粒度与公平性：CFS 追求公平，不保证高优先级任务立即抢占；调度延迟受调度周期、唤醒粒度和负载影响。

实时性关注的是“最坏情况延迟”（Worst-Case Latency），而不是平均延迟。标准 Linux 的平均延迟可能只有几十微秒，但最坏情况可能达到毫秒甚至数十毫秒，这正是实时控制无法接受的。

二、内核架构与抢占模型：从不可抢占到完全可抢占

Linux 内核的抢占模型经历了多个阶段，可以用一张关系图清晰表达其演进与实时性影响。

从上图可以看到，PREEMPT RT 并不是简单地“打开一个开关”，而是对内核中所有可能造成长延迟的路径进行系统性改造。它把中断处理程序线程化，把软中断转为内核线程，把自旋锁替换为可睡眠的 RT 互斥锁，并大幅缩短关中断临界区。这样，高优先级实时任务几乎可以在任何时刻抢占内核执行路径。

三、调度器与中断处理：实时任务如何获得 CPU

标准 Linux 使用 CFS（完全公平调度器）作为默认调度器，它按虚拟运行时间分配 CPU，强调公平性。对于实时任务，Linux 提供 SCHED_FIFO 和 SCHED_RR 两种实时调度策略，优先级范围为 1~99，高于普通任务的 nice 值。但在标准内核中，即使实时任务优先级很高，它仍可能被内核不可抢占区、硬中断和软中断阻塞。

PREEMPT RT 对调度器和中断处理做了以下关键改造：

中断线程化：除少数关键中断外，大部分硬中断处理程序被转换为内核线程，拥有自己的优先级，可被更高优先级任务抢占。
软中断线程化：软中断和 tasklet 不再在中断返回路径中批量执行，而是由内核线程按调度策略执行。
RT 互斥锁：自旋锁被替换为支持优先级继承的 rt_mutex，避免优先级反转导致高优先级任务无限等待。
可抢占内核：内核态代码几乎全部可抢占，只有极短的原子操作区不可抢占。

在 PREEMPT RT 系统中，实时任务通常使用 SCHED_FIFO 策略，并设置较高优先级（如 80）。中断线程和软中断线程的优先级需要合理配置，避免它们长期占用 CPU 而阻塞实时任务。

四、实操场景：查看与配置实时参数

在调试实时性时，常用以下命令查看当前系统的调度与中断状态：

# 查看内核抢占模型
uname -a
cat /sys/kernel/realtime

# 查看中断线程化情况
ps -eLo pid,tid,cls,rtprio,comm | grep -i irq

# 查看实时任务调度策略
chrt -p <pid>

# 设置实时任务优先级
chrt -f 80 ./my_realtime_app

# 查看中断统计
cat /proc/interrupts

# 查看软中断统计
cat /proc/softirqs

一个典型的实时控制场景是：电机控制任务以 1kHz 周期运行，要求每次控制计算在 200 微秒内完成。在标准 Linux 上，网络中断或磁盘 I/O 软中断可能造成数毫秒延迟，导致控制周期抖动。在 PREEMPT RT 上，网络中断被线程化，软中断由低优先级内核线程处理，电机控制任务以 SCHED_FIFO 优先级 80 运行，可以稳定地在截止时间内完成。

五、常见误区与复盘

误区	实际情况	正确做法
打了 PREEMPT RT 补丁就一定能满足实时性	补丁只解决内核延迟源，应用层设计、CPU 隔离、中断亲和性同样关键	结合 isolcpus、irqaffinity、cgroup 等手段综合调优
实时任务优先级越高越好	过高优先级可能阻塞中断线程和内核关键线程，导致系统异常	合理分配优先级，保留中断线程和看门狗线程的优先级空间
软中断线程化后就不影响实时性	软中断线程仍会消耗 CPU，若优先级配置不当仍会干扰实时任务	将软中断线程优先级设为低于实时任务，并绑定到非实时 CPU
忽略优先级反转	普通互斥锁可能导致高优先级任务等待低优先级任务	使用 RT 互斥锁或优先级继承机制，避免无界等待

实时性调优不是“一补丁了之”。必须通过 cyclictest、ftrace、perf 等工具测量最坏延迟，定位剩余延迟源，再针对性优化。常见剩余延迟源包括：BIOS/SMM、CPU 频率调节、内存管理、电源管理、非实时驱动等。

总结来说，Linux 内核的实时性取决于四个层面的协同：内核架构是否可抢占、调度器是否能及时切换、中断处理是否可被抢占、以及锁机制是否避免优先级反转。PREEMPT RT 通过线程化中断、软中断、RT 互斥锁和完全可抢占内核，把标准 Linux 从“吞吐优先”改造成“确定性优先”的实时内核。理解这些机制，才能在实时控制工程中正确配置优先级、隔离 CPU、测量延迟，并最终满足控制周期的硬实时要求。