ubuntu和stm32下的C程序的内存分配问题

本文内容：本文主要分析C程序中全局变量、局部变量、堆、栈等概念，在Ubuntu系统和STM32(Keil)中分别进行编程、验证（STM32通过串口printf 信息到上位机串口助手) 。归纳出Ubuntu、stm32下的C程序中堆、栈、全局、局部等变量的分配地址，进行对比分析。

一、内存分配

分区	特点
栈区（stack）	由编译器自动分配释放，存放函数的参数值，局部变量的值等。
堆区（heap）	一般由程序员分配释放，若程序员不释放，程序结束时可能由操作系统回收 。
全局区（静态区）（static）	全局变量和静态变量的存储是放在一块的，初始化的全局变量和静态变量在一块区域， 未初始化的全局变量、未初始化的静态变量在相邻的另一块区域。当程序结束后，变量由系统释放 。
文字常量区	存放常量字符串。当程序结束后，常量字符串由系统释放 。
程序代码区	存放函数体的二进制代码。

存储顺序（由上到下）
栈区
堆区
全局区
常量区
代码区

（一）全局变量与局部变量

全局变量：
在所有函数外部定义的变量称为全局变量（Global Variable），它的作用域默认是整个程序，也就是所有的源文件。
局部变量：
定义在函数体内部的变量，作用域仅限于函数体内部。离开函数体就会无效，再调用就是出错。
区别如下：

全局变量	局部变量
定义在方法外	定义在方法内
整个类都能用	只能在方法中使用
不赋值也会有默认值	不赋值就没有默认值
位于堆内存	位于栈内存

（二）堆与栈

堆：
自由申请的空间，按内存地址由低到高方向生长，其大小由系统内存 / 虚拟内存上限决定，速度较慢，但自由性大，可用空间大。
栈：
存放 Automatic Variables ，按内存地址由高到低方向生长，其最大值由编译时确定，速度快，但自由性差，最大空间不大。
二者对比如下表：

堆	栈
由系统自动分配。	需要程序员自己申请，并指明大小。
是由 new 分配的内存，一般速度比较慢，而且容易产生内存碎片，不过用起来最方便。	由系统自动分配，速度较快。但程序员是无法控制的。
堆获得的空间比较灵活，也比较大。	2M 或 1M，是一个编译时就确定的常数，能从栈获得的空间较小。
一般是在堆的头部用一个字节存放堆的大小。堆中的具体内容由程序员安排。	局部变量，在函数调用时，第一个进栈的是主函数中后的下一条指令（函数调用语句的下一条可执行语句）的地址，然后是函数的各个参数。

二、Ubuntu 和 STM32 下的输出验证

（一）Ubuntu

首先创建一个c文件

gedit test.c

添加下面代码

#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[10] = "lmy";
    //定义常量字符串
    char *var1 = "1234567890";
    char *var2 = "qwertyuiop";
    //动态分配
    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;
}

保存退出，编译运行代码

gcc test.c -o test

./test

可以发现，Ubuntu在栈区和堆区的地址值都是从上到下增长的。

（二）keil

直接用以前的串口通信工程进行改写
main.c如下

#include "usart.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("hello");
	printf("%d",a);
	printf("\n");
}

int main(void)
{	
	uart_init(115200);	
		while(1)
	{
		//定义局部变量
		int a=2;
		static int inits_local_c=2, uninits_local_c;
		int init_local_d = 1;
		char *p;
		char str[10] = "zls";
		//定义常量字符串
		char *var1 = "1234567890";
		char *var2 = "qwertyuiop";
		//动态分配
		int *p1=malloc(4);
		int *p2=malloc(4);
		output(a);
		//释放
		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;
  }
}

编译成功

烧写后在上位机的效果如下：

STM32 在栈区和堆区的地址值从上往下是变小的，与Ubuntu下刚好相反。

三、总结

本次实验主要为了重温全局变量、局部变量、堆、栈等概念，了解机器底层的运作方式，才能更懂它，用好它。

四、参考文章

https://blog.csdn.net/qq_46467126/article/details/121875496
https://blog.csdn.net/LaiYiFei25/article/details/121949730?spm=1001.2014.3001.5501