FreeRTOS堆栈溢出检查
RTOS任务都需要分配堆栈,堆栈大小不合理,会造成内存越界或者资源的浪费。如果在没有把握堆栈大小,尽量将堆栈往大的方向设置,这样能保证任务堆栈上下文切换不会溢出。
任务堆栈
每个任务都有自己维护的一个堆栈。如果使用xTaskCreate()
创建任务,则用任务堆栈的内存会从FreeRTOS
堆内存中分配,并传递给xTaskCreate()
API的参数确定。如果使用xTaskCreateStatic()
创建任务,则用作任务堆栈的内存由APP开发者预先分配。堆栈溢出是应用程序不稳定的一个很常见的原因。因此,FreeRTOS
提供了两种可选的检查机制,可用于帮助开发者检测和修正类似的事。使用的选项是configCHECK_FOR_STATCK_OVERFLOW
配置。
注意的是,这个选项仅在内存映射未分段的架构上可用。此外,某些处理器可能在RTOS内核溢出检查之前生成故障或者异常以造成堆栈损坏。如果configCHECK_FOR_STACK_OVERFLOW
未设置为0,则应用程序必须提供堆栈溢出挂钩函数。挂钩函数必须调用vApplicationStackOverflowHook()
,并具有以下原型:
void vApplicationStackOverflowHook( TaskHandle_t *pxTask, signed char *pcTaskName );
- xTask:堆栈溢出任务的句柄;
- pcTaskkName:堆栈溢出任务的名称。
注:堆栈溢出检查引入会加大上下文切换的开销,因此建议在开发或者测试阶段使用。
堆栈溢出检测 - 方法 1
在 RTOS 内核将任务从运行状态换出后,堆栈可能会达到其最大(最深)值,因为此时堆栈将包含任务上下文。此时,RTOS 内核可以检查处理器堆栈指针是否保持在有效堆栈空间内。如果堆栈指针包含超出有效堆栈范围的值,则调用堆栈溢出挂钩函数。
此方法很快,但不能保证捕获所有堆栈溢出。将 configCHECK_FOR_STACK_OVERFLOW 设置为 1 以使用此方法。
堆栈溢出检测 - 方法 2
当一个任务第一次被创建时,它的栈被一个已知的值填充。将任务从运行状态换出时,RTOS 内核可以检查有效堆栈范围内的最后 16 个字节,以确保这些已知值没有被任务或中断活动覆盖。如果这 16 个字节中的任何一个不保持其初始值,则调用堆栈溢出挂钩函数。
这种方法比方法一效率低,但仍然相当快。它很可能会捕获堆栈溢出,但仍不能保证捕获所有溢出。
将 configCHECK_FOR_STACK_OVERFLOW 设置为 2 以使用此方法。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)