良许Linux教程网 干货合集 FreeRTOS中的任务堆栈溢出检测机制

FreeRTOS中的任务堆栈溢出检测机制

在FreeRTOS中,每个任务都拥有自己的堆栈,该堆栈的大小由创建任务时xTaskCreate函数的函数参数所决定。

image-20231116215934396
image-20231116215934396

但当任务所使用的堆栈空间超出分配给它的空间时,则会发生堆栈溢出,堆栈溢出可能修改超过合法访问地址范围外的数据,严重时会导致Hardfault令系统崩溃。

image-20231116215936994
image-20231116215936994

如何设定合理的任务堆栈大小以避免发生堆栈溢出问题呢?

首先我们需要根据任务函数运行过程中的理论堆栈使用最大值,在任务创建时设定一个合理的任务堆栈大小,并实际运行程序进行测试,来确保系统运行过程中不会发生堆栈溢出。

FreeRTOS中的任务堆栈溢出检测机制:

在FreeRTOS中,也提供了一些API函数用来检测任务堆栈的使用情况,例如:

uxTaskGetStackHighWaterMark (TaskHandle_t xTask)——返回自任务运行以来剩余可用堆栈空间的最小值

要使用上述函数,需要在FreeRTOSConfig.h头文件中使能宏“#define INCLUDE_uxTaskGetStackHighWaterMark 1”。该函数会返回任务运行过程中剩余可用堆栈空间的最小值,即任务运行过程中堆栈最大使用量时还剩余多少空间,如果函数返回0则说明可能发生了任务堆栈溢出。在应用中调用该函数可以帮助了解任务堆栈的一个实际使用情况。

FreeRTOS中还提供了两种堆栈溢出检测方式,需要在FreeRTOSconfig.h头文件中通过宏#define configCHECK_FOR_STACK_OVERFLOW 来进行选择使能:

image-20231116215942866
image-20231116215942866

两种检测方式在检测原理上存在一些差别,检测方式1是检测运行过程中的任务栈指针,检测方式2则是检测初始化后的数据在运行过程中是否被修改。

如果任务堆栈溢出检测函数检测到发生了堆栈溢出,则会调用对应的钩子函数(钩子函数需用户手动创建),用户可以在钩子函数中执行想要的操作例如打印发生错误的任务名等。

image-20231116215945663
image-20231116215945663

内核在什么时候执行任务堆栈溢出检测:

在FreeRTOS源码 tasks.c 文件中可以查到taskCHECK_FOR_STACK_OVERFLOW在 void vTaskSwitchContext( void )函数中被调用,也就是在任务上下文切换的时候做检测。从这点可以看出软件检测栈溢出的方式具有一定的滞后性,需要在任务发生上下文切换时才会进行,任务堆栈溢出时并不能马上检测到问题。

image-20231116215948261
image-20231116215948261

任务堆栈溢出检测存在的局限性:

如上文所述,只有在发生任务上下文切换时才会执行任务堆栈溢出检测,发生如下错误情形时则无法检测到了:

• 任务执行的过程中出现过栈溢出,但任务切换前栈指针又恢复到了正常水平。

• 任务栈末尾的 16 个字节没有用到,即不会被修改,但是任务栈已经溢出了

• 任务栈溢出后,把系统中的重要数据修改了导致系统直接进入Hardfault

FreeRTOS提供的堆栈溢出检测会引入任务上下文切换的开销,因此仅推荐在应用开发或者测试阶段使用。虽然存在一定的局限性,但大多常见情况下这些检测机制依然是非常实用的功能,可以帮助用户减少代码中的错误并提高应用程序代码的质量。

以上就是良许教程网为各位朋友分享的Linu系统相关内容。想要了解更多Linux相关知识记得关注公众号“良许Linux”,或扫描下方二维码进行关注,更多干货等着你!

137e00002230ad9f26e78-265x300

本文由 良许Linux教程网 发布,可自由转载、引用,但需署名作者且注明文章出处。如转载至微信公众号,请在文末添加作者公众号二维码。
良许

作者: 良许

良许,世界500强企业Linux开发工程师,公众号【良许Linux】的作者,全网拥有超30W粉丝。个人标签:创业者,CSDN学院讲师,副业达人,流量玩家,摄影爱好者。
上一篇
下一篇

发表评论

联系我们

联系我们

公众号:良许Linux

在线咨询: QQ交谈

邮箱: yychuyu@163.com

关注微信
微信扫一扫关注我们

微信扫一扫关注我们

关注微博
返回顶部