FreeRTOS 采用极简分层松耦合架构 ，无冗余模块，核心仅依赖硬件抽象层，整体从上到下分为四层，同时通过单一配置文件FreeRTOSConfig.h实现全功能可裁剪，用户可按需开启 / 关闭任意模块，极致适配不同场景的 Flash/RAM 资源限制。
1. 分层架构总览
FreeRTOS 的四层架构严格遵循 "硬件与业务解耦、内核与平台解耦" 的设计原则，从上到下依次为：
┌─────────────────────────────────────────┐
│ 应用层（用户业务代码） │ ├─────────────────────────────────────────┤
│ 核心内核层（RTOS核心能力，平台无关） │ ├─────────────────────────────────────────┤
│ 硬件抽象层（Port移植层，平台相关） │ ├─────────────────────────────────────────┤
│ 硬件层（MCU/CPU + 外设 + 中断控制器） │ └─────────────────────────────────────────┘
（1）应用层
用户编写的业务代码层，也是 FreeRTOS 的最终使用层。
- 核心执行单元是任务（Task），用户的传感器采集、电机控制、数据处理、人机交互、通信协议等业务逻辑，都封装在独立的任务函数中。
- 无内核态 / 用户态的权限隔离，所有代码运行在同一特权级，执行效率无额外损耗。
- 仅通过 FreeRTOS 提供的标准 API 调用内核能力，无需修改内核源码，即可实现任务调度、任务间通信、同步、定时等功能。
（2）核心内核层
FreeRTOS 的核心主体，实现所有 RTOS 核心能力，完全平台无关，无需修改即可适配所有支持的处理器架构，所有模块均可通过宏开关裁剪，最小内核仅保留任务调度与基础内存管理。核心源码文件与对应功能如下表，无任何遗漏：
| 核心源码文件 | 核心功能定位 | 必选 / 可选 |
|---|---|---|
task.c |
任务管理核心：任务创建 / 删除 / 挂起 / 恢复、调度器核心逻辑、任务状态管理、内核链表管理、上下文切换调度 | 必选 |
queue.c |
队列实现，同时是信号量、互斥锁、邮箱、消息队列等所有 IPC（任务间通信）机制的底层基础 | 必选（关闭 IPC 功能时可裁剪） |
list.c |
内核通用双向循环链表实现，是任务管理、队列管理、阻塞超时管理的底层数据结构 | 必选 |
timers.c |
软件定时器实现，基于系统 Tick 时钟实现无硬件依赖的定时功能 | 可选 |
event_groups.c |
事件组实现，用于多事件组合等待、多任务同步 | 可选 |
stream_buffer.c |
流缓冲区实现，用于单生产者 - 单消费者场景的字节流高效传输 | 可选 |
message_buffer.c |
消息缓冲区实现，基于流缓冲区封装的变长消息传输 | 可选 |
heap_x.c（x=1~5） |
内存管理实现，共 5 种嵌入式优化的内存管理方案，用户按需选择其一 | 必选（全静态创建时可裁剪） |
（3）硬件抽象层（Port 移植层）
连接内核与硬件的桥梁，是 FreeRTOS 跨平台兼容的核心，完全平台相关，针对不同 CPU 架构做专属适配，封装所有硬件相关的底层操作，让上层内核完全无需感知硬件差异。核心内容包括：
- 任务上下文切换的底层汇编实现
- 系统节拍定时器（如 Cortex-M 的 SysTick）的配置与中断处理
- 临界区、中断屏蔽的硬件相关实现
- 任务栈的初始化规范与栈帧布局定义
- 多核 SMP 架构的核间调度与同步适配
- 编译器相关的适配（如 ARMCC、GCC、IAR）
例如 ARM Cortex-M4F 架构的移植文件为port.c和portmacro.h，存放于官方源码的portable/ARM_CM4F目录，不同架构对应独立的移植文件夹。
（4）硬件层
即 RTOS 运行的物理载体，包括 MCU/CPU 内核、系统定时器、中断控制器（NVIC）、片内外设（GPIO、UART、SPI、ADC 等）、片内 / 片外 RAM/Flash。FreeRTOS 对硬件的最低要求仅为：具备定时器、支持中断、有基础的 RAM/Flash 空间，无其他额外硬件依赖。
2. 架构核心设计特点
- 极致可裁剪性 ：所有可选功能通过
FreeRTOSConfig.h的宏开关控制，关闭无用功能可大幅缩减 Flash/RAM 占用，适配从 8 位到 32 位的全系列 MCU。 - 双内存模式兼容 ：同时支持内核对象的动态内存分配 （自动从堆中申请内存）和完全静态分配（用户预先分配内存，无 heap 依赖），满足高可靠性工业场景的无动态内存需求。
- 零额外依赖：内核仅依赖标准 C 库的基础函数（memcpy、memset 等），无任何第三方库依赖，可直接集成到裸机工程中。
- 硬实时确定性：任务调度、上下文切换、中断响应的时间均为可预期的固定值，不随任务数量增加而变化，满足工业控制、汽车电子等硬实时场景需求。
- 分层解耦设计：内核与硬件完全解耦，移植仅需修改 Port 层，上层业务代码无需任何修改即可跨平台迁移。