【软件系统架构】系列四：嵌入式实时操作系统（RTOS）

于 2025-07-05 08:30:00 发布
阅读量298 收藏 11
点赞数 18
CC 4.0 BY-SA版权
分类专栏： 自学软件系统架构 文章标签： 系统架构 嵌入式实时操作系统 RTOS
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/moton2017/article/details/149023443

 目录

一、RTOS 深度解析总览

二、调度器（Scheduler）机制详解

1. 抢占式优先级调度（Preemptive Priority Scheduling）

2. 时间片轮转（Round Robin）

3. EDF（Earliest Deadline First）调度

三、任务管理机制

四、内存管理模型

RTOS 通常不具备 MMU（无进程隔离），内存管理需高效精细：

五、中断与任务协作机制

中断服务函数 ISR 中不能直接调用阻塞函数

六、任务间通信机制（IPC）

七、定时器机制（软件与硬件结合）

Tickless 模式（FreeRTOS/Zephyr）

八、低功耗设计支持

九、RTOS vs 裸机 vs Linux

十、FreeRTOS 与 RT-Thread 调度机制图

FreeRTOS 调度流程（简化版）：

RT-Thread 的 tick 驱动与调度流程：

十一、实践建议

十二、嵌入式 RTOS 项目模板（以 STM32 + FreeRTOS 为例）

1.项目结构模板（基于 FreeRTOS + STM32 HAL）

2.驱动框架设计

（1）Drivers/BSP/led.c

（2）App/tasks/app_ui_task.c

3.任务划分建议（多任务模块）

4.FreeRTOS 初始化流程（main.c）

5.移植与平台适配建议

6.可选功能模块

深入全面解析嵌入式实时操作系统（RTOS），包括设计原理、关键技术模块、调度机制、内存模型、中断与任务协作、低功耗管理、性能优化、与裸机开发的比较、与Linux的接口差异，并以主流 RTOS（如 FreeRTOS/RT-Thread/Zephyr）为例说明核心机制。

一、RTOS 深度解析总览

模块核心关注点
核心设计目标实时性、确定性、最小资源占用、可裁剪性、可靠性
调度机制抢占式优先级调度、时间片轮转、EDF等
中断与任务协同ISR 与 Task 协作，事件通知机制
内存管理模型静态、动态、分区、堆池模型，多数无 MMU 支持
通信机制（IPC）信号量、互斥量、消息队列、事件组、发布订阅等
定时机制硬件 Tick 驱动 + 软件时间轮/堆式定时器
电源管理Tickless 模式、Idle Hook、动态频率调节（DVFS）
多核与SMP支持支持程度有限，常见于 Zephyr、VxWorks
与裸机比较模块化管理、可扩展性强，代价是调度与资源略有开销

二、调度器（Scheduler）机制详解

1. 抢占式优先级调度（Preemptive Priority Scheduling）

  • 每个任务都有一个静态优先级，数值越小优先级越高

  • 当前任务一旦被更高优先级任务抢占，则立即切换

适用于实时性强、事件驱动密集场景

任务 A（优先级3）
任务 B（优先级1）←中断触发激活→立即抢占 A

2. 时间片轮转（Round Robin）

  • 对同一优先级下的任务按时间片轮转执行

  • FreeRTOS 默认不开启，可配置 configUSE_TIME_SLICING = 1

3. EDF（Earliest Deadline First）调度

  • 动态优先级按截止时间计算，较复杂，仅部分 RTOS 支持（如 Zephyr）

三、任务管理机制

  • 状态流转图：

          +--------------+
          |  Suspended   |
          +--------------+
                 ↑
                 |
     vTaskSuspend() / xTaskCreate()
                 |
     +-----------+------------+
     |                        |
     ↓                        ↓
  Ready <---(抢占/时间片)--- Running
     ↑                        ↓
     |         vTaskDelay()   |
     +-------> Blocked <------+

  • 状态切换事件：挂起、恢复、延时、等待资源、IO 等

四、内存管理模型

RTOS 通常不具备 MMU（无进程隔离），内存管理需高效精细：

模式特点
静态分配编译期就确定大小，安全高效，适用于大多数内核结构体
动态分配malloc-like（heap_1~heap_5），适用于任务/队列等
内存池（池分配）以固定块方式分配，避免碎片化
堆式模型heap_4/heap_5 支持最好的碎片整理和重叠检测

五、中断与任务协作机制

中断服务函数 ISR 中不能直接调用阻塞函数

协作方式示例描述
任务通知vTaskNotifyGiveFromISR()单一信号传递，轻量
信号量释放xSemaphoreGiveFromISR()解锁某任务等待的信号量
消息队列发送xQueueSendFromISR()在中断中给任务发送数据
事件组xEventGroupSetBitsFromISR()多任务广播唤醒

FreeRTOS 中 ISR 通常结尾需：

portYIELD_FROM_ISR(xHigherPriorityTaskWoken);

六、任务间通信机制（IPC）

