ubuntu,stm32的c程序内存分配

PXTX.

已于 2023-10-06 15:44:58 修改

阅读量52

点赞数

文章标签： stm32

于 2023-10-06 15:41:57 首次发布

本文链接：https://blog.csdn.net/m0_63650001/article/details/133466010

版权

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

一、全局变量和局部变量

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

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

二者之间的区别

在这里插入图片描述

二、堆&栈

总体介绍

在一个STM32程序代码中，从内存高地址到内存低地址，依次分布着栈区、堆区、全局区（静态区）、常量去、代码区，其中全局区中高地址分布着.bss段，低地址分布着.data段。总的分布如下图所示
在这里插入图片描述

1.栈区（stack）

· 临时创建的局部变量存放在栈区。
·函数调用时，其入口参数存放在栈区。
·函数返回时，其返回值存放在栈区。
·const定义的局部变量存放在栈区。

2.堆区（heap）

·堆区用于存放程序运行中被动态分布的内存段，可增可减。
·可以有malloc等函数实现动态分布内存。
·有malloc函数分布的内存，必须用free进行内存释放，否则会造成内存泄漏。

3.全局区（静态区）

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

4.bss段

·未初始化的全局变量存放在.bss段。
·初始化为0的全局变量和初始化为0的静态变量存放在.bss段。
·.bss段不占用可执行文件空间，其内容有操作系统初始化。

5.data段

·已经初始化的全局变量存放在.data段。
·静态变量存放在.data段。
·.data段占用可执行文件空间，其内容有程序初始化。
·const定义的全局变量存放在.rodata段。

6.常量区

·字符串存放在常量区。
·常量区的内容不可以被修改。

7.代码区

·程序执行代码存放在代码区。
·字符串常量也有可能存放在代码区。

1.STM32中的堆栈

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

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

2.程序的内存分配

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

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

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

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

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

5、程序代码区—存放函数体的二进制代码。

示例程序

//main.cpp
int a = 0; //全局初始化区
int a = 0; //全局初始化区
char *p1; //全局未初始化区
main() {
    int b; //栈
    char s[] = "abc"; //栈
    char *p2; //栈
    char *p3 = "123456"; //123456\0在常量区，p3在栈上。
    static int c = 0; //全局（静态）初始化区
    p1 = (char *)malloc(10);
    p2 = (char *)malloc(20);
    //分配得来得10和20字节的区域就在堆区。
    strcpy(p1, "123456"); //123456\0放在常量区，编译器可能会将它与p3所指向的"123456"优化成一个地方。
}

在一个STM32程序代码中，从内存高地址到内存低地址，依次分布着栈区、堆区、全局区（静态区）、常量去、代码区，其中全局区中高地址分布着.bss段，低地址分布着.data段。
通过下面的程序，对上述介绍进行更具体的解释：

#include <stdio.h>
 
static unsigned int val1 = 1; //val1存放在.data段
 
unsigned int val2 = 1; //初始化的全局变量存放在.data段
 
unsigned int val3 ; //未初始化的全局变量存放在.bss段
 
const unsigned int val4 = 1;  //val4存放在.rodata（只读数据段）
 
 
unsigned char Demo(unsigned int num) // num 存放在栈区
{
	char var = "123456";    // var存放在栈区，"123456"存放在常量区
	
	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 = Demo(num); //Demo()函数的返回值存放在栈区。
}

上面我们已经对堆、栈、全局区、常量区、代码区进行了全面的分析，也举例进行了说明。下面我们在对这些区存放在哪种介质上进行讨论。

3.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要高。

4.不同数据的存放位置

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

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

至此，关于不同数据存放哪个区域已经全部介绍完了。下面还将介绍一下Keil 的Build Output窗口。

5.Keil 的Build Output窗口

C 语言上分为栈、堆、bss、data、code段；
MDK 下分为：Code、RO-data、RW-data、ZI-data 这几个段。

任意在Keil中编译一个文件：
在这里插入图片描述
如上图，存在Code、RO-data、RW-data、ZI-data四个代码段大小。

其中Code就是代码占用大小，RO-data是只读常量、RW-data是已初始化的可读可写变量，ZI-data是未初始化的可读可写变量。

有些时候，我们需要知道RAM和ROM的使用情况如何，那么我们就可以使用下面的公式计算。

RAM = RW-data + ZI-data

ROM = Code + RO-data + RW-data

Flash=Code + RO Data + RW Data

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

1.Ubuntu中代码展示

使用gedit text.c命令创建text.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] = "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在栈区和堆区的地址值都是从上到下增长的。

四、STM32中代码演示

在之前的串口通信工程进行改写

#include "stm32f10x.h"
#include "bsp_usart.h"  //添加 bsp_usart.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)
{	
	//定义局部变量
	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;
}

在这里插入图片描述

编译后在串口助手中看结果
在这里插入图片描述

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

总结

这个实验是关于在Ubuntu和stm32上分别验证C程序中堆、栈、全局、局部等变量的分配地址，进行对比分析。从结果上来看：Ubuntu在栈区和堆区的地址值都是从上到下增长的；stm32的栈区的地址值是从上到下减小的，堆区则是从上到下增长的。

PXTX.

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
1
评论
ubuntu,stm32的c程序内存分配

在一个STM32程序代码中，从内存高地址到内存低地址，依次分布着栈区、堆区、全局区（静态区）、常量去、代码区，其中全局区中高地址分布着.bss段，低地址分布着.data段。总的分布如下图所示这个实验是关于在Ubuntu和stm32上分别验证C程序中堆、栈、全局、局部等变量的分配地址，进行对比分析。从结果上来看：Ubuntu在栈区和堆区的地址值都是从上到下增长的；stm32的栈区的地址值是从上到下减小的，堆区则是从上到下增长的。
复制链接

扫一扫