文章目录前言三、 RAM内部结构3.1 .data 段3.1.1 什么是 .data 段3.1.2 .data 段的特点3.1.3 .data 段包含的内容3.1.4 .data 段的启动过程⭐3.2 .bss 段3.2.1 什么是 .bss 段3.2.2 .bss 段的特点3.2.3 .bss 段包含的内容3.2.4 .bss 段的启动过程3.3 .heap 堆区动态内存区3.3.1 什么是.heap 堆区3.3.2 .heap 的特点3.3.3 .heap 段包含的内容3.3.4 .heap 段的启动过程3.4 .stack 栈区局部变量区3.4.1 什么是栈3.4.2 .stack 栈区的特点3.4.3 .stack 栈区包含的内容四、STM32 内存详解FreeRTOS_HEAP 剖析先分清两个堆C 库堆 vs FreeRTOS 堆FreeRTOS_HEAP 到底是什么总结前言提示这里可以添加本文要记录的大概内容本篇文章以STM32F407为例进行讲解其他STM32芯片的结构其实都大差不差可以参考本文进行理解。三、 RAM内部结构前面我们把 Flash 里的 .isr_vector、.text、.rodata 看了看那些都是只读、断电不丢的东西。这一节咱们把目光转 SRAM128KB看看程序运行时那些会变化的数据都是怎么摆放的。先给出结论STM32F407 的 SRAM 从 0x2000 0000 到 0x2001 FFFF一共 128KB从低地址往高地址依次是下面按图中从下往上的顺序一个一个段讲清楚。3.1 .data 段3.1.1 什么是 .data 段.data 段是已初始化数据段存放的是已初始化的全局变量和静态变量。这些变量在编译时就有确定的初始值但 SRAM 是易失性存储器断电后数据会丢失因此这些初始值必须保存在 Flash 中。在系统启动时Reset_Handler 会将 Flash 中的初始值拷贝到 SRAM 中对应的 .data 段。3.1.2 .data 段的特点特性说明内容初始化为非0值的全局/静态变量访问权限可读可写存储位置运行时在 SRAM0x2000 0000起初值另存于 Flash执行方式不可执行只存数据生命周期程序运行期间一直存在3.1.3 .data 段包含的内容// 已初始化的全局变量存储在 .data 段intg_count100;// 初值非0 → .datafloatg_voltage3.3f;// 初值非0 → .datauint8_tg_buf[3]{1,2,3};// 初值非0 → .datacharname[]STM32;// .data数组内容可修改staticints_count5;// .data// 已初始化的静态局部变量存储在 .data 段voidfunc(void){staticintcnt5;// 初值非0的静态变量 → .data}// 已初始化的结构体存储在 .data 段structconfig{uint16_tbaud_rate;uint8_tdata_bits;}uart_config{115200,8};// 初始值 {115200, 8}3.1.4 .data 段的启动过程⭐系统上电/复位↓Reset_Handler 执行↓从 Flash 中读取 .data 初始化镜像↓将初始值拷贝到 SRAM 中的 .data 段↓程序开始运行可以正常访问这些变量拷贝过程示意图Flash.data 初始化镜像 SRAM.data 段 ┌──────────────────┐ ┌──────────────────┐ │100│ 拷贝 │100│ │200│ ──────→ │200│ │1,2,3,4│ │1,2,3,4│ │115200,8│ │115200,8│ └──────────────────┘ └──────────────────┘所以 .data 段两头占地方Flash 存一份初值占用烧录空间SRAM 存一份运行副本。这也是为什么 Keil 编译信息里 RW-data 既算进 Flash 又算进 RAM。3.2 .bss 段3.2.1 什么是 .bss 段.bss 段是未初始化数据段存放的是未初始化的全局变量和静态变量。这些变量在编译时没有确定的初始值在系统启动时由 Reset_Handler 将其全部清零。由于未初始化这些变量不占用 Flash 空间只在 SRAM 中占用空间。3.2.2 .bss 段的特点特性说明内容未初始化/初值为0的全局/静态变量访问权限可读可写存储位置运行时在SRAM不占Flash空间执行方式不可执行只存数据生命周期程序运行期间一直存在3.2.3 .bss 段包含的内容// 未初始化的全局变量存储在 .bss 段intg_array[100];// 未初始化 → .bssuint8_tg_flag0;// 初值为0 → .bsscharg_name[64];// 未初始化 → .bssintg_value0;// 通常也在 .bssstaticints_flag;// .bssstaticcharbuffer[1024];// .bss// 未初始化的静态局部变量存储在 .bss 段voidFunction(void){staticintcall_count;// 未初始化启动时清零call_count;}// FreeRTOS 静态堆heap4也在 .bssstaticuint8_tucHeap[configTOTAL_HEAP_SIZE];// 图中FreeRTOS_HEAP_SIZE 15Kbytes.bss 段的关键不占 Flash既然这些变量的初值都是 0就没必要在 Flash 里存一大堆 0 浪费空间。所以.bss 在 Flash 里不占一个字节只在 map 文件里记录我要多大一块 SRAM上电后启动代码用一个循环把这块 SRAM全部清零对应 Reset_Handler 里的 “Zero fill BSS”。⭐图中 FreeRTOS_HEAP_SIZE 15Kbytes(heap4) 特别说明一下这是 FreeRTOS 用 heap_4.c 方案时定义的一个大数组任务栈、队列、信号量等动态申请的内存都从这个大数组里分。因为它是个未赋初值的全局数组所以归属 .bss 段。注意局部普通变量例如voidfunc(void){intx10;}通常放在栈 Stack中而不是 .data 或 .bss 中。如果它写成voidfunc(void){staticintx10;}则由于 static 生命周期贯穿整个程序它会在 .data 段。如果写成voidfunc(void){staticintx;//或者 static int x 0;}通常会放在 .bss 段。3.2.4 .bss 段的启动过程系统上电/复位↓Reset_Handler 执行↓找到 .bss 段的起始地址_sbss和结束地址_ebss↓将 .bss 段全部清零↓程序开始运行所有未初始化变量默认为 0.bss 段与 .data 段的区别项目.data段.bss段存放内容已初始化的全局变量 / 静态变量未初始化或初始化为 0 的全局变量 / 静态变量运行位置SRAMSRAM初值来源Flash 中保存初始值启动时复制到 SRAM启动时由程序将 SRAM 中该段清零占用 Flash占用 Flash需要保存初始值基本不占用 Flash 空间是否可修改可以可以3.3 .heap 堆区动态内存区3.3.1 什么是.heap 堆区.heap 堆区用于动态内存分配,程序可以在运行时通过 malloc()、calloc()、realloc() 等函数动态申请内存使用完毕后通过 free() 释放。堆区采用向上增长的方式由 C 库的堆管理器统一管理。图中标注 HEAP_SIZE 0x8002Kbytes就是给标准 C 库 malloc 预留的堆空间。3.3.2 .heap 的特点特性说明内容动态申请的内存malloc/free访问权限可读可写存储位置SRAM增长方向从低地址向高地址增长向上管理方式手动malloc申请free释放3.3.3 .heap 段包含的内容// 使用 malloc 分配内存存储在堆上voidFunction(void){int*ptr(int*)malloc(100*sizeof(int));// 在堆上分配 400 字节if(ptr!NULL){// 使用内存ptr[0]10;free(ptr);// 释放内存}}// 使用 calloc 分配并清零voidFunction2(void){uint8_t*buffer(uint8_t*)calloc(50,sizeof(uint8_t));// 分配并清零free(buffer);}// 使用 realloc 调整大小voidFunction3(void){int*arrmalloc(10*sizeof(int));arrrealloc(arr,20*sizeof(int));// 调整大小free(arr);}编译后.heap 段中会包含通过 malloc() 分配的内存块通过 calloc() 分配的内存块通过 realloc() 调整大小的内存块堆管理器的元数据空闲块链表等⚠️嵌入式里 malloc/free 要慎用反复申请释放容易产生内存碎片堆空间又小用不好会申请失败甚至跑飞。很多裸机项目干脆不用堆用 RTOS 时则用 RTOS 自己的内存管理也就是上面 .bss 里那个 heap4 大数组。3.3.4 .heap 段的启动过程系统上电/复位↓Reset_Handler 执行↓设置堆的起始地址_sheap和结束地址_eheap)↓初始化堆管理器空闲块链表↓程序运行可以调用 malloc/free 动态分配内存注 空闲区 / 栈安全区图中堆和栈之间黄色的这一块是堆和栈之间的缓冲地带。堆从下往上长栈从上往下长两者相向而行中间留这块空区是为了防止堆和栈撞在一起叫堆栈冲突/溢出一旦堆长太大或栈用太多把这块空区吃穿、两者重叠程序就会数据错乱甚至崩溃。这就是所谓的栈溢出Stack Overflow。所以这块看似没用的空区其实是安全余量程序设计时要保证堆和栈都不越界。3.4 .stack 栈区局部变量区3.4.1 什么是栈栈.stack是 MCU 内部SRAM 内存里一块连续的内存区域由 CPU 硬件自动管理遵循后进先出 LIFO的访问规则。对栈的理解在2.1.2 isr_vector 段的结构中已经解释此处不再过多赘述。MCU 上电之后启动代码会设置栈指针MSPStack PointerMSP 指向栈的栈顶地址。栈有两种增长方向向下增长绝大多数 ARM‑Cortex‑M 内核STM32/GD32 等数据入栈SP 地址减小出栈SP 地址增大。栈从高地址向低地址生长。向上增长少数架构入栈 SP 地址变大。栈完全由硬件寄存器 SP 配合 CPU 指令自动操作不需要程序员手动写地址读写。C 语言里我们看不见栈指针但函数调用、局部变量、中断都会默默使用栈。3.4.2 .stack 栈区的特点序号栈的特点说明1硬件自动管理无需手动操作地址函数进入时自动分配栈空间函数返回时自动释放栈空间。push入栈、pop出栈由硬件指令完成通常不需要像动态内存那样手动调用malloc()/free()。2后进先出LIFO后压入栈的数据先弹出。非常适合函数嵌套调用例如A函数调用BB调用C则返回顺序为C → B → A。3位于SRAM掉电数据丢失栈通常位于MCU片上SRAM中。掉电后SRAM数据会丢失因此栈不适合存储需要长期保存的数据。4栈空间大小固定编译/链接阶段配置栈大小通常在启动文件或链接脚本如.ld文件中定义例如_estack 0x20020000;。栈容量是固定的不能无限扩张栈溢出是MCU开发中常见问题。5访问速度快栈位于片内SRAMCPU通过栈指针寄存器直接寻址访问速度快通常接近寄存器访问效率。6栈内存是临时的函数结束后数据自动失效函数内部的普通局部变量通常在栈中。函数return后该函数对应的栈帧会被回收其中的数据可能被后续函数调用覆盖。7中断会占用栈Cortex‑M内核发生中断或异常时CPU会自动将部分寄存器压入栈中。若存在中断嵌套栈使用量会进一步增加因此计算栈大小时需要考虑中断嵌套带来的开销。3.4.3 .stack 栈区包含的内容.stack 栈区用于保存函数调用和中断执行过程中的临时数据。函数进入时使用栈空间函数返回后对应空间会被复用。① 普通局部变量voidtest(void){inta10;// 通常在栈中charbuf[64];// 局部数组占用栈空间}局部数组过大容易导致栈溢出uint8_tbuffer[4096];// 约占用 4 KB 栈空间⚠️ 栈只有 1KB如果你在函数里定义了个uint8_t buffer[4096] 这种大数组一下就把栈用爆了 → 栈溢出程序直接跑飞。大数组要么定义成全局放 .bss要么从堆申请。② 函数调用现场函数调用时栈会保存返回地址、LR 和部分寄存器现场。FuncA()→FuncB()→FuncC()FuncC()→FuncB()→FuncA()栈遵循后进先出LIFO原则适合函数嵌套调用。③ 部分函数参数Cortex-M 中通常前 4 个参数通用寄存器 R0 ~ R3第 5 个及以后参数栈voidtest(inta,intb,intc,intd,inte){// e 通常通过栈传递}④ 中断寄存器现场发生中断时硬件自动将以下寄存器压入栈R0、R1、R2、R3、R12、LR、PC、xPSR//共占用8 × 4 32 字节中断嵌套和中断中的局部数组会进一步增加栈占用。⑤ 临时数据编译器计算表达式、调用函数时产生的临时数据也可能使用栈空间。注意1、图片左侧的FreeRTOS_HEAP_SIZE是系统主栈主要供启动代码、main() 函数以及中断服务函数ISR使用整个系统共用这一块栈空间。2、图片有的的STACK是任务栈FreeRTOS 中每个任务都拥有独立的任务控制块TCB和任务栈Task Stack。任务栈用于保存该任务的局部变量、函数调用现场和任务切换时的寄存器上下文等。3、在单片机中堆大小和栈大小定义的位置如下对比项.rodata.data 初始化镜像.data.bss含义只读数据段Read‑Only Data.data 段的初始值副本已初始化的可读写数据段未初始化数据段Block Started by Symbol存放位置FlashFlashSRAMSRAM运行时是否直接访问是程序直接从Flash读取通常否只在启动时读取并复制是程序直接访问SRAM是程序直接访问SRAM是否复制到SRAM一般不复制启动时复制到SRAM的 .data 段它本身就是SRAM中的运行时数据不需要复制启动时的处理方式通常无需处理从Flash复制到SRAM接收Flash中初始化镜像的数据在SRAM中清零运行时能否修改通常不能Flash中镜像不能修改可以修改可以修改典型内容字符串字面量如 char*p“x” 中的 “x”、const 全局变量、查找表有初始值的全局变量、静态变量的初始值有初始值的全局变量和静态变量未显式初始化或初始化为0的全局变量和静态变量是否占用Flash占用占用通常不占用Flash通常不占用初始化数据Flash空间是否占用SRAM通常不占用镜像本身不占用对应 .data 本体占用SRAM占用SRAM占用SRAM启动后的作用程序始终可能直接读取它主要用于初始化SRAM中的 .data保存运行时可修改的已初始化变量保存运行时可修改的零初始化变量除此之外在学习过程中是否遇到过下述的有疑问没遇到可以跳过1、malloc 申请的内存一定在 .heap 里吗什么时候才用堆变量数组不是也能放 .bss/.data 吗malloc 申请的内存一定来自 .heap 堆区不会跑到 .bss 或 .data 去。原因是malloc 就是堆管理器它管理的地盘就是链接脚本划给它的那块 .heap 区域。它只能在自己的地盘里切内存给你不可能跑到别的段去分配。同理FreeRTOS 的 pvPortMalloc 只能在 FreeRTOS_HEAPucHeap 数组里切。2、既然变量能放 .bss/.data为什么还要用堆malloc.bss/.data 里的东西大小和数量必须在编译时就确定而堆是给编译时不确定的情况用的。对比一下全局/静态变量.bss/.data堆malloc大小什么时候定编译时定死运行时才定数量什么时候定编译时定死运行时动态增减生命周期整个程序运行期间你自己控制malloc到free之间3、什么情况必须用堆举几个编译时算不出来的例子例 1大小运行时才知道// 用户通过串口发来 n你事先根本不知道 n 是多少uint8_t*bufmalloc(n);// n 是运行时才确定的只能用堆**加粗样式**你总不能定义 uint8_t buf[?] 吧编译时不知道要多大例 2数量运行时才知道// 网络来了几个连接就创建几个连接对象可能 1 个也可能 100 个Connection*connmalloc(sizeof(Connection));例 3需要灵活的生命周期char*pmalloc(1024);// 现在要用// ... 用完 ...free(p);// 立刻还回去这1KB马上能给别人用如果用全局数组那 1KB 从头到尾都占着即使不用也占着。反过来能用全局变量就别用堆在嵌入式里能在编译时确定的就尽量用全局变量.bss/.data或局部变量栈少用堆。原因堆有碎片问题用久了可能申请失败堆申请有失败的可能返回 NULL代码得处理堆申请释放有运行时开销还可能内存泄漏忘了free。所以经验法则是数组大小固定、程序始终要用 → 全局数组.bss只在某个函数里临时用、且不大 → 局部变量栈大小/数量运行时才知道或要灵活分配释放 → 才用堆malloc。4、不用 malloc 的内存.bss、.stack怎么用直接定义变量就行要不要释放对直接定义变量或数组就行而且都不需要手动释放。 但 .bss 和 .stack 用法和回收机制不一样分开说。1 .bss和 .data全局变量 / 静态变量用法直接在函数外面定义或者函数里加 staticuint8_tg_buffer[1024];// 全局数组 → .bss未初始化intg_flag5;// 全局变量有非0初值 → .datavoidfunc(void){staticintcnt0;// 静态局部变量 → .bss/.datacnt;}要不要释放 —— 不需要也没法释放。它们是编译时分配的固定内存从上电到断电一直存在占着固定的地址没有释放这个概念也不会有内存泄漏唯一要注意的是它一直占着 SRAM定义太多大数组会把 SRAM 占满。2.stack栈局部变量用法在函数里直接定义不加 staticvoidfunc(void){inta10;// 局部变量 → 栈charbuf[64];// 局部数组 → 栈// ... 使用 ...}// 函数一返回a 和 buf 自动消失要不要释放 —— 不需要系统自动回收。进入函数时编译器自动在栈上腾出空间给这些局部变量函数返回时这块栈空间自动收回下次别的函数调用会重用它这一切由 CPU和编译器自动完成你完全不用管。但栈有两个坑要注意⚠️ 坑一局部变量不能定义太大voidfunc(void){charbuf[4096];// ❌ 4KB栈总共可能才 1KB直接栈溢出跑飞}栈很小图中才 1KB大数组要么用全局.bss要么用堆。⚠️ 坑二不能返回局部变量的地址char*get_str(void){charbuf[64]hello;returnbuf;// ❌ 危险buf 出了函数就被回收了返回的地址是无效的}因为局部变量函数一返回就没了你把它的地址带出去指向的是一块已经被回收、随时会被覆盖的内存。一张表看懂内存放哪、谁分配、要不要释放你写的东西存在哪个段谁分配什么时候分配要不要手动释放全局变量、static变量.bss/.data编译器编译时定死❌ 不用函数内局部变量.stack栈CPU/编译器进函数自动分出函数自动收❌ 自动malloc()申请的.heap堆堆管理器运行时你调用才分✅ 必须freepvPortMalloc()(动态任务)FreeRTOS_HEAPucHeap在.bssFreeRTOS运行时xTaskCreate时分✅vTaskDelete回收静态任务的buffer.bss用户全局变量编译器编译时定死❌ 不用想复用手动复用四、STM32 内存详解FreeRTOS_HEAP 剖析上一节我们讲 SRAM 分段时提到.bss 段里有一块特别大的区域标注着 FreeRTOS_HEAP_SIZE 15Kbytes(heap4)。很多小伙伴一看就懵了这不是刚讲过一个 .heap 堆区2KB吗怎么又冒出来一个 15KB 的 FreeRTOS 堆它俩是一回事吗这一节咱们就把 FreeRTOS_HEAP 单独拎出来说说。先分清两个堆C 库堆 vs FreeRTOS 堆初学者最容易在这里搞混先把这两个东西彻底分开对比项.heapC库堆FreeRTOS_HEAPRTOS堆图中大小HEAP_SIZE 0x8002KB15Kbytes谁在用标准C库的malloc/freeFreeRTOS内核本质链接脚本预留的一段空间一个巨大的全局数组归属段独立的.heap区.bss段未初始化的全局数组申请方式malloc()/free()pvPortMalloc()/vPortFree()关键结论FreeRTOS 不用 C 库那个 malloc它自己搞了一个大数组当内存池所有任务、队列、信号量的内存都从这个数组里切出来分配。 因为这个数组没赋初值所以它躺在 .bss 段里这就是为什么图中它画在 .bss 里的原因。FreeRTOS_HEAP 到底是什么它其实就是一个数组,打开 FreeRTOS 的 heap_4.c 文件你会看到这样一行定义// configTOTAL_HEAP_SIZE 就是图里的 15Kbytesstaticuint8_tucHeap[configTOTAL_HEAP_SIZE];就这么简单——FreeRTOS_HEAP 本质上就是一个 uint8_t 类型的静态大数组 ucHeap,单片机跑操作系统时动态创建和静态创建的任务、队列、信号量…以及操作系统所有的内容是在FreeRTOS_HEAP_SIZE中。在 FreeRTOSConfig.h 里配置它的大小#defineconfigTOTAL_HEAP_SIZE((size_t)(15*1024))// 15KBFreeRTOS 把这个数组当成一整块原料仓库需要内存时就从里面切一块出来给你用完了再还回去。所有的分配、回收、合并逻辑都由 heap_4.c 这套代码自己管理。FreeRTOS_HEAP 的特点特性说明内容FreeRTOS 动态申请的所有内存任务、队列、信号量等访问权限可读可写存储位置SRAM 中的.bss段是否占 Flash❌ 不占是未初始化数组上电清零即可管理方式由 FreeRTOS 内核用pvPortMalloc/vPortFree管理生命周期程序运行期间一直存在这 15KB 里都装了什么右边那张内部放大图就是把左边 15KB 那块区域放大了看。当你创建任务时FreeRTOS 会从这块内存池里切出内存一个任务运行起来必须要有两样东西上一节讲过TCB任务控制块任务的户口本STACK任务栈任务的局部变量、调用现场。TCB任务控制块TCB Task Control Block任务控制块。 这是 FreeRTOS 用来描述一个任务的身份证 档案里面记录了这个任务的一切信息// TCB 里大致包含简化版typedefstructtskTaskControlBlock{volatileStackType_t*pxTopOfStack;// 该任务栈顶指针最重要ListItem_t xStateListItem;// 任务状态链表节点就绪/阻塞等UBaseType_t uxPriority;// 任务优先级StackType_t*pxStack;// 任务栈的起始地址charpcTaskName[...];// 任务名字// ... 还有很多}tskTCB;简单说TCB 就是这个任务的户口本系统靠它来管理、调度、切换任务。图中每个 Task 下面那块 TCB黄色就是它。STACK任务栈每个 FreeRTOS 任务都有自己独立的一个栈 这一点非常重要——它和裸机不一样。裸机程序整个系统只有一个栈就是上一节讲的 SRAM 顶端那 1KB 的 .stackFreeRTOS每个任务各有一个栈都从这15KB 的堆里切出来。任务栈用来存这个任务的局部变量、函数调用现场等。创建任务时你指定的栈大小就是从这里切走的xTaskCreate(Task1_Function,// 任务函数Task1,// 任务名256,// 栈大小单位是字256*4 1024字节→ 从堆里切NULL,// 参数2,// 优先级NULL);// 任务句柄上面这一句执行时FreeRTOS 就会从 ucHeap 里切出 TCB 1024字节的栈组合成一个完整的 Task1。图中 Task1、Task2、Task5 每个都是这样TCB STACK一对。已释放的任务空间放大图中间有一块 “已释放的任务空间Task3 和 Task4 的空间已合并”这块正是 heap_4 方案最精髓的地方一定要理解。场景还原如下假设程序运行过程中发生了这些事依次创建了 Task1、Task2、Task3、Task4、Task5它们的内存在堆里紧挨着排下来后来 Task3 和 Task4完成了使命被 vTaskDelete() 删除它们占的内存被 vPortFree() 还回了堆于是 Task3、Task4原来的位置就空出来了变成了图中那块粉色的已释放空间。heap_4 的杀手锏相邻空闲块自动合并。这里有个关键问题Task3 和 Task4 原本是两块内存删掉后会不会变成两个小空洞不会 heap_4 方案会自动检测如果两块被释放的内存在地址上是相邻的就把它们合并成一块更大的连续内存。这就是图中特意标注 “Task3 和 Task4 的空间已合并” 的含义。为什么合并这么重要 举个例子不合并碎片化 [空3KB][空3KB] → 想申请5KB失败虽然总共有6KB合并之后 [ 空6KB ] → 想申请5KB成功如果不合并内存会被切得七零八落明明总量够却申请不到一块连续的大内存——这就是内存碎片问题。heap_4 通过合并相邻空闲块大大缓解了碎片化这也是它成为 FreeRTOS 最常用内存方案的原因。怎么知道堆还剩多少 FreeRTOS 提供了 API 帮你监控size_tfreexPortGetFreeHeapSize();// 当前剩余堆空间size_tminxPortGetMinimumEverFreeHeapSize();// 历史最低剩余用来评估余量任务栈也别设太小xTaskCreate 里的栈大小如果给少了任务里一旦调用嵌套深或有大局部变量就会任务栈溢出程序跑飞。可以开启 configCHECK_FOR_STACK_OVERFLOW 来检测。使用 xTaskCreate() 动态创建任务时FreeRTOS 会通过 pvPortMalloc() 从 FreeRTOS Heap中申请 TCB 和任务栈空间。使用 xTaskCreateStatic() 静态创建任务时TCB和任务栈由用户提前定义为数组或静态变量并作为参数传给 FreeRTOSFreeRTOS 不会调用 pvPortMalloc() 或malloc()。在任务里创建的局部变量会放到该任务的 STACK任务栈里。而在创建任务时涉及的优先级、任务名、栈的位置(指针)等相关属性会保存在 TCB任务控制块 里。其中栈的大小是创建任务时传入的参数用来决定分配多大的栈内存分配后 TCB 通过栈指针来管理这块栈空间。STACK 和 TCB 分工对比表 内容存在哪说明局部变量STACK任务运行时的变量函数调用信息STACK返回地址、参数等优先级TCBuxPriority任务名TCBpcTaskName任务状态TCB就绪/阻塞/挂起等栈起始地址TCBpxStack(指针)栈顶指针TCBpxTopOfStack栈大小(数值)⚠️创建时的参数决定分配多大任务A正在运行↓触发任务切换(如时间片到/PendSV)↓硬件自动压栈xPSR,PC,LR,R12,R3,R2,R1,R0 → 任务A栈↓软件(PendSV)手动压栈R4-R11 → 任务A栈↓保存任务A的栈指针到任务A的TCB↓从任务B的TCB取出栈指针↓软件手动出栈R4-R11 ← 任务B栈↓硬件自动出栈xPSR,PC…R0 ← 任务B栈↓任务B开始运行 ✅任务现场是什么就是 CPU 寄存器当前保存的数据例如R0 ~ R12临时数据、变量、计算结果PC任务执行到哪条指令LR返回地址xPSRCPU 状态如果不保存这些数据任务 A 被切走后任务 B 会使用并覆盖这些寄存器。等任务 A 再回来时就不知道自己原来运行到哪里、变量是多少了。图中蓝色部分硬件自动保存Cortex-M 进入 PendSV 中断进行任务切换时硬件会自动把这些寄存器压入当前任务栈R0、R1、R2、R3、R12、LR、PC、xPSR其中最重要的是PC图中白色部分FreeRTOS 手动保存硬件不会自动保存全部寄存器所以 FreeRTOS 还需要手动保存R4 ~ R11总结本文从 STM32 的存储器映射入手依次讲解 Flash 内的中断向量表、.text、.rodata、.data初始化镜像以及 RAM 中的.data、.bss、堆、栈各内存段的定义、特性与上电启动流程最后区分 C 标准库堆与 FreeRTOS 堆剖析 RTOS 下堆内存的管理逻辑完整梳理了 MCU 程序的存储布局与内存运行机制帮助理解程序从 Flash 加载到 RAM 执行的全过程。碰到钉子时就向钉子学习把别人的经验变成自己的你的本事就大了。任何时候改变自己永远都不晚不管路有多远一步一个脚印走下去。凡是忍耐多想想自己的缺点。增益其所不能照顾大局只要不妨碍大的原则多多原谅大家。一时办不到的事情必须允许逐步去办。————《毛选》
文章目录前言三、 RAM内部结构3.1 .data 段3.1.1 什么是 .data 段3.1.2 .data 段的特点3.1.3 .data 段包含的内容3.1.4 .data 段的启动过程⭐3.2 .bss 段3.2.1 什么是 .bss 段3.2.2 .bss 段的特点3.2.3 .bss 段包含的内容3.2.4 .bss 段的启动过程3.3 .heap 堆区动态内存区3.3.1 什么是.heap 堆区3.3.2 .heap 的特点3.3.3 .heap 段包含的内容3.3.4 .heap 段的启动过程3.4 .stack 栈区局部变量区3.4.1 什么是栈3.4.2 .stack 栈区的特点3.4.3 .stack 栈区包含的内容四、STM32 内存详解FreeRTOS_HEAP 剖析先分清两个堆C 库堆 vs FreeRTOS 堆FreeRTOS_HEAP 到底是什么总结前言提示这里可以添加本文要记录的大概内容本篇文章以STM32F407为例进行讲解其他STM32芯片的结构其实都大差不差可以参考本文进行理解。三、 RAM内部结构前面我们把 Flash 里的 .isr_vector、.text、.rodata 看了看那些都是只读、断电不丢的东西。这一节咱们把目光转 SRAM128KB看看程序运行时那些会变化的数据都是怎么摆放的。先给出结论STM32F407 的 SRAM 从 0x2000 0000 到 0x2001 FFFF一共 128KB从低地址往高地址依次是下面按图中从下往上的顺序一个一个段讲清楚。3.1 .data 段3.1.1 什么是 .data 段.data 段是已初始化数据段存放的是已初始化的全局变量和静态变量。这些变量在编译时就有确定的初始值但 SRAM 是易失性存储器断电后数据会丢失因此这些初始值必须保存在 Flash 中。在系统启动时Reset_Handler 会将 Flash 中的初始值拷贝到 SRAM 中对应的 .data 段。3.1.2 .data 段的特点特性说明内容初始化为非0值的全局/静态变量访问权限可读可写存储位置运行时在 SRAM0x2000 0000起初值另存于 Flash执行方式不可执行只存数据生命周期程序运行期间一直存在3.1.3 .data 段包含的内容// 已初始化的全局变量存储在 .data 段intg_count100;// 初值非0 → .datafloatg_voltage3.3f;// 初值非0 → .datauint8_tg_buf[3]{1,2,3};// 初值非0 → .datacharname[]STM32;// .data数组内容可修改staticints_count5;// .data// 已初始化的静态局部变量存储在 .data 段voidfunc(void){staticintcnt5;// 初值非0的静态变量 → .data}// 已初始化的结构体存储在 .data 段structconfig{uint16_tbaud_rate;uint8_tdata_bits;}uart_config{115200,8};// 初始值 {115200, 8}3.1.4 .data 段的启动过程⭐系统上电/复位↓Reset_Handler 执行↓从 Flash 中读取 .data 初始化镜像↓将初始值拷贝到 SRAM 中的 .data 段↓程序开始运行可以正常访问这些变量拷贝过程示意图Flash.data 初始化镜像 SRAM.data 段 ┌──────────────────┐ ┌──────────────────┐ │100│ 拷贝 │100│ │200│ ──────→ │200│ │1,2,3,4│ │1,2,3,4│ │115200,8│ │115200,8│ └──────────────────┘ └──────────────────┘所以 .data 段两头占地方Flash 存一份初值占用烧录空间SRAM 存一份运行副本。这也是为什么 Keil 编译信息里 RW-data 既算进 Flash 又算进 RAM。3.2 .bss 段3.2.1 什么是 .bss 段.bss 段是未初始化数据段存放的是未初始化的全局变量和静态变量。这些变量在编译时没有确定的初始值在系统启动时由 Reset_Handler 将其全部清零。由于未初始化这些变量不占用 Flash 空间只在 SRAM 中占用空间。3.2.2 .bss 段的特点特性说明内容未初始化/初值为0的全局/静态变量访问权限可读可写存储位置运行时在SRAM不占Flash空间执行方式不可执行只存数据生命周期程序运行期间一直存在3.2.3 .bss 段包含的内容// 未初始化的全局变量存储在 .bss 段intg_array[100];// 未初始化 → .bssuint8_tg_flag0;// 初值为0 → .bsscharg_name[64];// 未初始化 → .bssintg_value0;// 通常也在 .bssstaticints_flag;// .bssstaticcharbuffer[1024];// .bss// 未初始化的静态局部变量存储在 .bss 段voidFunction(void){staticintcall_count;// 未初始化启动时清零call_count;}// FreeRTOS 静态堆heap4也在 .bssstaticuint8_tucHeap[configTOTAL_HEAP_SIZE];// 图中FreeRTOS_HEAP_SIZE 15Kbytes.bss 段的关键不占 Flash既然这些变量的初值都是 0就没必要在 Flash 里存一大堆 0 浪费空间。所以.bss 在 Flash 里不占一个字节只在 map 文件里记录我要多大一块 SRAM上电后启动代码用一个循环把这块 SRAM全部清零对应 Reset_Handler 里的 “Zero fill BSS”。⭐图中 FreeRTOS_HEAP_SIZE 15Kbytes(heap4) 特别说明一下这是 FreeRTOS 用 heap_4.c 方案时定义的一个大数组任务栈、队列、信号量等动态申请的内存都从这个大数组里分。因为它是个未赋初值的全局数组所以归属 .bss 段。注意局部普通变量例如voidfunc(void){intx10;}通常放在栈 Stack中而不是 .data 或 .bss 中。如果它写成voidfunc(void){staticintx10;}则由于 static 生命周期贯穿整个程序它会在 .data 段。如果写成voidfunc(void){staticintx;//或者 static int x 0;}通常会放在 .bss 段。3.2.4 .bss 段的启动过程系统上电/复位↓Reset_Handler 执行↓找到 .bss 段的起始地址_sbss和结束地址_ebss↓将 .bss 段全部清零↓程序开始运行所有未初始化变量默认为 0.bss 段与 .data 段的区别项目.data段.bss段存放内容已初始化的全局变量 / 静态变量未初始化或初始化为 0 的全局变量 / 静态变量运行位置SRAMSRAM初值来源Flash 中保存初始值启动时复制到 SRAM启动时由程序将 SRAM 中该段清零占用 Flash占用 Flash需要保存初始值基本不占用 Flash 空间是否可修改可以可以3.3 .heap 堆区动态内存区3.3.1 什么是.heap 堆区.heap 堆区用于动态内存分配,程序可以在运行时通过 malloc()、calloc()、realloc() 等函数动态申请内存使用完毕后通过 free() 释放。堆区采用向上增长的方式由 C 库的堆管理器统一管理。图中标注 HEAP_SIZE 0x8002Kbytes就是给标准 C 库 malloc 预留的堆空间。3.3.2 .heap 的特点特性说明内容动态申请的内存malloc/free访问权限可读可写存储位置SRAM增长方向从低地址向高地址增长向上管理方式手动malloc申请free释放3.3.3 .heap 段包含的内容// 使用 malloc 分配内存存储在堆上voidFunction(void){int*ptr(int*)malloc(100*sizeof(int));// 在堆上分配 400 字节if(ptr!NULL){// 使用内存ptr[0]10;free(ptr);// 释放内存}}// 使用 calloc 分配并清零voidFunction2(void){uint8_t*buffer(uint8_t*)calloc(50,sizeof(uint8_t));// 分配并清零free(buffer);}// 使用 realloc 调整大小voidFunction3(void){int*arrmalloc(10*sizeof(int));arrrealloc(arr,20*sizeof(int));// 调整大小free(arr);}编译后.heap 段中会包含通过 malloc() 分配的内存块通过 calloc() 分配的内存块通过 realloc() 调整大小的内存块堆管理器的元数据空闲块链表等⚠️嵌入式里 malloc/free 要慎用反复申请释放容易产生内存碎片堆空间又小用不好会申请失败甚至跑飞。很多裸机项目干脆不用堆用 RTOS 时则用 RTOS 自己的内存管理也就是上面 .bss 里那个 heap4 大数组。3.3.4 .heap 段的启动过程系统上电/复位↓Reset_Handler 执行↓设置堆的起始地址_sheap和结束地址_eheap)↓初始化堆管理器空闲块链表↓程序运行可以调用 malloc/free 动态分配内存注 空闲区 / 栈安全区图中堆和栈之间黄色的这一块是堆和栈之间的缓冲地带。堆从下往上长栈从上往下长两者相向而行中间留这块空区是为了防止堆和栈撞在一起叫堆栈冲突/溢出一旦堆长太大或栈用太多把这块空区吃穿、两者重叠程序就会数据错乱甚至崩溃。这就是所谓的栈溢出Stack Overflow。所以这块看似没用的空区其实是安全余量程序设计时要保证堆和栈都不越界。3.4 .stack 栈区局部变量区3.4.1 什么是栈栈.stack是 MCU 内部SRAM 内存里一块连续的内存区域由 CPU 硬件自动管理遵循后进先出 LIFO的访问规则。对栈的理解在2.1.2 isr_vector 段的结构中已经解释此处不再过多赘述。MCU 上电之后启动代码会设置栈指针MSPStack PointerMSP 指向栈的栈顶地址。栈有两种增长方向向下增长绝大多数 ARM‑Cortex‑M 内核STM32/GD32 等数据入栈SP 地址减小出栈SP 地址增大。栈从高地址向低地址生长。向上增长少数架构入栈 SP 地址变大。栈完全由硬件寄存器 SP 配合 CPU 指令自动操作不需要程序员手动写地址读写。C 语言里我们看不见栈指针但函数调用、局部变量、中断都会默默使用栈。3.4.2 .stack 栈区的特点序号栈的特点说明1硬件自动管理无需手动操作地址函数进入时自动分配栈空间函数返回时自动释放栈空间。push入栈、pop出栈由硬件指令完成通常不需要像动态内存那样手动调用malloc()/free()。2后进先出LIFO后压入栈的数据先弹出。非常适合函数嵌套调用例如A函数调用BB调用C则返回顺序为C → B → A。3位于SRAM掉电数据丢失栈通常位于MCU片上SRAM中。掉电后SRAM数据会丢失因此栈不适合存储需要长期保存的数据。4栈空间大小固定编译/链接阶段配置栈大小通常在启动文件或链接脚本如.ld文件中定义例如_estack 0x20020000;。栈容量是固定的不能无限扩张栈溢出是MCU开发中常见问题。5访问速度快栈位于片内SRAMCPU通过栈指针寄存器直接寻址访问速度快通常接近寄存器访问效率。6栈内存是临时的函数结束后数据自动失效函数内部的普通局部变量通常在栈中。函数return后该函数对应的栈帧会被回收其中的数据可能被后续函数调用覆盖。7中断会占用栈Cortex‑M内核发生中断或异常时CPU会自动将部分寄存器压入栈中。若存在中断嵌套栈使用量会进一步增加因此计算栈大小时需要考虑中断嵌套带来的开销。3.4.3 .stack 栈区包含的内容.stack 栈区用于保存函数调用和中断执行过程中的临时数据。函数进入时使用栈空间函数返回后对应空间会被复用。① 普通局部变量voidtest(void){inta10;// 通常在栈中charbuf[64];// 局部数组占用栈空间}局部数组过大容易导致栈溢出uint8_tbuffer[4096];// 约占用 4 KB 栈空间⚠️ 栈只有 1KB如果你在函数里定义了个uint8_t buffer[4096] 这种大数组一下就把栈用爆了 → 栈溢出程序直接跑飞。大数组要么定义成全局放 .bss要么从堆申请。② 函数调用现场函数调用时栈会保存返回地址、LR 和部分寄存器现场。FuncA()→FuncB()→FuncC()FuncC()→FuncB()→FuncA()栈遵循后进先出LIFO原则适合函数嵌套调用。③ 部分函数参数Cortex-M 中通常前 4 个参数通用寄存器 R0 ~ R3第 5 个及以后参数栈voidtest(inta,intb,intc,intd,inte){// e 通常通过栈传递}④ 中断寄存器现场发生中断时硬件自动将以下寄存器压入栈R0、R1、R2、R3、R12、LR、PC、xPSR//共占用8 × 4 32 字节中断嵌套和中断中的局部数组会进一步增加栈占用。⑤ 临时数据编译器计算表达式、调用函数时产生的临时数据也可能使用栈空间。注意1、图片左侧的FreeRTOS_HEAP_SIZE是系统主栈主要供启动代码、main() 函数以及中断服务函数ISR使用整个系统共用这一块栈空间。2、图片有的的STACK是任务栈FreeRTOS 中每个任务都拥有独立的任务控制块TCB和任务栈Task Stack。任务栈用于保存该任务的局部变量、函数调用现场和任务切换时的寄存器上下文等。3、在单片机中堆大小和栈大小定义的位置如下对比项.rodata.data 初始化镜像.data.bss含义只读数据段Read‑Only Data.data 段的初始值副本已初始化的可读写数据段未初始化数据段Block Started by Symbol存放位置FlashFlashSRAMSRAM运行时是否直接访问是程序直接从Flash读取通常否只在启动时读取并复制是程序直接访问SRAM是程序直接访问SRAM是否复制到SRAM一般不复制启动时复制到SRAM的 .data 段它本身就是SRAM中的运行时数据不需要复制启动时的处理方式通常无需处理从Flash复制到SRAM接收Flash中初始化镜像的数据在SRAM中清零运行时能否修改通常不能Flash中镜像不能修改可以修改可以修改典型内容字符串字面量如 char*p“x” 中的 “x”、const 全局变量、查找表有初始值的全局变量、静态变量的初始值有初始值的全局变量和静态变量未显式初始化或初始化为0的全局变量和静态变量是否占用Flash占用占用通常不占用Flash通常不占用初始化数据Flash空间是否占用SRAM通常不占用镜像本身不占用对应 .data 本体占用SRAM占用SRAM占用SRAM启动后的作用程序始终可能直接读取它主要用于初始化SRAM中的 .data保存运行时可修改的已初始化变量保存运行时可修改的零初始化变量除此之外在学习过程中是否遇到过下述的有疑问没遇到可以跳过1、malloc 申请的内存一定在 .heap 里吗什么时候才用堆变量数组不是也能放 .bss/.data 吗malloc 申请的内存一定来自 .heap 堆区不会跑到 .bss 或 .data 去。原因是malloc 就是堆管理器它管理的地盘就是链接脚本划给它的那块 .heap 区域。它只能在自己的地盘里切内存给你不可能跑到别的段去分配。同理FreeRTOS 的 pvPortMalloc 只能在 FreeRTOS_HEAPucHeap 数组里切。2、既然变量能放 .bss/.data为什么还要用堆malloc.bss/.data 里的东西大小和数量必须在编译时就确定而堆是给编译时不确定的情况用的。对比一下全局/静态变量.bss/.data堆malloc大小什么时候定编译时定死运行时才定数量什么时候定编译时定死运行时动态增减生命周期整个程序运行期间你自己控制malloc到free之间3、什么情况必须用堆举几个编译时算不出来的例子例 1大小运行时才知道// 用户通过串口发来 n你事先根本不知道 n 是多少uint8_t*bufmalloc(n);// n 是运行时才确定的只能用堆**加粗样式**你总不能定义 uint8_t buf[?] 吧编译时不知道要多大例 2数量运行时才知道// 网络来了几个连接就创建几个连接对象可能 1 个也可能 100 个Connection*connmalloc(sizeof(Connection));例 3需要灵活的生命周期char*pmalloc(1024);// 现在要用// ... 用完 ...free(p);// 立刻还回去这1KB马上能给别人用如果用全局数组那 1KB 从头到尾都占着即使不用也占着。反过来能用全局变量就别用堆在嵌入式里能在编译时确定的就尽量用全局变量.bss/.data或局部变量栈少用堆。原因堆有碎片问题用久了可能申请失败堆申请有失败的可能返回 NULL代码得处理堆申请释放有运行时开销还可能内存泄漏忘了free。所以经验法则是数组大小固定、程序始终要用 → 全局数组.bss只在某个函数里临时用、且不大 → 局部变量栈大小/数量运行时才知道或要灵活分配释放 → 才用堆malloc。4、不用 malloc 的内存.bss、.stack怎么用直接定义变量就行要不要释放对直接定义变量或数组就行而且都不需要手动释放。 但 .bss 和 .stack 用法和回收机制不一样分开说。1 .bss和 .data全局变量 / 静态变量用法直接在函数外面定义或者函数里加 staticuint8_tg_buffer[1024];// 全局数组 → .bss未初始化intg_flag5;// 全局变量有非0初值 → .datavoidfunc(void){staticintcnt0;// 静态局部变量 → .bss/.datacnt;}要不要释放 —— 不需要也没法释放。它们是编译时分配的固定内存从上电到断电一直存在占着固定的地址没有释放这个概念也不会有内存泄漏唯一要注意的是它一直占着 SRAM定义太多大数组会把 SRAM 占满。2.stack栈局部变量用法在函数里直接定义不加 staticvoidfunc(void){inta10;// 局部变量 → 栈charbuf[64];// 局部数组 → 栈// ... 使用 ...}// 函数一返回a 和 buf 自动消失要不要释放 —— 不需要系统自动回收。进入函数时编译器自动在栈上腾出空间给这些局部变量函数返回时这块栈空间自动收回下次别的函数调用会重用它这一切由 CPU和编译器自动完成你完全不用管。但栈有两个坑要注意⚠️ 坑一局部变量不能定义太大voidfunc(void){charbuf[4096];// ❌ 4KB栈总共可能才 1KB直接栈溢出跑飞}栈很小图中才 1KB大数组要么用全局.bss要么用堆。⚠️ 坑二不能返回局部变量的地址char*get_str(void){charbuf[64]hello;returnbuf;// ❌ 危险buf 出了函数就被回收了返回的地址是无效的}因为局部变量函数一返回就没了你把它的地址带出去指向的是一块已经被回收、随时会被覆盖的内存。一张表看懂内存放哪、谁分配、要不要释放你写的东西存在哪个段谁分配什么时候分配要不要手动释放全局变量、static变量.bss/.data编译器编译时定死❌ 不用函数内局部变量.stack栈CPU/编译器进函数自动分出函数自动收❌ 自动malloc()申请的.heap堆堆管理器运行时你调用才分✅ 必须freepvPortMalloc()(动态任务)FreeRTOS_HEAPucHeap在.bssFreeRTOS运行时xTaskCreate时分✅vTaskDelete回收静态任务的buffer.bss用户全局变量编译器编译时定死❌ 不用想复用手动复用四、STM32 内存详解FreeRTOS_HEAP 剖析上一节我们讲 SRAM 分段时提到.bss 段里有一块特别大的区域标注着 FreeRTOS_HEAP_SIZE 15Kbytes(heap4)。很多小伙伴一看就懵了这不是刚讲过一个 .heap 堆区2KB吗怎么又冒出来一个 15KB 的 FreeRTOS 堆它俩是一回事吗这一节咱们就把 FreeRTOS_HEAP 单独拎出来说说。先分清两个堆C 库堆 vs FreeRTOS 堆初学者最容易在这里搞混先把这两个东西彻底分开对比项.heapC库堆FreeRTOS_HEAPRTOS堆图中大小HEAP_SIZE 0x8002KB15Kbytes谁在用标准C库的malloc/freeFreeRTOS内核本质链接脚本预留的一段空间一个巨大的全局数组归属段独立的.heap区.bss段未初始化的全局数组申请方式malloc()/free()pvPortMalloc()/vPortFree()关键结论FreeRTOS 不用 C 库那个 malloc它自己搞了一个大数组当内存池所有任务、队列、信号量的内存都从这个数组里切出来分配。 因为这个数组没赋初值所以它躺在 .bss 段里这就是为什么图中它画在 .bss 里的原因。FreeRTOS_HEAP 到底是什么它其实就是一个数组,打开 FreeRTOS 的 heap_4.c 文件你会看到这样一行定义// configTOTAL_HEAP_SIZE 就是图里的 15Kbytesstaticuint8_tucHeap[configTOTAL_HEAP_SIZE];就这么简单——FreeRTOS_HEAP 本质上就是一个 uint8_t 类型的静态大数组 ucHeap,单片机跑操作系统时动态创建和静态创建的任务、队列、信号量…以及操作系统所有的内容是在FreeRTOS_HEAP_SIZE中。在 FreeRTOSConfig.h 里配置它的大小#defineconfigTOTAL_HEAP_SIZE((size_t)(15*1024))// 15KBFreeRTOS 把这个数组当成一整块原料仓库需要内存时就从里面切一块出来给你用完了再还回去。所有的分配、回收、合并逻辑都由 heap_4.c 这套代码自己管理。FreeRTOS_HEAP 的特点特性说明内容FreeRTOS 动态申请的所有内存任务、队列、信号量等访问权限可读可写存储位置SRAM 中的.bss段是否占 Flash❌ 不占是未初始化数组上电清零即可管理方式由 FreeRTOS 内核用pvPortMalloc/vPortFree管理生命周期程序运行期间一直存在这 15KB 里都装了什么右边那张内部放大图就是把左边 15KB 那块区域放大了看。当你创建任务时FreeRTOS 会从这块内存池里切出内存一个任务运行起来必须要有两样东西上一节讲过TCB任务控制块任务的户口本STACK任务栈任务的局部变量、调用现场。TCB任务控制块TCB Task Control Block任务控制块。 这是 FreeRTOS 用来描述一个任务的身份证 档案里面记录了这个任务的一切信息// TCB 里大致包含简化版typedefstructtskTaskControlBlock{volatileStackType_t*pxTopOfStack;// 该任务栈顶指针最重要ListItem_t xStateListItem;// 任务状态链表节点就绪/阻塞等UBaseType_t uxPriority;// 任务优先级StackType_t*pxStack;// 任务栈的起始地址charpcTaskName[...];// 任务名字// ... 还有很多}tskTCB;简单说TCB 就是这个任务的户口本系统靠它来管理、调度、切换任务。图中每个 Task 下面那块 TCB黄色就是它。STACK任务栈每个 FreeRTOS 任务都有自己独立的一个栈 这一点非常重要——它和裸机不一样。裸机程序整个系统只有一个栈就是上一节讲的 SRAM 顶端那 1KB 的 .stackFreeRTOS每个任务各有一个栈都从这15KB 的堆里切出来。任务栈用来存这个任务的局部变量、函数调用现场等。创建任务时你指定的栈大小就是从这里切走的xTaskCreate(Task1_Function,// 任务函数Task1,// 任务名256,// 栈大小单位是字256*4 1024字节→ 从堆里切NULL,// 参数2,// 优先级NULL);// 任务句柄上面这一句执行时FreeRTOS 就会从 ucHeap 里切出 TCB 1024字节的栈组合成一个完整的 Task1。图中 Task1、Task2、Task5 每个都是这样TCB STACK一对。已释放的任务空间放大图中间有一块 “已释放的任务空间Task3 和 Task4 的空间已合并”这块正是 heap_4 方案最精髓的地方一定要理解。场景还原如下假设程序运行过程中发生了这些事依次创建了 Task1、Task2、Task3、Task4、Task5它们的内存在堆里紧挨着排下来后来 Task3 和 Task4完成了使命被 vTaskDelete() 删除它们占的内存被 vPortFree() 还回了堆于是 Task3、Task4原来的位置就空出来了变成了图中那块粉色的已释放空间。heap_4 的杀手锏相邻空闲块自动合并。这里有个关键问题Task3 和 Task4 原本是两块内存删掉后会不会变成两个小空洞不会 heap_4 方案会自动检测如果两块被释放的内存在地址上是相邻的就把它们合并成一块更大的连续内存。这就是图中特意标注 “Task3 和 Task4 的空间已合并” 的含义。为什么合并这么重要 举个例子不合并碎片化 [空3KB][空3KB] → 想申请5KB失败虽然总共有6KB合并之后 [ 空6KB ] → 想申请5KB成功如果不合并内存会被切得七零八落明明总量够却申请不到一块连续的大内存——这就是内存碎片问题。heap_4 通过合并相邻空闲块大大缓解了碎片化这也是它成为 FreeRTOS 最常用内存方案的原因。怎么知道堆还剩多少 FreeRTOS 提供了 API 帮你监控size_tfreexPortGetFreeHeapSize();// 当前剩余堆空间size_tminxPortGetMinimumEverFreeHeapSize();// 历史最低剩余用来评估余量任务栈也别设太小xTaskCreate 里的栈大小如果给少了任务里一旦调用嵌套深或有大局部变量就会任务栈溢出程序跑飞。可以开启 configCHECK_FOR_STACK_OVERFLOW 来检测。使用 xTaskCreate() 动态创建任务时FreeRTOS 会通过 pvPortMalloc() 从 FreeRTOS Heap中申请 TCB 和任务栈空间。使用 xTaskCreateStatic() 静态创建任务时TCB和任务栈由用户提前定义为数组或静态变量并作为参数传给 FreeRTOSFreeRTOS 不会调用 pvPortMalloc() 或malloc()。在任务里创建的局部变量会放到该任务的 STACK任务栈里。而在创建任务时涉及的优先级、任务名、栈的位置(指针)等相关属性会保存在 TCB任务控制块 里。其中栈的大小是创建任务时传入的参数用来决定分配多大的栈内存分配后 TCB 通过栈指针来管理这块栈空间。STACK 和 TCB 分工对比表 内容存在哪说明局部变量STACK任务运行时的变量函数调用信息STACK返回地址、参数等优先级TCBuxPriority任务名TCBpcTaskName任务状态TCB就绪/阻塞/挂起等栈起始地址TCBpxStack(指针)栈顶指针TCBpxTopOfStack栈大小(数值)⚠️创建时的参数决定分配多大任务A正在运行↓触发任务切换(如时间片到/PendSV)↓硬件自动压栈xPSR,PC,LR,R12,R3,R2,R1,R0 → 任务A栈↓软件(PendSV)手动压栈R4-R11 → 任务A栈↓保存任务A的栈指针到任务A的TCB↓从任务B的TCB取出栈指针↓软件手动出栈R4-R11 ← 任务B栈↓硬件自动出栈xPSR,PC…R0 ← 任务B栈↓任务B开始运行 ✅任务现场是什么就是 CPU 寄存器当前保存的数据例如R0 ~ R12临时数据、变量、计算结果PC任务执行到哪条指令LR返回地址xPSRCPU 状态如果不保存这些数据任务 A 被切走后任务 B 会使用并覆盖这些寄存器。等任务 A 再回来时就不知道自己原来运行到哪里、变量是多少了。图中蓝色部分硬件自动保存Cortex-M 进入 PendSV 中断进行任务切换时硬件会自动把这些寄存器压入当前任务栈R0、R1、R2、R3、R12、LR、PC、xPSR其中最重要的是PC图中白色部分FreeRTOS 手动保存硬件不会自动保存全部寄存器所以 FreeRTOS 还需要手动保存R4 ~ R11总结本文从 STM32 的存储器映射入手依次讲解 Flash 内的中断向量表、.text、.rodata、.data初始化镜像以及 RAM 中的.data、.bss、堆、栈各内存段的定义、特性与上电启动流程最后区分 C 标准库堆与 FreeRTOS 堆剖析 RTOS 下堆内存的管理逻辑完整梳理了 MCU 程序的存储布局与内存运行机制帮助理解程序从 Flash 加载到 RAM 执行的全过程。碰到钉子时就向钉子学习把别人的经验变成自己的你的本事就大了。任何时候改变自己永远都不晚不管路有多远一步一个脚印走下去。凡是忍耐多想想自己的缺点。增益其所不能照顾大局只要不妨碍大的原则多多原谅大家。一时办不到的事情必须允许逐步去办。————《毛选》