机制作用场景举例
信号量资源控制、同步控制 LED 单资源访问
互斥锁多任务对同一临界资源保护Flash 写操作保护
消息队列任务间发送结构化数据传感器采集任务 → 上传任务
事件组多事件同步唤醒蓝牙连接 & Wi-Fi 同时完成
发布订阅多对多消息通信（如 RT-Thread）中心事件广播机制

七、定时器机制（软件与硬件结合）

  • RTOS 利用系统 Tick 驱动时间轮（时间片）

  • 提供延时函数、定时器 API（如 xTimerCreate()）

Tickless 模式（FreeRTOS/Zephyr）

  • 睡眠时关闭定时中断

  • 节省功耗，适用于低功耗设备（需 RTC 支持）

八、低功耗设计支持

机制描述
Idle Hook进入空闲任务自动调用，可进入 sleep
Tickless 模式没有任务时关闭系统 Tick
动态频率调节（DVFS）动态调整 MCU 主频，需底层支持
外设唤醒设置外设中断触发唤醒

九、RTOS vs 裸机 vs Linux

维度裸机开发RTOSEmbedded Linux
实时性✅ 强✅ 更强❌ 一般
多任务管理❌ 无，手动状态机✅ 内核调度支持✅ 强，进程级
内存管理❌ 静态变量✅ 分配器 + 静态/堆池✅ 虚拟内存，MMU 支持
文件系统❌ 无⚠️ 简易文件系统支持✅ 完整（ext、FAT 等）
外设支持✅ 直接寄存器✅ 抽象驱动接口✅ 复杂驱动模型
使用场景简单控制逻辑实时控制、传感器网络网关、边缘计算、摄像头等

十、FreeRTOS 与 RT-Thread 调度机制图

FreeRTOS 调度流程（简化版）：

主循环 → 检查 ReadyList → 按优先级选择任务 → 上下文切换（PendSV）→ 执行任务

RT-Thread 的 tick 驱动与调度流程：

graph TD
  SysTick_ISR --> update_tick
  update_tick --> check_timer
  check_timer --> schedule()
  schedule() --> rt_exit_critical()

十一、实践建议

实践点建议
优先级设计禁止多个高优先级任务同优先级，避免饥饿
ISR 中设计保持极简，快速退出，主要用于唤醒任务
动态内存使用控制堆用量，优先使用静态分配
任务划分一任务一职责，避免复杂状态机重叠
Watchdog 设置配合任务心跳喂狗，防止死锁
Trace 工具使用 FreeRTOS Tracealyzer、RT-Thread Studio 等分析性能

十二、嵌入式 RTOS 项目模板（以 STM32 + FreeRTOS 为例）

包括目录结构、初始化流程、驱动架构、任务划分建议，可适配绝大多数 Cortex-M 系列 MCU（如 STM32F1/F4、GD32、NRF52、ESP32-S3 等）。

1.项目结构模板（基于 FreeRTOS + STM32 HAL）

MyEmbeddedProject/
├── Core/
│   ├── Src/
│   │   ├── main.c              # 系统入口
│   │   ├── freertos.c          # RTOS 初始化
│   │   └── ...                 
│   └── Inc/
│       └── main.h              # 主头文件
├── Drivers/
│   ├── BSP/                    # 板级支持包 (Board Support Package)
│   │   ├── led.c / led.h
│   │   ├── button.c / button.h
│   │   └── uart.c / uart.h
│   └── HAL_Drivers/           # ST 官方 HAL 库
│       └── stm32f4xx_hal_*.c
├── Middlewares/
│   └── FreeRTOS/
│       ├── Source/
│       └── Config/
├── App/
│   ├── tasks/
│   │   ├── app_sensor_task.c / .h
│   │   ├── app_comm_task.c
│   │   └── app_ui_task.c
│   └── services/
│       ├── ringbuffer.c / .h
│       └── utils.c / .h
├── Config/
│   ├── freertos_config.h       # FreeRTOS 配置头
│   └── app_config.h            # 自定义系统配置
├── Startup/
│   └── startup_stm32f4xx.s     # 启动文件
└── Makefile / Keil Project / CubeMX .ioc

2.驱动框架设计

按层次设计、便于移植与重用，分为 BSP层 + HAL底层封装层 + 中间件服务层：

（1）Drivers/BSP/led.c

#include "led.h"
#include "stm32f4xx_hal.h"

void LED_Init(void) {
    __HAL_RCC_GPIOA_CLK_ENABLE();
    GPIO_InitTypeDef GPIO_Init = {
        .Pin = GPIO_PIN_5,
        .Mode = GPIO_MODE_OUTPUT_PP,
        .Pull = GPIO_NOPULL,
        .Speed = GPIO_SPEED_FREQ_LOW,
    };
    HAL_GPIO_Init(GPIOA, &GPIO_Init);
}

void LED_Toggle(void) {
    HAL_GPIO_TogglePin(GPIOA, GPIO_PIN_5);
}

（2）App/tasks/app_ui_task.c

void UI_Task(void *params) {
    LED_Init();
    while (1) {
        LED_Toggle();
        vTaskDelay(pdMS_TO_TICKS(500));
    }
}

