C语言的代码内存布局

一个程序本质上都是由 BSS 段、data段、text段三个组成的。这样的概念在当前的计算机程序设计中是很重要的一个基本概念，而且在嵌入式系统的设计中也非常重要，牵涉到嵌入式系统运行时的内存大小分配，存储单元占用空间大小的问题。

内存布局由以下3个部分组成：

1）BSS 段

   BSS段（bss segment）通常是指用来存放程序中未初始化的全局变量的一块内存区域。BSS是英文Block Started by Symbol的简称。BSS段属于静态内存分配。未初始化数据段只在运行的初始化阶段才会产生，因此它的大小不会影响目标文件的大小。

   BSS段包含未初始化的全局变量和static变量。

2）data段

   数据段（data segment）通常是指用来存放程序中已初始化的全局变量的一块内存区域。数据段属于静态内存分配。
  data段又包含三个部分：heap(堆)、stack(栈)和静态数据区
  堆（heap）：堆是用于存放进程运行中被动态分配的内存段，它的大小并不固定，可动态扩张或缩减。当进程调用malloc/free等函数分配内存时，新分配的内存就被动态添加到堆上（堆被扩张）/释放的内存从堆中被剔除（堆被缩减）
  栈 (stack)：栈又称堆栈， 存放程序的局部变量（但不包括static声明的变量，static意味着在数据段中存放变量）。除此以外，在函数被调用时，栈用来传递参数和返回值。由于栈的先进先出特点，所以栈特别方便用来保存/恢复调用现场。
  静态数据区 ：存放的是程序中已初始化的全局变量、静态变量和常量。

3）text段

   代码段（text segment）通常是指用来存放程序执行代码的一块内存区域。这部分区域的大小在程序运行前就已经确定，并且内存区域属于只读。在代码段中，也有可能包含一些只读的常数变量，例如字符串常量等

程序编译后生成的目标文件至少含有这三个段，这三个段的大致结构图如下所示：



text和data段都在可执行文件中（在嵌入式系统里一般是固化在镜像文件中），由系统从可执行文件中加载；而BSS段不在可执行文件中，由系统初始化。

BSS段只保存没有值的变量，所以事实上它并不需要保存这些变量的映像。运行时所需要的BSS段大小记录在目标文件中，但BSS段并不占据目标文件的任何空间。

如：

int a = 0;                   //全局初始化区

char *p1;                //全局未初始化区

int main()  {
int b;                // 栈

char s[] = "abc";       //栈

char *p2;             //栈

char *p3 = "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"优化成一个地方。

return 0;
}

参考：http://www.nowamagic.net/librarys/veda/detail/2384