1 堆栈简介
众所周知,面试中被问到的的最高频话题就是进程与线程、堆与栈。
首先是概念的问题,平时我们所说的堆栈指的就是栈,而在内存中又区分为堆内存和栈内存。
关于栈内存和堆内存的对比见下表:
2 栈内存
在有的书中,对栈是这样定义的:栈是限定仅在表尾进行插入和删除的线性表。
栈内存是为线程留出的临时空间,每个线程都有一个固定大小的栈空间,栈空间存储的数据只能由当前线程访问,所以是线程安全的,也就是线程与栈存在着一一对应的关系,一个萝卜一个坑。
栈空间的分配和回收是由系统来做的,我们不需要手动控制。
当一个函数调用时,系统就会为该函数的调用分配栈空间,当函数返回后,系统就会自动回收这块空间,同理,下次其它函数调用和返回,系统还是会自动分配和回收空间。
那么为什么在函数的调用和返回的时候必须用到栈内存呢?其他内存行不行呢?
因为函数调用、返回的机制与入栈、出栈非常吻合。当函数A调用了函数B的时候,需要完成跳转,需要先将其当前执行指令的地址0f007873
入栈保护。因为这样当被调用函数执行完毕的时候,就可以根据首地址返回原来的函数继续执行其余部分代码。
其实真正函数的调用过程比这个复杂一些,包括将一些参数等都要压入栈。
所以这也解释了为什么我们在递归调用中经常会出现堆栈溢出的问题,当我们执行递归调用的时候,若是一直“递”,则堆栈会一直进行入栈操作,有时候就会出现堆栈溢出的情况。
2 堆内存
堆内存实际上指的就是(满足堆内存性质的)优先队列的一种数据结构,第1个元素有最高的优先权。
我们平时在C语言和C++中使用malloc
和new
分配的内存就是堆内存,堆内存的一大特点就是大小不固定,可以动态扩容,空间由程序员动态分配,更加灵活。
然而,既然有优点也必然伴随着缺点。
- 第一个缺点就是它容易产生内存泄露,
malloc
出来的没有free
,new
出来的如果没有delete
,都会产生内存泄露。 - 第二个缺点,容易产生内存碎片,在分配和回收时需要对很多内存碎片进行整理,效率较低。
分配过程:在堆内存分配时首先应该知道操作系统有一个记录空闲内存地址的链表,当系统收到程序的申请时,会遍历该链表,寻找第一个空间大于所申请空间的堆结点,然后将该结点从空闲结点链表中删除,并将该结点的空间分配给程序(所以堆内存分配必栈内存分配要慢)也就是我们常说的“首次适应算法”。
--------------------------------------------------------------------------------------------------------------
以上图为例,比方说程序的某个进程申请了15MB的内存空间,则操作系统会遍历该空闲分区链表,发现第一个节点的数值为20MB,也就是说,第一个空闲分区有20MB空间可以申请,所以就将第一个空闲分区提供给了当前进程。
--------------------------------------------------------------------------END-----------------------------------------------------