Ubuntu、stm32下的C程序中堆、栈、全局、局部等变量的分配问题

一. C程序内存分配问题

1. 全局变量、局部变量、堆、栈的概念

• 全局变量
  在所有函数外部定义的变量称为全局变量（Global Variable），它的作用域默认是整个程序，也就是所有的源文件。
• 局部变量
  定义在函数内部的变量称为局部变量（Local Variable），它的作用域仅限于函数内部， 离开该函数的内部就是无效的，再使用就会报错。

两者区别

	全局变量	局部变量
定义位置	在方法外部，直接写在类中	在方法内部
作用范围	整个类中都可以使用	只能在方法中使用
默认值	如果没有赋值，则有默认值，规则同数组	没有默认值，要使用必须手动赋值
内存位置	位于堆内存	位于栈内存

• 堆
  堆是用于存放进程运行中被动态分配的内存段，它的大小并不固定，可动态扩张或缩减。
  可以用malloc等函数实现动态内存分布，且必须使用free进行内存释放，否则会导致内存泄漏。
• 栈
  栈又称堆栈，是用户存放程序临时创建的局部变量、函数入口参数及返回值。
  具有先进先出的特点，它支持两个操作，PUSH和POP。PUSH是将数据放到栈的顶端，POP是将栈顶的数据取出。

两者区别

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

2. C程序的内存分配

一般程序占用的内存分为5个部分：

1. 全局区（静态区）（static）：全局变量和静态变量的存储是放在一块的，初始化的全局变量和静态变量在一块区域， 未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。 程序结束后有系统释放。
2. 堆区（heap）：一般由程序员分配释放， 若程序员不释放，程序结束时可能由OS回收。它与数据结构中的堆是两回事，分配方式类似于链表。
3. 栈区（stack）：由编译器自动分配释放 ，存放函数的参数值，局部变量的值等。其操作方式类似于数据结构中的栈。
4. 文字常量区：常量字符串就是放在这里的。 程序结束后由系统释放。
5. 程序代码区：存放函数体的二进制代码。

这几个区域的储存顺序：栈区→堆区→全局区→常量区→代码区

• 存储区图解
  

二. 在Ubuntu（x86）系统和STM32(Keil)中分别进行编程

1. 基于Ubuntu的变量地址分配的验证

• 代码如下

#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] = "lyy";
    //定义常量字符串
    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;
}

• 参考博客（如何在Ubuntu上编译执行代码）：在Ubuntu系统下使用gcc和Makefile编译程序
• 将上面的代码放入nano文本编辑器中，进行编译
  运行结果如下
  
  可以发现Ubuntu在栈区和堆区的地址值都是从上到下逐步增大的。

2. 基于STM32(Keil)的变量地址分配的验证

• 参考博客（用STM32CubeMX生成工程文件）：基于STM32的中断及DMA通信
• 大致过程：打开STM32CubeMX->选择STM32F103C8芯片->配置RCC、SYS->USART1->配置时钟->生成工程
• 修改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;
  }
}

运行没有报错，即可连接硬件进行烧录

3. 烧录程序

• 打开FLYMCU，进行烧录
  

4. 串口发送数据

• 打开串口通信助手，打开串口
  
  通过串口可以看出，STM32的栈区分配地址从上到下变小，而堆区分配地址从上到下变大

三. 归纳和对比分析

在Ubuntu下，栈区的地址存储是向上增长，堆区的地址存储也是向上增长；
在STM32下，栈区的地址存储是向下增长，堆区的地址存储却是向上增长。
说明在Linux和Windows操作系统下，地址分配的方式有细微的差别。

四. 总结

本文主要是为了重温全局变量、局部变量、堆、栈等概念，以及在Ubuntu、stm32下对C程序的内存分配地址问题的认识。并在Ubuntu系统和STM32中进行了编程验证，得出了Ubuntu下堆和栈的地址从上到下递增，而STM32中堆的地址是从上到下递增，栈的地址是从上到下减少的结论。

五. 参考资料

https://blog.csdn.net/qq_43279579/article/details/110308101
https://www.cnblogs.com/longbiao831/p/4556248.html
https://blog.csdn.net/feier7501/article/details/8564300
https://my.oschina.net/mizhinian/blog/4472814