20251125 - 为什么Linux是非实时操作系统？

为什么Linux是非实时操作系统？

这是一个非常深刻的问题，触及了操作系统设计的根本哲学。

对于习惯了 STM32（裸机或 FreeRTOS）的开发者来说，理解这一点非常重要：

"非实时"并不代表"慢"，而是代表"不可预测"。

在 STM32 的世界里（RTOS 或裸机），"实时"意味着确定性 (Determinism)。

场景： 假设你设置了一个中断，要求一旦触发，必须在 10微秒 内响应。
STM32： 只要你把中断优先级设为最高，CPU 会立刻、无条件地打断当前任务去执行中断。响应时间几乎是固定的（比如 12 个时钟周期）。
Linux： 就算你把任务优先级设得很高，CPU 可能会说："等一下，我现在正在处理内存页表，或者正在响应网卡的大量数据，忙完了再理你。" 结果可能是 10微秒，也可能是 500微秒，甚至是 1毫秒。

Linux 是"非实时"的，因为它不能保证在严格规定的时间内完成任务。它追求的是吞吐量（大家都能干活），而不是确定性（某个人必须马上干完）。

这主要归咎于 Linux 为了成为一个通用的、多功能的操作系统而做出的设计妥协。

STM32 (FreeRTOS)： 采用抢占式优先级调度 。只要高优先级任务就绪，低优先级任务必须立刻让路。哪怕低优先级任务才刚运行了 1ns，也得滚蛋。
Linux (标准)： 采用 CFS 调度器 。它的设计目标是**"公平"**。
- 如果一个高优先级任务一直霸占 CPU，Linux 会觉得"这对其他进程不公平"，可能会强行挂起它，让别的低优先级进程也跑一会儿，防止它们"饿死"。
- 这种"为了公平而产生的切换"，导致了时间上的不可预测。

这是最关键的一点。

用户态 (User Space)： 是可以随时被抢占的。
内核态 (Kernel Space)： 在标准 Linux 内核中，当驱动程序进入临界区 (Critical Section) 或者获取了 自旋锁 (Spinlock) 时，它是不能被抢占 的。
- 例子： 假设 Linux 内核正在处理一个复杂的 USB 协议栈（内核态），为了防止数据错乱，它关掉了抢占。此时，你的 GPIO 中断来了（需要立刻处理）。
- 结果： CPU 必须等 USB 驱动把那段代码跑完，释放了锁，才能去响应你的 GPIO 中断。这段等待时间是未知的。

你刚学到的 MMU 在这里成了"捣乱者"。

STM32： 所有的代码都在 Flash/SRAM 里，地址是固定的，读取指令的时间是固定的。
Linux： 应用程序使用的是虚拟地址。
- 当你运行一个程序时，Linux 可能并没有真的把它加载到物理内存里（为了省内存）。
- 当程序执行到某一行代码时，MMU 发现："哎呀，这页数据不在内存里（在 eMMC 里）！"
- 缺页异常 (Page Fault)： CPU 此时必须暂停当前程序，触发一个异常，去慢吞吞的 eMMC 里把数据读到 DDR 内存，修改页表，然后再恢复运行。
- 这个过程对于毫秒级的应用没感觉，但对于微秒级的工业控制来说，就是灾难性的延迟。

STM32 (实时)：

你（高优先级中断）进餐厅大喊一声"我要水！"。

服务员（CPU）手里不管端着什么盘子，立刻扔在地上，马上给你倒水。响应时间：极快、固定。
Linux (非实时)：

你（高优先级任务）进餐厅大喊一声"我要水！"。

服务员（CPU）正在给另一桌客人（低优先级任务）倒酒。服务员心想："根据服务手册（内核机制），我手里正拿着酒瓶（持有锁），不能扔，我得先把这杯酒倒完，把瓶子放好，再过去给你倒水。"

响应时间：取决于那杯酒倒了多久（不确定）。

既然 i.MX6ULL 常用于工业，如果不实时，怎么控制电机？怎么读取传感器？

分工合作：
- Linux (i.MX6ULL) 负责： 界面显示 (LVGL)、网络传输 (4G/WiFi)、数据库、文件存储。这些不需要微秒级实时。
- STM32 (外挂) 负责： 电机控制、编码器读取、紧急急停。这些需要实时。
- 方案： 很多板子是 i.MX6ULL + STM32 双芯片方案，中间通过串口或 SPI 通信。
实时补丁 (Preempt-RT)：

Linux 社区有大神开发了 PREEMPT_RT 补丁，强行让内核变得"可抢占"，让 Linux 变得"硬实时"。但这会牺牲整体的吞吐量。
异构多核 (AMP)：

现在更高级的芯片（如 i.MX8, STM32MP1）内部直接集成了 A核 (跑 Linux) 和 M核 (跑裸机/FreeRTOS)，在一个芯片里解决两个问题。

因为 CFS 调度器、内核锁机制、MMU 缺页异常 的存在，标准 Linux 无法保证任务在确定的时间内完成，所以它是非实时的。