这是我第一次使用FreeRTOS构建STM32的项目,踩了好些坑,又发现了我缺乏对于操作系统的内存及其空间的分配的知识,故写下文档记录学习成果。
文章最后要解决的问题是,如何恰当地分配FreeRTOS中的堆、任务栈的空间。但是在概念的理解上,也需要知道STM32内存的相关知识。所以首先大致介绍一下STM32的内存结构。
STM32内存结构
STM32的数据在物理上分别储存在RAM和Flash中。RAM可读可写,掉电清零。Flash可读不可写,但能掉电储存,并且一般空间比RAM大很多。
在关于如何使用RAM和Flash的问题上,STM32的内存又有了6个储存数据段和3种储存属性区的概念。
6个储存数据段
data
数据段,储存已初始化的,且初始化不为0的全局变量和静态变量。
bss
Block Started by Symbol。储存未初始化的,或初始化为0的全局变量和静态变量。
text
代码段,储存程序代码。
constdata
储存只读常量。
heap
堆,存放进程运行中被动态分配的内存段。其可用大小定义在启动文件startup_stm32fxx.s
中,由程序员使用malloc()
和free()
函数进行分配和释放。
stack
栈,其大小定义在启动文件startup_stm32fxx.s
中,由系统自动分配和释放。可存放局部变量、函数的参数和返回值,中断发生时能保存现场。但是static声明的局部静态变量不储存在栈中,而是放在data数据段。
3种储存属性区
RO(Read Only)
烧写到Flash中,可以长久保存。text代码段和constdata都属于RO。由于需要掉电储存,RO里也保存了一份data的数据。
RW(Read Write)
储存在RAM中。data属于此区。上电时单片机会将Flash中保存的data类型数据复制到RAM中,以供读写使用。
ZI(Zero Init)
零初始化区,同样储存在RAM里。系统上电时会把此区域的数据进行0初始化。bss,heap,stack均属于这个区域。
小结
STM32的RAM上有RW和ZI两个属性区,里边包含了data,bss,堆(heap),栈(stack)这几个数据段。这里是程序运行的所在。
Flash中有RO区,包含了text、constdata和data三个段,这里则是程序本体所在。
FreeRTOS中的堆
FreeRTOS中的堆也属于ZI区,但是它与STM32内存结构中的堆并不占用相同的空间,两个堆同时存在。以下出现的堆(heap)表示FreeRTOS堆,另外在STM32启动文件中定义大小的堆称为系统堆。
FreeRTOS内核主要使用的内存管理函数为:
void *pvPortMalloc( size_t xSize ); //申请内存
void vPortFree( void *pv ); //释放内存
以上函数控制的是FreeRTOS堆;系统堆则应使用malloc()
和free()
来分配和释放。
FreeRTOS有5种heap的实现方式,在STM32CubeMX中默认为heap_4.c
。这种方式可以满足大部分使用需求,暂时不用关注其实现细节。
这一个堆的大小定义在FreeRTOSConfig.c
中:
#define configTOTAL_HEAP_SIZE ((size_t)3072)
FreeRTOS创建任务时默认的任务栈大小为128字,在32位系统中即为128*4=512Byte,再加上TCB块占用84Byte,一共596Byte。而大小为3072Byte的堆允许创建3个这样的任务,占用约1800Byte。堆中剩余的部分则存放了系统内核、信号量、队列、任务通知等数据。
需要创建更多任务时,堆的大小可自行修改。用RAM的空间减去已分配的空间,即为能给堆分配的最大空间:
\]
FreeRTOS堆和任务空间分配技巧
FreeRTOS堆和任务栈在运行中具有很强的动态性,其大小很难估计。
我们在实际使用中,可以先把空间调整得大一些。程序正常运行后,再通过一些API查看堆栈剩余的空间大小,估算程序运行中需求内存空间的最大值。最后将这个最大值乘一个安全系数,得到最终应该分配的空间大小。安全系数推荐1.3到1.5。
查看堆(heap)剩余空间的API有:
size_t xPortGetFreeHeapSize( void ); //获取当前未分配的内存堆大小
size_t xPortGetMinimumEverFreeHeapSize( void ); //获取未分配的内存堆历史最小值
它们返回值的单位都是字节。
需要注意的是,xPortGetFreeHeapSize()
在使用heap_3.c
时不能被调用;xPortGetMinimumEverFreeHeapSize(
)则只能在使用heap_4.c
或heap_5.c
时生效。
FreeRTOS中也有查看任务栈剩余空间的API:
UBaseType_t uxTaskGetStackHighWaterMark( TaskHandle_t xTask );
这个函数可以获取一个任务从创建好到调用此函数时,任务栈空间的历史最小剩余值(HighWaterMark)。使用这个函数时需注意,它的返回值的单位是字(STM32里1个字长为4个字节)。
这个API默认是关闭状态,需要手动在Cubemx(或配置文件中)将宏INCLUDE_uxTaskGetStackHighWaterMark
置为1。
我在使用过这些API后发现,他们本身也会占用相当的内存空间,尤其是uxTaskGetStackHighWaterMark()
,会拖慢任务运行速度。所以在程序的正式版中,应该将他们删除。