C程序在 Ubuntu 和 STM32 中内存分区

本文介绍了C程序在内存中的分区,包括栈区、堆区、全局区、常量区和代码区,并通过Ubuntu和STM32的实例展示了内存分配。在STM32中,内存从高地址到低地址依次分布着栈、堆、全局区、常量区和代码区。堆栈在STM32中由堆栈指针寄存器管理,防止堆栈溢出导致hardfault问题。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

 

目录

1.4.3 STM32 中的堆与栈

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

2.1 Ubuntu 下的输出验证

总结


1 内存分区介绍

    1. 程序在内存中的分区

内存存放顺序 (由上到下) : 栈区 -> 堆区 -> 全局区 -> 常量区 -> 代码区

可以结合下面的代码帮助理解各个区域的内容

 样例代码如下:

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

1.2 全局变量与局部变量
1.2.1 定义

1.2.2 区别

全局变量与局部变量的区别在于:

    作用域的不同
    内存上的不同
    存在时间(生命期)不同
    使用方式不同

具体区别内容如下:
  

 

注意:

    在 main 函数中定义的变量也是局部变量,只能在 main 函数中使用;同时,main 函数中也不能使用其它函数中定义的变量。main 函数也是一个函数,与其它函数地位平等。
    形参变量、在函数体内定义的变量都是局部变量。实参给形参传值的过程也就是给局部变量赋值的过程。
    可以在不同的函数中使用相同的变量名,它们表示不同的数据,分配不同的内存,互不干扰,也不会发生混淆。

    全局变量与局部变量的详细讲解可以参看博客:C语言全局变量和局部变量(带实例讲解)

1.3 堆与栈
1.3.1 堆与栈的内存空间

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

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

    总结:
    堆(Heap)往高地址方向生长(向高地址扩展)
    栈(Stack)往低地址方向生长(向低地址扩展)

1.3.2 堆与栈的区别

    堆与栈的申请方式
        堆:由系统自动分配。
        栈:需要程序员自己申请,并指明大小。

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

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

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

1.4 STM32 的内存分配

在一个 STM32 程序代码中,从内存高地址到内存低地址,依次分布着栈区、堆区、全局区(静态区)、常量区、代码区,其中全局区中高地址分布着 .bss 段,低地址分布着 .data 段。
1.4.1 STM32 中的内存分配详解

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

一个程序本质上都是由 bss 段、data 段、text 段三个组成,可以结合下面的程序帮助理解各个数据的存储位置
例如:

#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()函数的返回值存放在栈区。
}

1.4.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 要高

C 语言上分为:栈、堆、bss、data、code 段。

MDK 下分为:Code、RO-data、RW-data、ZI-data 这几个段;

    其中,Code 是存储程序代码的;

    ​RO-data 是存储 const 常量和指令;

    ​RW-data 是存储初始化值不为 0 的全局变量;

    ​ZI-data 是存储未初始化的全局变量或初始化值为 0 的全局变量。

1.4.3 STM32 中的堆与栈

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

    Stm32 有通用寄存器 R0‐R15 以及一些特殊功能寄存器,其中包括了堆栈指针寄存器。

    当 stm32 正常运行程序的时候,来了一个中断,CPU 就需要将寄存器中的值压栈到 RAM 里,然后将数据所在的地址存放在堆栈寄存器中。

    等中断处理完成退出时,再将数据出栈到之前的寄存器中,这个在 C 语言里是自动完成的。

    在 stm32 的启动文件 .s 文件里面,就有堆栈的设置,其实这个堆栈的内存占用就是在上面 RAM 分配给 RW-data+ZI-data 之后的地址开始分配的。

    堆栈的大小在编译器编译之后是不知道的,只有运行的时候才知道,所以需要注意一点,就是别造成堆栈溢出了,会出现 hardfault 问题。

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

2.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] = "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;
}

  • 保存并退出文件 test.c 文件
  • 使用下面的命令编译执行 test.c
gcc test.c -o test
./test
  • Ubuntu 下的输出结果如下:

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

    在 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_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;
}
  • 编译运行结果:
    在这里插入图片描述
  • 编译成功,烧录进芯片
  • 打开串口调试助手,打开串口后,按一下 RESET 键,显示结果如下:

 

 和Ubuntu 下的输出结果对应

总结

本文对程序内存分区进行了简单分析,并且通过在 Ubuntu 和 STM32 上分别应用 C 程序对程序内存分区再次验证。对 C 程序中的堆、栈、全局、局部等变量的分配地址进行了了解和归纳,另外还是需要继续深入学习和理解

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值