linux内存管理（堆栈、数组）

每一个进程都有代码段、数据段、BBS段、堆、栈。

linux内存结构

每一个进程都有以下区域：
* 代码段：代码段是用来存放可执行文件的操作指令，也就是说是它是可执行程序在内存种的镜像。代码段需要防止在运行时被非法修改，所以只准许读取操作，而不允许写入（修改）操作——它是不可写的，拥有可执行权限。
* 数据段：数据段用来存放可执行文件中已初始化全局变量，换句话说就是存放程序静态分配[1]的变量和全局变量。
BSS段：BSS段包含了程序中未初始化全局变量，这些变量根据不同的c标准都有相应的初始值。
* 堆（heap）：堆是用于存放进程运行中被动态分配的内存段，它大小并不固定，可动态扩张或缩减。当进程调用malloc等函数分配内存时，新分配的内存就被动态添加到堆上（堆被扩张）；当利用free等函数释放内存时，被释放的内存从堆中被剔除（堆被缩减）
* 栈：栈是用户存放程序临时创建的局部变量，也就是说我们函数括弧“{}”中定义的变量（但不包括static声明的变量，static意味这在数据段中存放变量）。除此以外在函数被调用时，其参数也会被压入发起调用的进程栈中，并且待到调用结束后，函数的返回值也回被存放回栈中。由于栈的先进先出特点，所以栈特别方便用来保存/恢复调用现场。从这个意义上将我们可以把堆栈看成一个临时数据寄存、交换的内存区。
* 来一张图表示：
* 优化,参考：
* 这个段是用来存放没有初始化的数据，所以连接器实际并不会将特殊的值存储在对象文件， 这样可以减少二进制代码文件的小。
* 当这个段被加载到内存时，内存只需要简单的根据写时复制的原则将它们 映射到一个全是0的页上，这样非常高效的设置了初值。

总结一下

• 堆地址由低到高
• 栈地址从高到低

程序实例

但是，栈里面的数组是怎么存放的呢？答案是把数组作为一个变量，先开辟(数组size)*(数组类型)的内存空间，然后，从低地址开始存放数组项。那么，堆里面的数组是怎么存放的呢？答案似乎也是一样的，同样是整体作为一个变量。来，看一段程序：

#include <iostream>using namespace std;int main(){    int a=-1;    int b[4] = {0, 1, 2, 3};    int c= 4;    printf("id(a):%d\n", (unsigned int)&a);    printf("id(b[0]):%d\nid(b[3]):%d\n", (unsigned int)&(b[0]), (unsigned int)&(b[3]));    printf("id(c):%d\n", (unsigned int)&c);    int* d= new int[4];    printf("id(d[0]):%d\nid(d[3]):%d",(unsigned int)&d[0], (unsigned int)&d[3]);    return 0;}

运行结果为：

一目了然了吧。