3、TinyMLRTOS架构概览：分析TinyMLRTOS的模块划分，定位内存管理模块与任务、队列、调度器的关系

TinyMLRTOS 面向资源极度受限的微控制器（MCU）设计，其架构必须遵循“最小内核 + 可裁剪组件”的原则。理解该 RTOS 的模块划分，是掌握其内存管理机制的前提。本章将从内核分层、模块依赖、内存管理模块的枢纽地位三个维度展开，重点剖析内存管理模块如何与任务控制块（TCB）、队列控制块（QCB）以及调度器产生直接或间接的耦合关系。通过架构级视角，你将明白为何“静态任务、静态队列、无堆设计”不是一种可选优化，而是 TinyMLRTOS 在无 MMU 环境下保证确定性、零碎片和可预测性的必然选择。

上图展示了 TinyMLRTOS 的典型分层架构。硬件抽象层（HAL）屏蔽了 Cortex-M、RISC-V 等不同内核的差异，向上提供统一的定时器与临界区接口。内核核心层包含调度器、内存管理模块、任务模块与队列模块，其中内存管理模块被刻意设计为“被依赖者”——它不主动调用其他模块，而是为任务和队列提供编译期确定的内存资源。可选服务层（信号量、事件组等）则建立在队列机制之上，进一步传递对内存管理模块的间接依赖。这种分层结构确保了内存管理模块的单一职责：它只负责静态资源的划分与登记，不参与任何策略决策。

3.1 核心原理：模块划分与“静态资源池”思想

TinyMLRTOS 的模块划分遵循“高内聚、低耦合”的嵌入式设计准则。从内存视角看，整个系统被划分为三个区域：内核自身数据区（包括调度器变量、就绪表）、静态资源池区（由内存管理模块统一登记）、任务栈区（由用户在编译期显式声明）。内存管理模块的核心原理是：在编译期（而非运行期）确定所有内核对象的数量和大小，通过链接脚本或 C 语言静态数组为每个对象分配固定偏移的存储空间。

具体而言，内存管理模块维护了三类静态池：

• TCB 静态池：一个由 os_tcb_t 结构体数组构成的池子，大小由 OS_MAX_TASKS 宏定义。每个任务在创建时从池中获取一个空闲 TCB 索引，任务删除后归还。
• QCB 静态池：一个由 os_qcb_t 结构体数组构成的池子，大小由 OS_MAX_QUEUES 宏定义。每个队列在创建时占用一个 QCB 槽位。
• 队列消息缓冲区池：每个队列关联一个静态定义的环形缓冲区，该缓冲区由用户在创建队列时传入的数组提供，内存管理模块仅登记其起始地址和容量。

这种设计的本质是将“动态内存分配”转化为“静态资源索引管理”。调度器在任务切换时，只需要访问 TCB 池中对应索引的元素，而无需担心内存碎片或分配失败。由于所有对象在链接时已确定地址，系统可以做到零 malloc/free 调用，从而保证最坏情况执行时间（WCET）可预测。

3.2 判断方法：如何识别模块间的依赖关系

在实际阅读 TinyMLRTOS 源码或进行移植时，判断模块依赖关系有明确的方法。以下是三个关键判断步骤：

1. 检查头文件包含关系：内存管理模块的头文件（如 os_mem.h）不应包含任务或队列的头文件，而任务模块（os_task.h）和队列模块（os_queue.h）必须包含 os_mem.h。这从编译期就确立了依赖方向。
2. 追踪函数调用链：在任务创建函数 os_task_create() 中，搜索对内存管理模块的调用。典型调用序列为：os_mem_tcb_alloc() → 获取空闲 TCB 索引 → 初始化 TCB 字段。若发现任务模块直接操作了内存池的位图，则说明模块划分不清晰。
3. 分析链接脚本符号表：通过 nm 或 map 文件查看符号地址。如果 os_tcb_pool 和 os_qcb_pool 的地址落在 .bss 或 .data 段，且没有堆段（HEAP）符号，则证明系统确实采用了无堆设计。

下表总结了三个核心模块的职责边界与交互方式：

模块	核心数据结构	内存来源	对内存管理模块的调用	与调度器的关系
内存管理模块	TCB池位图、QCB池位图	自身静态数组	—（被调用方）	不直接交互，通过任务/队列间接影响
任务模块	TCB、任务栈指针	TCB池 + 用户静态栈	os_mem_tcb_alloc / os_mem_tcb_free	任务创建/删除时更新就绪表
队列模块	QCB、环形缓冲区	QCB池 + 用户静态缓冲区	os_mem_qcb_alloc / os_mem_qcb_free	队列读写时可能触发任务调度（如唤醒等待任务）
调度器	就绪表、当前任务指针	内核静态变量	无直接调用	—（核心）

3.3 案例拆解：一个双任务+单队列系统的内存布局

假设我们设计一个典型的 TinyMLRTOS 应用：两个周期性任务（传感器采集任务、LED 控制任务）通过一个消息队列传递采集结果。系统配置如下：

// os_cfg.h
#define OS_MAX_TASKS        2
#define OS_MAX_QUEUES       1
#define TASK1_STACK_SIZE    128  // 单位：字（4字节）
#define TASK2_STACK_SIZE    128
#define MSG_QUEUE_LEN       4    // 队列深度
#define MSG_QUEUE_ITEM_SIZE 4    // 每条消息4字节

在链接脚本中，内存布局被划分为三个区域：

• .kernel_bss：存放调度器变量、就绪表、TCB池（2个TCB，每个约40字节）、QCB池（1个QCB，约20字节）。
• .task_stacks：存放两个任务栈，各 512 字节（128字×4字节）。
• .queue_bufs：存放队列环形缓冲区，大小为 4×4=16 字节。

系统启动时，内存管理模块执行初始化：将 TCB 池位图全部置 1（表示空闲），QCB 池位图置 1。创建任务1时，调用 os_mem_tcb_alloc() 返回索引 0，位图第 0 位清零。创建任务2时返回索引 1。创建队列时，os_mem_qcb_alloc() 返回索引 0，同时登记用户提供的缓冲区地址。

运行过程中，任务1发送消息到队列，队列模块将消息拷贝到环形缓冲区，并检查是否有任务在等待。若任务2正在等待，则调度器被触发，进行上下文切换。整个过程中，内存管理模块只参与了创建阶段，运行阶段的内存访问完全由任务模块和队列模块直接操作静态地址完成。

3.4 常见误区与总结复盘

在理解 TinyMLRTOS 架构时，开发者常陷入以下误区：