FreeRTOS-Kernel 中调度器停止时的资源泄漏问题分析

问题背景

在FreeRTOS-Kernel项目中，当调度器被停止时，运行中线程的任务控制块(TCB)和动态分配的堆栈空间未被正确释放，导致内存泄漏。这一问题在使用POSIX模拟器进行测试时尤为明显，因为模拟器环境对内存管理更为敏感。

问题现象

通过内存检测工具valgrind可以观察到以下两种内存泄漏情况：

1. TCB泄漏：每个任务的控制块(TCB)在创建时通过pvPortMalloc分配内存，但在调度器停止时未被释放
2. 堆栈泄漏：动态任务堆栈通过pvPortMallocStack分配，同样在调度器停止时未被释放

技术分析

资源分配机制

FreeRTOS中任务创建时会进行以下资源分配：

• 通过pvPortMalloc分配TCB结构体
• 通过pvPortMallocStack分配任务堆栈空间

资源释放机制

正常情况下，资源应在以下时机被释放：

• 任务通过vTaskDelete显式删除时
• 任务自行终止时

然而，当调度器通过vTaskEndScheduler停止时，现有机制存在以下不足：

1. 内核创建的任务(如空闲任务、定时器任务)未被自动删除
2. 应用程序创建的任务需要手动删除
3. 延迟删除机制在调度器停止后无法正常工作

解决方案

经过社区讨论和开发团队评估，最终确定了以下改进方案：

内核层面的改进

1. 自动删除内核任务：

   • 在vTaskEndScheduler中自动删除定时器任务和空闲任务
   • 这些任务由内核创建，理应由内核负责删除

2. 处理延迟删除：

   • 确保在调度器停止前处理完xTasksWaitingTermination列表中的任务
   • 由调用vTaskEndScheduler的任务接管资源释放工作

应用层面的建议

1. 显式删除应用任务：

   • 应用程序应在停止调度器前删除自己创建的所有任务
   • 可使用vTaskDelete删除任务，即使调度器已停止

2. 资源管理最佳实践：

   • 保持对任务句柄的跟踪
   • 在测试环境中，确保所有资源都被正确释放

实现细节

POSIX端口的具体实现采用了以下策略：

1. 在vPortEndScheduler中停止最后一个运行的任务
2. 切换回主线程上下文执行
3. 在主线程中安全删除最后一个任务

对开发者的影响

这一改进使得FreeRTOS在以下方面更加完善：

1. 内存管理：减少了内存泄漏风险
2. 测试便利性：便于在模拟器环境中进行内存检测
3. 行为一致性：使实际行为更符合文档描述

总结

FreeRTOS-Kernel通过这次改进解决了调度器停止时的资源泄漏问题，既保持了内核的稳定性，又为应用程序提供了更灵活的资源管理方式。开发者现在可以更自信地在测试环境中使用内存检测工具，同时在生产环境中保持原有的灵活性和性能。

这一改进体现了FreeRTOS社区对代码质量的持续关注，也展示了开源协作在解决复杂技术问题时的价值。