概述
内存分配（Memory Allocation）是RTOS内核中的基础资源管理机制， 用于为任务、消息队列、邮箱、缓冲区及其他系统对象提供运行时存储空间。
在实时系统中，内存管理不仅关注空间利用率，更强调分配与释放过程的确定性。 不可预测的分配延迟可能直接影响任务响应时间与系统实时性。
内存分配机制分为静态分配与动态分配两种模式。静态分配在系统启动时预先分配所有资源，运行时不再申请或释放内存，具有最高的确定性与安全性，适用于资源受限的安全关键系统。动态分配在运行时按需申请和释放内存，提供更大的灵活性，但可能引入碎片化、分配延迟不确定等风险。HRTOS默认采用静态分配优先策略，在需要时提供受控的动态分配能力。
内存池（Memory Pool）是HRTOS推荐的动态分配实现方式。内存池预分配固定大小的内存块，运行时从池中获取或归还块，避免了传统堆分配的碎片化问题与不可预测的分配延迟。内存池通常按功能分类，如任务栈池、消息缓冲池、设备缓冲池等，每个池管理特定大小的块，确保分配时间的确定性。内存池还支持多级大小，通过多个池管理不同大小的块，平衡空间利用率与分配效率。
内存分配的核心挑战在于平衡空间利用率、分配效率与确定性。传统的最佳适配、首次适配等算法虽然能提高空间利用率，但分配时间不可预测，不适合实时系统。HRTOS采用固定块分配算法，牺牲一定的空间利用率换取确定性的分配时间，满足实时系统的严格要求。对于需要变长内存的场景，系统提供分块管理或链式分配方案，通过合理的块大小设计减少空间浪费。
工作原理
HRTOS通常采用固定块分配或内存池机制， 避免传统动态分配带来的不可预测延迟。
内存池的内部实现依赖于内存池控制块（Memory Pool Control Block）与空闲块链表。每个内存池包含缓冲区起始地址、块大小、总块数、空闲块数、空闲链表头指针等字段。系统初始化时，将整个缓冲区划分为固定大小的块，所有块通过链表指针连接形成空闲链表。空闲链表通常采用单链表或双向链表实现，头节点指向第一个可用块。
分配操作时，内核检查内存池的空闲块数是否大于0。如果空闲块数大于0，从空闲链表头部取出一个块，更新空闲链表头指针指向下一个块，递减空闲块计数，返回块地址给调用者。整个操作在O(1)时间内完成，具有确定性的时间特性。如果空闲块数为0，根据配置策略决定行为：阻塞等待块释放、超时返回或立即返回空指针。
释放操作时，内核验证块地址是否属于该内存池，验证块是否已释放（防止重复释放），将块插入空闲链表头部，递增空闲块计数，检查是否有等待的任务，如果有则唤醒最高优先级的等待任务并触发调度。释放操作同样在O(1)时间内完成。整个过程在临界区中执行，确保链表操作的原子性。
对于多级大小的内存池，HRTOS提供大小适配机制。当申请特定大小的内存时，系统查找能够满足需求的最小池，从该池分配块。如果所有池都没有可用块，系统根据配置决定行为：阻塞等待、超时返回或返回错误。这种设计平衡了空间利用率与分配效率，避免大块内存浪费在小需求上。
关键接口 / 结构
内存管理通常包含初始化、申请、释放与内存池维护等核心接口。 这些接口负责构建实时系统中的基础资源管理能力。
os_mem_init()用于初始化内存池，参数包括内存池控制块指针、缓冲区起始地址、缓冲区大小、块大小。该接口计算可分配的块数量、初始化空闲链表、设置内存池元数据。初始化操作必须在首次使用内存池之前调用，未初始化的内存池行为未定义。缓冲区通常由调用者分配，内存池仅管理缓冲区的访问逻辑。
os_malloc()用于从内存池分配内存块，参数包括内存池指针、超时时间。超时时间为0时为非阻塞调用，立即返回分配结果；超时时间为-1时为永久阻塞，任务会一直等待直到有可用块；超时时间为正数时为限时阻塞，任务等待指定时间后超时返回。分配成功返回块地址，超时返回NULL，错误返回NULL。该接口在临界区中执行，确保链表操作的原子性。
os_free()用于释放内存块到内存池，参数包括内存池指针、块地址。该接口验证块地址是否属于该内存池，验证块是否已释放（防止重复释放），将块插入空闲链表头部，递增空闲块计数，检查是否有等待的任务，如果有则唤醒最高优先级的等待任务并触发调度。释放成功返回0，失败返回错误码。
mem_pool结构体定义了内存池的核心属性。start字段指向缓冲区起始地址。block_size字段存储每个块的大小。total_blocks字段存储总块数量。free_blocks字段存储当前空闲块数量。该结构体还可能包含空闲链表头指针、等待队列指针、统计信息等字段。结构体大小取决于配置，HRTOS通过优化字段布局减少内存占用。
运行流程
当任务申请内存时，系统首先检查空闲块链表， 若存在满足条件的内存块，则完成分配并更新元数据。
当任务释放内存时，对应块将被重新插入空闲链表， 供后续任务再次使用。
完整的内存分配流程包括：任务调用os_malloc()接口，内核进入临界区；检查内存池的空闲块数是否大于0，如果空闲块数大于0则从空闲链表头部取出一个块，更新空闲链表头指针指向下一个块，递减空闲块计数，退出临界区，返回块地址给调用者；如果空闲块数为0，根据超时配置决定行为：超时为0时立即返回NULL，超时为正数时将当前任务插入等待队列并阻塞，超时为-1时永久阻塞等待。
完整的内存释放流程包括：任务调用os_free()接口，内核进入临界区；验证块地址是否属于该内存池，验证块是否已释放（防止重复释放），将块插入空闲链表头部，递增空闲块计数，检查是否有等待的任务，如果有则唤醒最高优先级的等待任务并触发调度；退出临界区，释放操作完成。整个过程在临界区中执行，确保链表操作的原子性。
在中断服务程序（ISR）中使用内存分配时，只能使用非阻塞模式（timeout=0）。ISR不能阻塞等待内存块，否则会导致系统死锁。如果ISR需要分配内存，应使用非阻塞模式：如果内存池已满则返回NULL，ISR需采取降级处理策略，如使用预分配的静态缓冲区或丢弃操作。这种设计确保了中断响应的实时性，同时避免ISR中的阻塞风险。
扩展说明
HRTOS建议在关键实时路径中避免频繁动态分配， 优先使用静态分配或预分配内存池。
内存泄漏是动态分配系统中的常见问题，指程序分配内存后未正确释放，导致可用内存逐渐耗尽。HRTOS提供内存泄漏检测机制作为可选功能，通过跟踪分配与释放操作检测未释放的内存块。系统还支持内存使用统计，记录每个内存池的分配次数、释放次数、当前使用量等信息，帮助开发者监控内存使用情况。
在安全关键系统中，内存分配需满足功能安全标准（如ISO 26262）的要求。系统需提供内存分配的静态分析工具，检查是否存在内存泄漏、双重释放、越界访问等风险。HRTOS支持内存分配跟踪与分析，可在系统设计阶段验证内存使用的正确性，避免运行时出现不可预测的行为。
内存池的容量规划是工程实践中的关键问题。容量过小会导致分配失败，容量过大会浪费内存资源。HRTOS提供内存池使用统计与监控工具，记录峰值使用量、分配失败次数等指标，指导开发者合理规划内存池容量。系统还支持动态扩容机制，在内存池耗尽时自动扩展容量，但此功能需谨慎使用，可能引入碎片化风险。
- 模块职责：内存分配管理负责系统内存资源的分配与释放，提供确定性的内存使用模型
- 内部机制：基于内存池控制块、空闲块链表、等待队列实现，支持静态与动态分配模式
- 状态迁移：内存块在ALLOCATED与FREE状态间切换，由分配与释放操作驱动
- 调用流程：init → malloc → allocate/block → free → release → wake
- 资源管理：内存池控制块为全局资源，空闲块链表为共享资源需保护并发访问
- 工程案例：任务栈分配、消息缓冲池、设备缓冲池、临时数据存储
- 边界条件：内存池容量、块大小、超时时间、等待队列容量
- 错误场景：内存泄漏、双重释放、越界访问、分配失败、ISR阻塞
- 异常处理：泄漏检测、双重释放检测、越界检查、容量监控
- 模块关系：与调度器模块协作阻塞唤醒任务，与中断模块协调ISR内存分配
内存分配的性能优化是实时系统工程的重要环节。HRTOS采用固定块分配算法，确保分配与释放操作在O(1)时间内完成。空闲链表采用单链表实现，减少内存开销。对于多级大小内存池，系统提供快速查找算法，在O(log n)时间内找到合适的池。这些优化确保了内存分配的高效性，满足实时系统的性能要求。
对于功耗敏感的嵌入式系统，内存分配的使用会影响系统功耗管理。长时间阻塞等待内存块的任务会阻止系统进入低功耗模式。HRTOS提供内存分配超时检测机制，当任务等待时间超过阈值时记录警告，指导开发者优化内存使用设计。系统还支持在分配失败时主动让出CPU，允许系统进入低功耗模式，平衡实时性与功耗。