基于Ubuntu和stm32的程序内存分配问题

参考：
【嵌入式18】Ubuntu、stm32下的程序内存分配问题（堆栈、局部全局变量等）
C语言中，局部变量、全局变量、静态变量、堆、栈的内存地址

一、全局变量和局部变量

全局变量：
在所有函数外部定义的变量称为全局变量（Global Variable），它的作用域默认是整个程序，也就是所有的源文件。

局部变量：
定义在函数内部的变量称为局部变量（Local Variable），它的作用域仅限于函数内部， 离开该函数的内部就是无效的，再使用就会报错。

二、堆和栈

1、STM32中的堆栈：

单片机是一种集成电路芯片，集成CPU、RAM、ROM、多种I/O口和中断系统、定时器/计数器等功能。CPU中包括了各种总线电路，计算电路，逻辑电路，还有各种寄存器。

stm32 有通用寄存器 R0‐ R15 以及一些特殊功能寄存器，其中包括了堆栈指针寄存器。
当stm32正常运行程序的时候，来了一个中断，CPU就需要将寄存器中的值压栈到RAM里，然后将数据所在的地址存放在堆栈寄存器中。
等中断处理完成退出时，再将数据出栈到之前的寄存器中，这个在C语言里是自动完成的。

2、程序的内存分配：

一般程序占用的内存分为以下几个部分：

栈区（stack）：
由编译器自动分配释放 ，存放函数的参数值，局部变量的值等。其操作方式类似于数据结构中的栈。

堆区（heap） ：
一般由程序员分配释放， 若程序员不释放，程序结束时可能由OS回收。它与数据结构中的堆是两回事，分配方式类似于链表。

全局区（静态区）（static）：
全局变量和静态变量的存储是放在一块的，初始化的全局变量和静态变量在一块区域， 未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。 程序结束后有系统释放

文字常量区：
常量字符串就是放在这里的。 程序结束后由系统释放

程序代码区：
存放函数体的二进制代码。

存储区图解：

三、Ubuntu系统和STM32(Keil)中编程验证

代码：

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

Ubuntu上运行:

结果如下:

g_buf: 0x80499c8
g_buf2: 0x80499a8
g_buf3: 0x80499d8
g_buf4: 0x80499b8
g_i_buf: 0x8049964
g_i_buf2: 0x8049968
g_i_buf3: 0x804996c
l_buf: 0xbffff6f8
l_buf2: 0xbffff6e8
l_buf3: 0xbffff6d8
s_buf: 0x8049998
s_buf2: 0x8049988
s_buf3: 0x8049978
p_buf: 0x804a008
p_buf2: 0x804a020
p_buf3: 0x804a038
before: 0x8048424
after: 0x8048429
main: 0x804842e

可见，从低地址到高地址，如图：

stm32上运行：

可见，stm32的栈区的地址值是从上到下减小的，堆区则是从上到下增长的