Ubuntu、stm32下的C程序中的地址分配

最新推荐文章于 2024-09-14 18:09:52 发布

流沙少卿

最新推荐文章于 2024-09-14 18:09:52 发布

阅读量785

点赞数 1

文章标签： ubuntu stm32 c语言

本文链接：https://blog.csdn.net/qq_45930985/article/details/122145249

版权

本文详细介绍了C程序的内存分配，包括栈区、堆区、全局区、常量区和代码区，并通过在Ubuntu和STM32环境下进行验证，展示了不同环境下的内存地址变化规律。在Ubuntu中，栈区地址从高到低减小，堆区地址从低到高增大，而在STM32中则相反。实验加深了对内存管理的理解。

摘要由CSDN通过智能技术生成

文章目录

一、C程序的内存分配

1、内存分区

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

2、全局变量与局部变量

全局变量（Global Variable）
所有的函数外部定义的变量，它的作用域是整个程序，也就是所有的源文件，包括 .c 和 .h 文件
局部变量（Local Variable）
定义在函数体内部的变量，作用域仅限于函数体内部。离开函数体就会无效，再调用就是出错

3、堆与栈

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

二、STM32内存分配

1、内存分布

在一个STM32程序代码中，从内存高地址到内存低地址，依次分布着栈区、堆区、全局区（静态区）、常量区、代码区，其中全局区中高地址分布着.bss段，低地址分布着.data段。

分布如下：
在这里插入图片描述

2、各区分配详解

栈区（stack）

临时创建的局部变量存放在栈区。

函数调用时，其入口参数存放在栈区。

函数返回时，其返回值存放在栈区。

const定义的局部变量存放在栈区。

堆区（heap）

堆区用于存放程序运行中被动态分布的内存段，可增可减。

可以有malloc等函数实现动态分布内存。

有malloc函数分布的内存，必须用free进行内存释放，否则会造成内存泄漏。

全局区（静态区）

全局区有.bss段和.data段组成，可读可写。

.bss段

未初始化的全局变量存放在.bss段。

初始化为0的全局变量和初始化为0的静态变量存放在.bss段。

.bss段不占用可执行文件空间，其内容有操作系统初始化。

.data段

已经初始化的全局变量存放在.data段。

静态变量存放在.data段。

.data段占用可执行文件空间，其内容有程序初始化。

const定义的全局变量存放在.rodata段。

常量区

字符串存放在常量区。

常量区的内容不可以被修改。

代码区

程序执行代码存放在代码区。

字符串常量也有可能存放在代码区。

8、RAM和ROM、Flash Memory的物理特性

首先，我们需要明白RAM和ROM、Flash Memory的物理特性。

RAM

RAM又称随机存取存储器，存储的内容可通过指令随机读写访问。RAM中的存储的数据在掉电是会丢失，因而只能在开机运行时存储数据。其中RAM又可以分为两种，一种是Dynamic RAM(DRAM动态随机存储器),另一种是Static RAM(SRAM,静态随机存储器)。

ROM

ROM又称只读存储器，只能从里面读出数据而不能任意写入数据。ROM与RAM相比,具有读写速度慢的缺点。但由于其具有掉电后数据可保持不变的优点，因此常用也存放一次性写入的程序和数据，比如主版的BIOS程序的芯片就是ROM存储器。

Flash Memory

由于ROM具有不易更改的特性，后面就发展了Flash Memory。Flash Memory不仅具有ROM掉电不丢失数据的特点，又可以在需要的时候对数据进行更改，不过价格比ROM要高。

不同数据的存放位置

由前面的分析我们知道，代码区和常量区的内容是不允许被修改的，ROM（STM32就是Flash Memory）也是不允许被修改的，所以代码区和常量区的内容编译后存储在ROM中。

而栈、堆、全局区（.bss段、.data段）都是存放在RAM中。

三、在Ubuntu下的验证

1、在虚拟机VMware Workstation Pro打开Ubuntu，打开命令窗口，输入gedit test.c
在这里插入图片描述
2、将以下代码添加到文本中

#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;
}

3、添加完毕点击save，然后退出文本
在这里插入图片描述
4、输入下列命令执行test.c

gcc test.c -o test
./test

5、命令执成功，Ubuntu下输出结果如下：
在这里插入图片描述
6、由结果可得，Ubuntu 在栈区和堆区的地址值都是从低地址到高地址逐步增大

四、在STM32下的验证

1、工程代码修改

1）STM32验证可以在前面串口通信的基础上进行修改，下附本人实验源码文件百度网盘：

链接：https://pan.baidu.com/s/1uWcaotX-ZAK-kUes6JuMNw
提取码：1314

2）打开如下keil文件进行代码修改
在这里插入图片描述
3）找到bsp_usart.h 文件

添加头文件代码：

#include <stdio.h>
#include <stdlib.h>

在这里插入图片描述
4）找到bsp_usart.c 文件

添加 fputc 函数：

int fputc(int ch, FILE *f)
{
	USART_SendData(DEBUG_USARTx, (uint8_t)ch);
	while(USART_GetFlagStatus(DEBUG_USARTx, USART_FLAG_TXE) == RESET);
	return (ch);
}

在这里插入图片描述
5）找到main函数

删掉原有的代码，将下列的代码添加进去

#include "stm32f10x.h"
//#include "bsp_led.h"	
#include "bsp_usart.h"  //添加 bsp_usart.h 头文件


/**
  * @brief  主函数
  * @param  无  
  * @retval 无
  */

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)
{	
	//定义局部变量
	int a=2;
	static int inits_local_c=2, uninits_local_c;
	int init_local_d = 1;
	char *p;
	char str[10] = "lyy";
	//定义常量字符串
	char *var1 = "1234567890";
	char *var2 = "qwertyuiop";
	//动态分配
	int *p1=malloc(4);
	int *p2=malloc(4);
	USART_Config();//串口初始化
	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;
}

/*********************************************END OF FILE**********************/