堆栈溢出问题记录

STM32堆栈溢出问题记录

问题记录

• 开发环境:STM32l431RCT6，HAL库。
• 问题描述：在一个函数中定义了两个较大的数组，一个数组大小为2048bytes。函数中使用串口打印数组的数据，发现串口不能发送数据。
  

问题解决

• 通过调试发现，串口发送函数HAL_UART_Transmit总是返回HAL_BUSY,并且huart->gState数据异常。通过修改其中一个数组ReadBuffer，发现huart->gState的数值和ReadBuffer相关，考虑可能是堆栈溢出，导致修改了huart->gState的值，从而导致串口发送异常。
• 查看启动文件startup_stm32l431xx.s，发现栈空间的大小定义为1024bytes。即函数调用时，可以使用的堆栈空间就是1024bytes。其余的RAM空间可能分配给全局变量使用。再通过查看编译生成.map文件，Image Symbol Table部分发现栈顶__initial_sp的地址为0x20001760，故堆栈空间范围为0x20001360 ~ 0x20001760。通过定点调试，两个数组的堆栈起始地址为0x20000758和0x20000F58,已经超出了堆栈空间，修改其值的同时，可能会对其他变量进行可修改。可以通过调试或者.map文件发现，huart1的起始地址为0x200012dc，在ReadBuffer数组的范围之内，所以修改ReadBuffer数组的值可能同时也修改了huart1的值。
  
  
  
• 解决方案：
  • 可以通过修改启动文件的栈空间大小定义，增大栈空间的大小，防止堆栈溢出。
  • 函数内部避免定义较大的数组变量，将较大的变量定义为全局变量，在编译时分配固定的RAM地址。

参考

• https://www.cnblogs.com/yanghong-hnu/p/4705755.html
• 【ARM汇编】SPACE和DCD指令的区别
• STM32栈stack 堆栈 注意事项 Stack_Size EQU 0x00000400