bss段

  • bss段（bss segment）通常是指用来存放程序中未初始化的全局变量的一块内存区域
  • bss是英文Block Started by Symbol的简称
  • bss段属于静态内存分配

[!info] 静态内存分配与动态内存分配
内存的静态分配和动态分配的区别主要是两个：

  1. 时间不同。静态分配发生在程序编译和连接的时候。动态分配则发生在程序调入和执行的时候。
  2. 空间不同。堆都是动态分配的，没有静态分配的堆。栈有2种分配方式：静态分配和动态分配。静态分配是编译器完成的，比如局部变量的分配。动态分配由函数malloc进行分配。不过栈的动态分配和堆不同，他的动态分配是由编译器进行释放，无需我们手工实现。(堆需要手动释放内存)

对于一个进程的内存空间而言，可以在逻辑上分成3个部份：代码区，静态数据区和动态数据区。动态数据区一般就是“堆栈”。“栈(stack)”和“堆(heap)”是两种不同的动态数据区，栈是一种线性结构，堆是一种链式结构。进程的每个线程都有私有的“栈”，所以每个线程虽然代码一样，但本地变量的数据都是互不干扰。一个堆栈可以通过“基地址”和“栈顶”地址来描述。全局变量和静态变量分配在静态数据区，本地变量分配在动态数据区，即堆栈中。程序通过堆栈的基地址和偏移量来访问本地变量。

一般，用static修饰的变量，全局变量位于静态数据区。函数调用过程中的参数，返回地址，EBP和局部变量都采用栈的方式存放。

data段

  • data段（data segment）通常是指用来存放程序中已初始化的全局变量的一块内存区域
  • data段属于静态内存分配

text段

  • 代码段（code segment/text segment）通常是指用来存放程序执行代码的一块内存区域
  • 这部分区域的大小在程序运行前就已经确定，并且内存区域通常属于只读(某些架构也允许代码段为可写，即允许修改程序)
  • 在代码段中，也有可能包含一些只读的常数变量，例如字符串常量等
  • text段属于静态内存分配

堆（heap）

  • 堆是用于存放进程运行中被动态分配的内存段，它的大小并不固定，可动态扩张或缩减
  • 当进程调用malloc等函数分配内存时，新分配的内存就被动态添加到堆上(堆被扩张)
  • 当利用free等函数释放内存时，被释放的内存从堆中被剔除(堆被缩减)。
  • 堆属于全部动态内存分配

栈（stack）

  • 栈又称堆栈，是用户存放程序临时创建的局部变量，也就是说我们函数括弧“{}”中定义的变量(但不包括static声明的变量，static意味着在数据段（.data）中存放变量）。
  • 除此以外，在函数被调用时，其参数也会被压入发起调用的进程栈中，并且待到调用结束后，函数的返回值也会被存放回栈中。
  • 由于栈的先进后出(FILO)特点，所以栈特别方便用来保存/恢复调用现场。
  • 栈属于部分动态内存分配。静态内存分配部分——栈帧的大小与布局；动态内存分配部分——栈帧的创建与销毁。 //特殊情况：可变长数组，此时栈帧的大小也需要运行时才能确定，此时属于全部动态内存分配

从这个意义上讲，我们可以把堆栈看成一个寄存、交换临时数据的内存区。
一个程序本质上都是由 bss段、data段、text段三个组成的。

  • 一般在初始化时bss段部分将会清零。bss段属于静态内存分配，即程序一开始就将其清零了。
    比如，在C语言之类的程序编译完成之后，已初始化的全局变量保存在.data段中，未初始化的全局变量保存在.bss段中。
    text和data段都在可执行文件中(在嵌入式系统里一般是固化在镜像文件中)，由系统从可执行文件中加载;
    而bss段不在可执行文件中，由系统初始化。