利用STM2与Ubuntu验证C内存分配问题
文章目录
编写一个C程序，重温全局变量、局部变量、堆、栈等概念，在Ubuntu(x86)系统和STM32(Keil)中分别进行编程、验证（STM32 通过串口printf 信息到上位机串口助手) 。
归纳出Ubuntu、stm32下的C程序中堆、栈、全局、局部等变量的分配地址，进行对比分析。
一、全局变量和局部变量
全局变量
在所有函数外部定义的变量称为全局变量（Global Variable），它的作用域默认是整个程序，也就是所有的源文件。
局部变量
定义在函数内部的变量称为局部变量（Local Variable），它的作用域仅限于函数内部， 离开该函数其定义将被无视，在函数外使用将会报错。
两者之间的区别
作用域：
- 全局变量：全局变量在程序的任何地方都可以被访问，即其作用域为整个程序。它们通常在程序顶部定义，在整个程序执行期间都存在。
- 局部变量：局部变量只能在其所在的特定范围内被访问。例如，在函数内部定义的局部变量只能在该函数中使用，它们的作用域仅限于函数内部。
可访问性：
- 全局变量：全局变量在整个程序中都可以被访问，包括在函数内部。函数可以直接访问全局变量，无需任何额外声明。
- 局部变量：局部变量只能在其定义的作用域内被访问。其他函数或全局作用域无法直接访问局部变量。
生命周期：
- 全局变量：全局变量在程序开始执行时创建，直到程序结束才会被销毁。它们的生命周期与整个程序的执行周期相同。
- 局部变量：局部变量在其所在的作用域被创建时分配内存，并在作用域结束时自动销毁。每当函数执行时，局部变量都会被创建和销毁。
冲突风险：
- 全局变量：由于全局变量的可访问性较高，可能会被多个函数同时访问和修改。这可能导致变量的非预期更改和值冲突。
- 局部变量：局部变量只在其定义的作用域内有效，不会与其他函数或全局变量发生冲突。这增加了代码的可维护性和可靠性。
内存位置
- 全局变量在C中的内存位置为堆区，而局部变量位于栈区
二、C内存分配简单介绍
2.1 STM2中的堆栈区
在STM32微控制器中，堆栈区是用来存储程序执行期间的变量、函数调用信息和局部数据的一块内存区域。它位于RAM（Random Access Memory，随机存取存储器）区域中。
堆栈区的主要作用是跟踪函数的调用和返回过程，并存储函数的局部变量。当程序执行函数调用时，会将当前函数的返回地址、局部变量和其他相关信息压入堆栈中。函数执行完毕后，这些数据将会从堆栈中弹出，恢复到调用函数的状态。
在STM32微控制器中，堆栈区的大小和位置由编译器和链接器决定，并且可以通过调整相关配置参数来进行调整。堆栈区的大小应根据程序的需求进行合理的设置，以防止堆栈溢出和内存错误。
2.2 程序的内存分配
-
栈区（stack）
由编译器自动分配释放，存放函数的参数值，局部变量的值等。其操作方式类似于数据结构中的栈。
-
堆区（heap）
一般由程序员分配释放，若程序员不释放，程序结束时可能由OS回收 。它与数据结构中的堆不同，分配方式类似于链表。
-
全局区（静态区）（static）
全局变量和静态变量的存储是放在一块的，初始化的全局变量和静态变量在一块区域， 未初始化的全局变量、未初始化的静态变量在相邻的另一块区域。当程序结束后，变量由系统释放 。
-
文字常量区
存放常量字符串。当程序结束后，常量字符串由系统释放 。
-
程序代码区
存放函数体的二进制代码。
以下程序可以更加清晰地说明C程序的详细地址分配
#include <stdio.h>
static unsigned int a1 = 1; //a1存放在.data段
unsigned int a2 = 1; //初始化的全局变量a2存放在.data段
unsigned int a3 ; //未初始化的全局变量a3存放在.bss段
const unsigned int a4 = 1; //a4存放在.rodata（只读数据段）
unsigned char function(unsigned int num) // num 存放在栈区
{
char var = "helloworld!"; // var存放在栈区，"helloworld!"存放在常量区
unsigned int num1 = 1 ; // num1存放在栈区
static unsigned int num2 = 0; // num2存放在.data段
const unsigned int num3 = 7; //num3存放在栈区
void *p;
p = malloc(8); //p存放在堆区
free(p);
return 1;
}
void main()
{
unsigned int num = 0 ;
num = function(num); //Demo()函数的返回值存放在栈区。
}
存储器分为RAM（随机存取存储器）、ROM（只读存储器）和FLash Memory（STM32中的ROM）。由前面的分析我们知道，代码区和常量区的内容是不允许被修改的，ROM（STM32就是Flash Memory）也是不允许被修改的，所以代码区和常量区的内容编译后存储在ROM，栈、堆、全局区（.bss段、.data段）都是存放在RAM中。
二、利用程序进行验证
2.1 验证程序代码
#include <stdio.h>
#include <stdlib.h>
//定义全局变量
int init_global_a = 1;
int uninit_global_a;
static int inits_global_b = 2;
static int uninits_global_b;
void output(int a)
{
printf("hello");
printf("%d",a);
printf("\n");
}
int main( )
{
//定义局部变量
int a=2;//栈
static int inits_local_c=2, uninits_local_c;
int init_local_d = 1;//栈
output(a);
char *p;//栈
char str[20] = "constellation";//栈
//定义常量字符串
char *var1 = "1234567890";
char *var2 = "abcdefghij";
//动态分配——堆区
int *p1=malloc(4);
int *p2=malloc(4);
//释放
free(p1);
free(p2);
printf("栈区-变量地址\n");
printf(" a：%p\n", &a);
printf(" init_local_d：%p\n", &init_local_d);
printf(" p：%p\n", &p);
printf(" str：%p\n", str);
printf("\n堆区-动态申请地址\n");
printf(" %p\n", p1);
printf(" %p\n", p2);
printf("\n全局区-全局变量和静态变量\n");
printf("\n.bss段\n");
printf("全局外部无初值 uninit_global_a：%p\n", &uninit_global_a);
printf("静态外部无初值 uninits_global_b：%p\n", &uninits_global_b);
printf("静态内部无初值 uninits_local_c：%p\n", &uninits_local_c);
printf("\n.data段\n");
printf("全局外部有初值 init_global_a：%p\n", &init_global_a);
printf("静态外部有初值 inits_global_b：%p\n", &inits_global_b);
printf("静态内部有初值 inits_local_c：%p\n", &inits_local_c);
printf("\n文字常量区\n");
printf("文字常量地址 ：%p\n",var1);
printf("文字常量地址 ：%p\n",var2);
printf("\n代码区\n");
printf("程序区地址 ：%p\n",&main);
printf("函数地址 ：%p\n",&output);
return 0;
}
2.2 Ubuntu验证
在Ubuntu中创建mallo目录，并使用vim编辑器写入程序，利用GCC命令输出程序结果
不难看出，在Ubuntu中，除.bss段，其余所有区的内存分配都是从上向下不断增长的。
2.3 STM32（keil）验证
KEILL MDK调试环境下的内存分配具体说明
IROM1为默认分配的ROM区域，由0x8000000开始，大小为0x80000。
IRAM1为默认分配的RAM区域，由0x20000000开始，大小为0x10000。
类似的代码，但是需要初始化串口，按照参考文献3中的新建模板工程进行建立就好了，这里只给出了主函数
#include "sys.h"
#include "usart.h"
#include "delay.h"
#include <stdio.h>
#include <stdlib.h>
//定义全局变量
int init_global_a = 1;
int uninit_global_a;
static int inits_global_b = 2;//静态初始化变量
static int uninits_global_b;//静态未初始化变量
void output(int a)
{
printf("the result is:");
printf("\n");
}
int main(void)
{
u16 t; u16 len; u16 times=0;
Stm32_Clock_Init(9); //系统时钟设置
delay_init(72); //延时初始化
uart_init(72,115200); //串口初始化为115200
while(1)
{
int a=2;
static int inits_local_c=2, uninits_local_c;
int init_local_d = 1;
output(a);
char *p;
char str[20] = "constellation";
//定义常量字符串
char *var1 = "1234567890";
char *var2 = "abcdefghij";
//动态分配
int *p1=malloc(4);
int *p2=malloc(4);
//释放
free(p1);
free(p2);
printf("栈区-变量地址\n");
printf(" a：%p\n", &a);
printf(" init_local_d：%p\n", &init_local_d);
printf(" p：%p\n", &p);
printf(" str：%p\n", str);
printf("\n堆区-动态申请地址\n");
printf(" %p\n", p1);
printf(" %p\n", p2);
printf("\n全局区-全局变量和静态变量\n");
printf("\n.bss段\n");
printf("全局外部无初值 uninit_global_a：%p\n", &uninit_global_a);
printf("静态外部无初值 uninits_global_b：%p\n", &uninits_global_b);
printf("静态内部无初值 uninits_local_c：%p\n", &uninits_local_c);
printf("\n.data段\n");
printf("全局外部有初值 init_global_a：%p\n", &init_global_a);
printf("静态外部有初值 inits_global_b：%p\n", &inits_global_b);
printf("静态内部有初值 inits_local_c：%p\n", &inits_local_c);
printf("\n文字常量区\n");
printf("文字常量地址 ：%p\n",var1);
printf("文字常量地址 ：%p\n",var2);
printf("\n代码区\n");
printf("程序区地址 ：%p\n",&main);
printf("函数地址 ：%p\n",&output);
if(USART_RX_STA&0x8000)
{
len=USART_RX_STA&0x3FFF;//得到此次接收到的数据长度
for(t=0;t<len;t++)
{
USART1->DR=USART_RX_BUF[t];
while((USART1->SR&0X40)==0);//等待发送结束
}
USART_RX_STA=0;
}else
{
times++;
delay_ms(100);
}
}
return 0;
}
将代码导入keil中进行调试，发现报错。
此时需要进行调试设置，因为声明不能出现在可执行状态之后，C语言关于变量的定义只能放在函数的开头，放在执行语句的前面定义，这是C89的标准。后来的C99标准就已经改变了，无论定义在之前还是之后都是可以的。
所以我们打开魔术棒，再点c/c++，打钩上C99 mode 即可。
随后，在“Target”选项中勾选 “Use MicroLIB”
这样就可以调试成功了，我们将代码烧录到芯片中。
然后打开串口调试助手
可以发现，在STM32中，栈区的地址是自下而上增加的，与Linux系统恰好相反；堆区地址则是从上向下增长。
三、总结
通过本次实验，对STM32的串口通信原理进行了更深一步的了解。重温了C程序的内存分配问题，让我对这一块的知识漏洞进行了补缺。
四、参考文献
[1]. 【嵌入式18】Ubuntu、stm32下的程序内存分配问题（堆栈、局部全局变量等）_ubuntu软件使用内存位置_噗噗的罐子的博客-CSDN博客
[2]. 基于ubuntu，树莓派和stm32的C程序的内存分配问题_shumeipai ubuntu xiugaineicun-CSDN博客
[3]. 【嵌入式09】STM32串口通信，发送Hello Windows示例_windiw电脑与嵌入式通信-CSDN博客
扫一扫
105
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