3.任务划分建议（多任务模块）

任务名功能职责优先级栈大小建议周期
UI_TaskLED 控制、屏幕刷新等界面更新1256500ms
Sensor_Task采集温湿度、气体、IMU等2512100ms
Comm_TaskUART/Wi-Fi 通讯、MQTT收发等3102410~50ms
Storage_Task日志存储、EEPROM写入等15121~10s
Watchdog_Task看门狗定期喂狗0128500ms

4.FreeRTOS 初始化流程（main.c）

int main(void) {
    HAL_Init();              // 初始化 HAL
    SystemClock_Config();    // 配置系统时钟
    MX_USART2_UART_Init();   // 初始化串口等外设
    MX_FREERTOS_Init();      // 创建任务和启动调度器
    while (1);               // 不应执行到此处
}

5.移植与平台适配建议

平台移植方式
STM32使用 STM32CubeMX + FreeRTOS 模板生成
ESP32使用 ESP-IDF（集成 FreeRTOS）
RISC-V使用 SiFive SDK 或直接添加 FreeRTOS
RT-Thread提供官方 BSP 生成器，推荐 Studio 工具

6.可选功能模块

功能推荐方式 / 模块
串口通讯UART 驱动 + 环形缓冲 + 命令解析器（CLI）
MQTT 通讯使用 Paho Embedded MQTT + lwIP/ESP-IDF
OTA 升级STM32 IAP + Flash 分区 + CRC 校验
文件系统LittleFS / SPIFFS / FatFS
数据采集使用 DMA / 中断采集 ADC / I2C / SPI 传感器
看门狗保护IWDG 配合 RTOS Idle Task 喂狗
电源管理Tickless 模式 + Sleep + 外设中断唤醒

扩展阅读：

【软件系统架构】系列四：嵌入式技术【软件系统架构】系列四：嵌入式技术
【软件系统架构】系列四：嵌入式软件开发流程全解析（包含示例）【软件系统架构】系列四：嵌入式软件开发流程全解析（包含示例）
【软件系统架构】系列四：嵌入式软件-DO-178B 安全认证标准【软件系统架构】系列四：嵌入式软件-DO-178B 安全认证标准
【软件系统架构】系列四：嵌入式软件-CMMI 安全认证标准及认证所需资源模板【软件系统架构】系列四：嵌入式软件-CMMI 安全认证标准及认证所需资源模板
【软件系统架构】系列四：嵌入式软件-M2M（Machine to Machine）系统详解及开发模板【软件系统架构】系列四：嵌入式软件-M2M（Machine to Machine）系统详解及开发模板
【软件系统架构】系列四：嵌入式软件-NPU（神经网络处理器）系统及模板【软件系统架构】系列四：嵌入式软件-NPU（神经网络处理器）系统及模板
【软件系统架构】系列四：嵌入式软件-M2M 与 NPU 技术对比及协同设计方案【软件系统架构】系列四：嵌入式软件-M2M 与 NPU 技术对比及协同设计方案
【软件系统架构】系列四：嵌入式微处理器（MPU）【软件系统架构】系列四：嵌入式微处理器（MPU）
【软件系统架构】系列四：嵌入式微控制器（MCU）【软件系统架构】系列四：嵌入式微控制器（MCU）
【软件系统架构】系列四：数字信号处理器（DSP）【软件系统架构】系列四：数字信号处理器（DSP）
【软件系统架构】系列四：SoC（System on Chip，片上系统）【软件系统架构】系列四：SoC（System on Chip，片上系统）
【软件系统架构】系列四：MPU vs MCU vs DSP vs SoC 嵌入式处理器选型终极指南【软件系统架构】系列四：MPU vs MCU vs DSP vs SoC 嵌入式处理器选型终极指南
【软件系统架构】系列四：嵌入式微处理器【软件系统架构】系列四：嵌入式微处理器
【软件系统架构】系列四：多核处理器架构与调度（Deep Dive）【软件系统架构】系列四：多核处理器架构与调度（Deep Dive）
【软件系统架构】系列四：嵌入式软件与操作系统【软件系统架构】系列四：嵌入式软件与操作系统
【软件系统架构】系列四：嵌入式软件与操作系统【软件系统架构】系列四：嵌入式软件与操作系统
【软件系统架构】系列四：嵌入式协议栈架构详解【软件系统架构】系列四：嵌入式协议栈架构详解
【软件系统架构】系列四：嵌入式中间件设计全景解析【软件系统架构】系列四：嵌入式中间件设计全景解析
【软件系统架构】系列四：嵌入式 SDK 框架设计指南【软件系统架构】系列四：嵌入式 SDK 框架设计指南
【软件系统架构】系列四：AI 模型在嵌入式设备部署指南【软件系统架构】系列四：AI 模型在嵌入式设备部署指南
【软件系统架构】系列四：嵌入式操作系统【软件系统架构】系列四：嵌入式操作系统
【软件系统架构】系列四：嵌入式实时操作系统（RTOS）【软件系统架构】系列四：嵌入式实时操作系统（RTOS）
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

34号树洞

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值