目录
一、内存分配
上述图中一般是系统级的内存划分,如果是普通MCU,无系统或者FreeRTOS系统,都是直接访问物理内存。数据区的常量区是放flash,如果MCU是XIP执行(norflash,可单字节访问),可直接访问常量区,如果不是XIP(nandflash,按页访问),常量区和代码段会一起拷贝到RAM中运行。
烧录到flash的程序就有bss,data段,这两个变量会保存相关的符号的信息。占用内存很小,信息保存。在程序加载到ram时,根据信息,就会分配对应大小的空间。指令执行时,会根据符号来找到对应变量地址。data区的初始值是会保存在代码段的。会增加代码段的大小。
1、内存分配的类型:
在C/C++中内存分为5个区,分别为栈区、堆区、数据段(初始化数据区/静态数据区、未初始化数据区;或者是只读数据段Ro-data即常量数据,已经初始化读写数据段(RW-data),未初始化数据段即BSS(ZI-data))、代码区。
静态内存分配:编译时分配。包括:全局、静态全局、静态局部三种变量。
动态内存分配:运行时分配。包括:栈(stack): 局部变量。堆(heap): c语言中用到的变量被动态的分配在内存中。(malloc或calloc、realloc、free函数)
之所以分配如此多的区域,主要是因为:
一个进程在运行时,代码是根据流程依次执行的,代码只需访问一次,当然跳转或递归时代码会被执行多次,而数据一般都需要访问多次,因此单独开辟空间以便访问和节约空间。
临时数据及需要再次使用的代码在运行时放入栈区中,生命周期短。
全局数据和静态数据有可能在整个程序执行过程中都需要访问,因此单独存储管理
2、变量的内存分配:
1)数据段(data):
初始化的数据段(data),包含只读数据段,全局初始化数据区/静态数据区,只初始化一次。
上面已经说过,在程序编译时,该区域已经被分配好了,这块内存在程序的整个运行期间都存在,当程序结束时,才会被释放。
(1) 已初始化的读写数据段:
<1>已初始化数据是在程序中声明,并且具有初值的变量,这些变量需要占用存储器的空间,在程序执行时它们需要位于可读写的内存区域内,并且有初值,以供程序运行时读写。
在程序中一般为已经初始化的全局变量,已经初始化的静态局部变量(static修饰的已经初始化的变量)
<2>只读数据段是程序使用的一些不会被更改的数据,使用这些数据的方式类似查表式的操作,由于这些变量不需要更改,因此只需要放置在只读存储器中即可。
一般是const修饰的变量以及程序中使用的文字常量一般会存放在只读数据段中。
(2) 未初始化的数据段(BSS)
<1>在运行时改变其值。
未初始化数据是在程序中声明,但是没有初始化的变量,这些变量在程序运行之前不需要占用存储器的空间。与读写数据段类似,它也属于静态数据区。但是该段中数据没有经过初始化。
未初始化数据段只有在运行的初始化阶段才会产生,因此它的大小不会影响目标文件的大小。在程序中一般是没有初始化的全局变量和没有初始化的静态局部变量。
在程序加载时,初始化为0,所以初始化值不占用目标文件的空间,一些变量放在bss段,可以减小目标文件(比如:.bin)占用空间。
2)程序代码区:
存放源程序的二进制代码。
存放CPU执行的机器指令(machine instructions)。通常,代码区是可共享的(即另外的执行程序可以调用它),因为对于频繁被执行的程序,只需要在内存中有一份代码即可。代码区通常是只读的,使其只读的原因是防止程序意外地修改了它的指令。另外,代码区还规划了局部变量的相关信息。
指令根据程序设计流程依次执行,对于顺序指令,则只会执行一次,如果反复,则需使用跳转指令,如果进行递归,则需借助栈来实现。
代码区包括操作码和要操作的对象(或对象的地址引用),如果是立即数(即具体的数值,如2),将直接包含在代码中;如果是局部数据,将在栈中分配空间,然后引用该数据的地址;如果是BSS区和数据区,在代码中同样引用该数据的地址。
3)栈区(stack):局部变量,函数形参,函数返回值
指那些由编译器在需要的时候分配,不需要时自动清除的变量所在的储存区,如函数执行时,函数的形参以及函数内的局部变量分配在栈区,函数运行结束后,形参和局部变量去栈(自动释放)。栈内存分配运算内置与处理器的指令集中,效率高但是分配的内存空间有限。
4)堆区(heap):
由程序员手动分配释放的储存区。有些操作对象只有在程序运行时才能确定,这样编译器在编译时就无法为他们预先分配空间,只有程序运行时才分配,这就是动态内存分配。堆区就是用于动态内存分配(如malloc的动态内存分配),堆在内存中位于bss区和栈区之间,一般由程序员申请和释放,如果程序员不释放这块内存,内存将一直被占用,直到程序运行结束由系统自动收回
二、堆与栈的区别
前面已经介绍过,栈是由编译器在需要时分配的,不需要时自动清除的变量存储区。里面的变量通常是局部变量、函数参数等。堆是由malloc()函数(C++语言为new运算符)分配的内存块,内存释放由程序员手动控制,在C语言为free函数完成(C++中为delete)。栈和堆的主要区别有以下几点:
(1)管理方式不同。
栈编译器自动管理,无需程序员手工控制;而堆空间的申请释放工作由程序员控制,容易产生内存泄漏。
(2)空间大小不同
栈是向低地址扩展的数据结构,是一块连续的内存区域。这句话的意思是栈顶的地址和栈的最大容量是系统预先规定好的,当申请的空间超过栈的剩余空间时,将提示溢出。因此,用户能从栈获得的空间较小。
堆是向高地址扩展的数据结构,是不连续的内存区域。因为系统是用链表来存储空闲内存地址的,且链表的遍历方向是由低地址向高地址。由此可见,堆获得的空间较灵活,也较大。栈中元素都是一一对应的,不会存在一个内存块从栈中间弹出的情况。
(3)是否产生碎片
对于堆来讲,频繁的malloc/free(new/delete)势必会造成内存空间的不连续,从而造成大量的碎片,使程序效率降低(虽然程序在退出后操作系统会对内存进行回收管理)。对于栈来讲,则不会存在这个问题。
(4)增长方向不同
堆的增长方向是向上的,即向着内存地址增加的方向;栈的增长方向是向下的,即向着内存地址减小的方向。
(5)分配方式不同
堆都是程序中由malloc()函数动态申请分配并由free()函数释放的;栈的分配和释放是由编译器完成的,栈的动态分配由alloca()函数完成,但是栈的动态分配和堆是不同的,他的动态分配是由编译器进行申请和释放的,无需手工实现。
(6)分配效率不同
栈是机器系统提供的数据结构,计算机会在底层对栈提供支持:分配专门的寄存器存放栈的地址,压栈出栈都有专门的指令执行。堆则是C函数库提供的,它的机制很复杂,例如为了分配一块内存,库函数会按照一定的算法(具体的算法可以参考数据结构/操作系统)在堆内存中搜索可用的足够大的空间,如果没有足够大的空间(可能是由于内存碎片太多),就有需要操作系统来重新整理内存空间,这样就有机会分到足够大小的内存,然后返回。显然,堆的效率比栈要低得多。
三、动态内存分配
1.malloc函数;
函数原型: void * malloc (size_ t size) ;
功能:
1)开辟一块size大小的连续堆内存。
2)size表示堆 上所开辟内存的大小(字节数)。
3)函数返回值是一个指针,指向刚刚开辟的内存的首地址。
4)如果开辟内存失败, 返回一个空指针,即返回值为NULL。
5)当内存不再 使用时,应使用free ()函数将内存块释放
6)使用时 必须包含头文件<stdlib.h>或<malloc.h>
2.calloc函数;
函数原型: void * calloc(size_ t n, size t size);
功能:
1)在内存的动态存储区中分配n个长度为si ze的连续空间,
2)函数返回一个指向分配起始地址的指针;
3)如果分配不成功,返回NULL。
4)当内存不再 使用时,应使用free ()函数将内存块释放。
5)使用时 必须包含头文件<stdlib.h>或<malloc.h>
3.realloc函数;
函数原型:
void * realloc(void * mem_ address, size_ t newsize) ;
功能:
1)为已有内存的变量重新分配新的内存大小(可大、可小) ;
2)先判断当前的指针是否有足够的连续空间,如果有,扩大mem_address指向的地址,并且将mem_ address返回;
3)如果空间不够,先按照newsize指定的大小分配空间,将原有数据从头到尾拷贝到新分配的内存区域,而后释放原来mem_address 所指内存区域(注意:原来指针是自动释放,不需要使用free),同时返回新分配的内存区域的首地址。即重新分配存储器块的地址。
4)如果重新分配成功则返回指向被分配内存的指针;
5)如果分配不成功,返回NULL。
6)当内存不再使用时,应使用free ()函数将内存块释放
7.使用时必须包含头文件<stdlib.h>或<malloc.h>
4)free函数。
函数原型: void free (void *ptr) ; //ptr为要释放的内存指针。
free():释放指针变量在堆区上的内存空间,不能释放栈上的内存空间,free要与malloc(calloc、realloc)成对使用。
注意:
如果malloc(calloc、realloc) 比 free 多, 会造成内存泄漏;
如果malloc(calloc、realloc) 比 free 少,会造成二次删除, 破坏内存,导致程序崩溃。
四、例程
下面是一个详细的代码,来全面分析内存分配情况:
int a = 0; //a在全局初始化数据区
char *p1; //p1在bss区(未初始化全局变量)
static int c = 0; //c在全局初始化数据区(c是全局静态变量)
struct employee
{
char name[20];
int age;
float score;
}e1; //e1在全局初始化数据区
int main()
{
int b; //b在栈区(局部变量)
char s[] = “abc”; //s在栈区,“abc”在常量区(全局初始化数据区)
char *p2; //p2在栈区
char *p3 = “123456”; //p3在栈区,“123456”在常量区(全局初始化数据区)
static int d = 0; //d在全局初始化数据区(静态局部变量)
struct student
{
char *name; //name在栈区,name指针指向是在堆区
int age;
float score;
}s1; //s1在栈区
p1 = (char*)malloc(10); //分配得来的10个字节的区域在堆区
p2 = (char*)malloc(20); //分配得来的20个字节的区域在堆区
name = (cahr *)malloc(20); //分配得来的20个字节的区域在堆区
/*从常量区的“hello world”字符串复制到刚分配到的堆区*/
strcpy(p1, “hello world”);
free(p1); //释放内存
free(p2); //释放内存
}