Ubuntu、stm32下的C程序中堆、栈、全局、局部等变量的重温

最新推荐文章于 2024-07-19 11:31:18 发布

LaiYiFei25

最新推荐文章于 2024-07-19 11:31:18 发布

阅读量298

点赞数

文章标签： c语言 ubuntu stm32

本文链接：https://blog.csdn.net/LaiYiFei25/article/details/121949730

版权

一、前言

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

二、内存分区

1.程序在内存中的分区

区域	存放内容	特点
栈区 (stack)	局部变量值、返回值、参数	由编译器自动分配释放，具有 “后进先出” 的内存结构
堆区 (heap)	程序运行中动态分配内存的数据	堆在内存中位于 BSS 区和栈区之间，一般由程序员分配和释放，若程序员不释放，程序结束时由操作系统回收
全局区（静态区）（static）	全局变量 / 静态变量	初始化的全局变量和静态变量在一块区域（RW），未初始化的全局变量和未初始化的静态变量在相邻的另一块区域（ZI），程序结束后由系统释放
常量区	全局变量 / 局部变量的值	常量字符串也是放在这里的，退出程序由系统自动释放
代码区	二进制代码	存放函数体的二进制代码

内存存放顺序 (由上到下) : 栈区 -> 堆区 -> 全局区 -> 常量区 -> 代码区
可以结合下面的代码帮助理解各个区域的内容：

//main.cpp
#include <iostream>
using namespace std;
#include <string.h>

int a = 0;  //全局初始化区 
char *p1;  //全局未初始化区 

int main(void)
{ 
    int b;  //栈 
	char s[] = "abc";  //"abc"在常量区，s在栈上。 
	char *p2;  //栈 
	char *p3 = (char*)"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"优化成一个地方。 

	delete p1, p2;
	return 0;
}

2.全局变量与局部变量

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

区别在于：
①作用域的不同
②内存上的不同
③存在时间（生命期）不同
④使用方式不同

3.堆与栈

堆和栈都是动态分配内存，两者空间大小都是可变的。

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

区别在于：

- 堆与栈的申请方式

堆：由系统自动分配。
栈：需要程序员自己申请，并指明大小。

- 堆与栈的申请效率

堆：是由 new 分配的内存，一般速度比较慢，而且容易产生内存碎片，不过用起来最方便。
栈：由系统自动分配，速度较快。但程序员是无法控制的。

- 堆和栈的大小

堆：堆获得的空间比较灵活，也比较大。
栈：2M 或 1M，是一个编译时就确定的常数，能从栈获得的空间较小。

- 堆和栈中的存储内容

堆：一般是在堆的头部用一个字节存放堆的大小。堆中的具体内容由程序员安排。
栈：局部变量，在函数调用时，第一个进栈的是主函数中后的下一条指令（函数调用语句的下一条可执行语句）的地址，然后是函数的各个参数。

三、STM32的内存分配

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

1.STM32 中的内存分配详解

- 内存高地址

栈区（stack）：
临时创建的局部变量存放在栈区。
函数调用时，其入口参数存放在栈区。
函数返回时，其返回值存放在栈区。
const定义的局部变量存放在栈区。
堆区（heap）：
堆区用于存放程序运行中被动态分布的内存段，可增可减。
可以有 malloc 等函数实现动态分布内存。
有 malloc 函数分布的内存，必须用 free 进行内存释放，否则会造成内存泄漏。
全局区（静态区）
全局区有 .bss 段和 .data 段组成，可读可写。
① .bss段
未初始化的全局变量存放在 .bss 段。
初始化为 0 的全局变量和初始化为0的静态变量存放在 .bss 段。
.bss 段不占用可执行文件空间，其内容有操作系统初始化。
② .data 段
已经初始化的全局变量存放在 .data 段。
静态变量存放在 .data 段。
.data 段占用可执行文件空间，其内容有程序初始化。
const 定义的全局变量存放在 .rodata 段。
常量区
字符串存放在常量区。
常量区的内容不可以被修改。

- 内存低地址

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

2.STM32 中的内存管理

STM32 的存储器结构中包括 RAM 随机存取存储器、ROM 只读存储器和 Flash Memory。

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

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

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

3.STM32 中的堆与栈

单片机是一种集成电路芯片，集成 CPU、RAM、ROM、多种 I/O 口和中断系统、定时器/计数器等功能。CPU中包括了各种总线电路，计算电路，逻辑电路，还有各种寄存器。 Stm32 有通用寄存器 R0‐R15以及一些特殊功能寄存器，其中包括了堆栈指针寄存器。当 stm32 正常运行程序的时候，来了一个中断，CPU 就需要将寄存器中的值压栈到RAM 里，然后将数据所在的地址存放在堆栈寄存器中。等中断处理完成退出时，再将数据出栈到之前的寄存器中，这个在 C 语言里是自动完成的。
在 stm32 的启动文件 .s 文件里面，就有堆栈的设置，其实这个堆栈的内存占用就是在上面 RAM 分配给RW-data+ZI-data 之后的地址开始分配的。堆栈的大小在编译器编译之后是不知道的，只有运行的时候才知道，所以需要注意一点，就是别造成堆栈溢出了，会出现 hardfault 问题。

四、Ubuntu 和 STM32 地址下输出验证实例

1.Ubuntu

打开 Ubuntu 在终端中创建工程：

gedit test.c

在新建的 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;
}

保存并退出文件 test.c 文件
使用下面的命令编译执行 test.c

gcc test.c -o test
./test

Ubuntu 下的输出结果如下：
在这里插入图片描述

可以看出，Ubuntu 在栈区和堆区的地址值都是从低地址到高地址逐步增大

2.STM32

串口源码：https://pan.baidu.com/s/1C1F4NG7Bl9u4SJYZjsQyNQ
提取码: 8fnx
打开BH-103的Keil工程文件
在 bsp_usart.h 文件中添加头文件代码

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

在这里插入图片描述
在 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);
}

在这里插入图片描述
main.c 文件修改为下面的代码：

#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**********************/

在这里插入图片描述
编译运行未报错

USB转TTL插入电脑接口，利用mcuisp将HEX文件烧录进入STM32F103C8T6芯片
接线：

USB转TTL	STM32F103C8T6
3V3	3V3
GND	G
RXD	PA9
TXD	PA10

在这里插入图片描述
然后打开野火串口调试助手，将BOOT0/BOOT1由1/0调为0/0，按下复位键之后，打开串口，接收到串口信息：

可以看出，STM32 在栈区和堆区的地址值都是从低地址到高地址逐步增大。与Ubuntu在栈区和堆区的地址值变化一样

五、参考资料

LaiYiFei25

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
Ubuntu、stm32下的C程序中堆、栈、全局、局部等变量的重温

目录一、前言二、内存分区1.程序在内存中的分区2.全局变量与局部变量3.堆与栈三、STM32的内存分配1.STM32 中的内存分配详解2.STM32 中的内存管理3.STM32 中的堆与栈四、Ubuntu 和 STM32 地址下输出验证实例一、前言本文旨在：①重温全局变量、局部变量、堆、栈等概念，在 Ubuntu（x86）系统和 STM32（keil）中分别进行编程、验证（STM32 通过串口 printf 信息到上位机串口助手) 。②归纳出 Ubuntu、stm32 下的 C 程序中堆、栈、全局、
复制链接

扫一扫