跳转至

01 RTOS 通用核心机制

无论是经典的 FreeRTOS、RT-Thread、ThreadX、VxWorks,还是现代化的 Zephyr,所有嵌入式实时操作系统的核心目标都高度一致:提供可预测的执行时序、安全可控的任务并发与确定的中断响应。

本模块梳理所有 RTOS 底层必须直面的普适性计算机系统基础:

graph LR
    A["硬件定时器 / 中断源"] --> B["SysTick / ISR 现场"]
    B --> C["内核调度器 (Scheduler)"]
    C --> D["任务控制块 (TCB) 状态流转"]
    D --> E["上下文切换 (Context Switch)"]
    E --> F["IPC 管道 / 同步锁"]
    F --> G["MPU / 内存保护安全域"]

篇章目录

  1. 实时性与调度理论
  2. 硬实时(Hard Real-Time)与软实时(Soft Real-Time)的核心区别
  3. 确定性(Determinism)、抖动(Jitter)与执行截止时间(Deadline)
  4. 经典周期调度理论:单调速率调度(RMS)与最早截止时间优先(EDF)
  5. 优先级抢占式(Preemptive)与协作式(Cooperative)调度模型

  6. 任务生命周期与上下文切换

  7. 任务状态机:Running、Ready、Blocked/Waiting、Suspended
  8. 任务控制块(TCB)的核心内存布局
  9. 硬件压栈与软件补齐压栈流程(Cortex-M 双堆栈指针 MSP/PSP)
  10. 上下文切换的原子性保证与现场恢复过程

  11. 中断体系与临界区保护

  12. SysTick 系统时钟节拍与时间基准推移
  13. 中断延迟(Interrupt Latency)三要素:关中断时长、硬件仲裁、现场保护
  14. 中断嵌套(Nested Interrupts)与顶半部/底半部(Top/Bottom Half)划分
  15. 临界区保护手段:关全局中断、BasePri 遮罩与互斥锁的开销权衡

  16. IPC 通信与同步机制

  17. 消息队列(Message Queue)底层实现与零拷贝设计
  18. 信号量(Semaphore)与事件组(Event Flags)
  19. 互斥锁(Mutex)与致命的“优先级反转”(Priority Inversion)
  20. 优先级继承协议(PIP)与优先级天花板协议(PCP)

  21. 内存模型与保护机制

  22. 静态编译期分配与动态内存堆分配权衡
  23. 外部碎片与内部碎片的数学本质
  24. 内存保护单元(MPU)在任务级栈隔离与非法越界防御中的应用