第2章进程地址空间布局

课程目录第2章进程地址空间布局

进程地址空间布局：代码段、数据段、BSS段、堆、栈的详细解析

说实话，内存布局这个话题，我每次带新人时都会先讲一遍。为什么？因为搞不懂这个，你写出来的程序就像在雷区里散步——随时可能踩坑。

咱们今天就把进程地址空间这五块区域掰开揉碎了讲。我保证，看完之后你再看程序崩溃的日志，心里会更有底。

一、整体布局：一张图看懂

先给你看一张我手绘的布局图。嗯，别嫌丑，这图我用了十年了，每次培训都拿它出来讲。

看到这个布局，你可能会问：为什么栈和堆是相向而长的？我当年也有这个疑问。后来在做一个嵌入式项目时，内存不够用了，才真正理解这种设计的精妙之处——它让动态内存和函数调用能灵活共享同一片地址空间。

二、代码段（.text）：程序的灵魂

代码段存放的是你写的那些指令。说白了，就是CPU要执行的机器码。

关键特征：

只读——你没法在运行时修改自己的代码。我曾经见过有人试图通过指针修改代码段，结果直接段错误。
可共享——多个进程运行同一个程序时，代码段在物理内存中只有一份。这叫节省内存。
固定大小——编译时就确定了，运行时不会变。

// 代码段示例
#include <stdio.h>

// 这个函数编译后会放在代码段
void say_hello() {
    printf("Hello, World!\n");
}

int main() {
    say_hello();
    return 0;
}

你可以用 size 命令看看编译后的可执行文件里各段的大小。我个人习惯在调试内存问题时，先用这个命令快速确认一下各段的情况。

三、数据段（.data）：已初始化的全局变量

数据段存放的是那些在代码里明确赋了初值的全局变量和静态变量。

// 这些变量放在数据段
int global_count = 100;          // 已初始化的全局变量
static int file_mode = 0x755;    // 已初始化的静态变量

int main() {
    static int local_static = 5; // 这个也在数据段
    return 0;
}

注意一点：数据段在进程启动时就从可执行文件里加载到内存了。所以如果你的程序里有个巨大的全局数组，启动速度会受影响。我在做嵌入式系统时，就因为这个踩过坑——一个10MB的全局查找表，导致设备启动慢了整整两秒。

四、BSS段：未初始化的全局变量

BSS段这个名字有点怪，它来自早期的汇编语言"Block Started by Symbol"。说白了，就是存放那些没有初始值或者初始值为0的全局变量和静态变量。

为什么要把BSS段单独拎出来？

因为节省空间。可执行文件里不需要为这些变量分配磁盘空间，只需要记录它们的大小。程序加载时，操作系统会一次性把这块内存清零。你想想看，如果你声明了 int big_array[1000000] 但没有初始化，它不会让你的可执行文件变大1MB。

// 这些变量放在BSS段
int global_uninit;               // 未初始化，默认0
static int static_uninit;        // 同上
int big_buffer[1024 * 1024];     // 1MB的数组，在BSS段只占几个字节的记录

int main() {
    static int local_static_uninit; // 也在BSS段
    return 0;
}

我曾经遇到过一个bug：有个同事在头文件里声明了 int flag; 而不是 extern int flag;，结果每个包含这个头文件的.c文件都定义了自己的flag变量。虽然都在BSS段，但它们是不同的变量！调试了一整天才发现。

五、堆（Heap）：动态内存的战场

堆是程序员最熟悉也最头疼的区域。你用 malloc、calloc、realloc 分配的内存都来自这里。

堆的几个特点：

向上增长——从低地址往高地址走
手动管理——你分配了就得自己释放
大小可变——通过 brk/sbrk 系统调用调整
线程安全——多线程下需要加锁

#include <stdlib.h>

int main() {
    // 从堆上分配内存
    int *p = (int*)malloc(100 * sizeof(int));
    if (p == NULL) {
        // 处理分配失败
        return -1;
    }
    
    // 使用内存...
    p[0] = 42;
    
    // 记得释放！
    free(p);
    
    return 0;
}

避坑指南：

malloc 返回的地址一定要检查是否为 NULL
free 之后把指针置为 NULL，防止野指针
不要越界访问——堆内存越界会破坏内存管理器的内部数据结构

六、栈（Stack）：函数调用的舞台

栈是每个线程私有的。你每次调用函数，都会在栈上分配一个"栈帧"。局部变量、函数参数、返回地址都放在这里。

栈的特点：

向下增长——从高地址往低地址走
自动管理——函数返回时自动回收
大小固定——编译时或运行时设定，超出会栈溢出
速度快——比堆快得多

void func_a() {
    int local_a = 10;  // 在栈上
    func_b();
}

void func_b() {
    int local_b = 20;  // 在栈上，地址比local_a低
    // 函数返回后，local_b自动失效
}

int main() {
    func_a();
    return 0;
}

栈溢出是我见过最隐蔽的bug之一。有一次在嵌入式设备上，一个递归函数没有正确设置终止条件，结果栈空间被吃光，程序直接崩溃。更坑的是，这种崩溃有时候表现为随机重启，排查起来特别费劲。

七、各段对比一览表

段名称	存放内容	读写属性	大小变化	生命周期
代码段（.text）	程序指令	只读	固定	程序运行期间
数据段（.data）	已初始化全局/静态变量	读写	固定	程序运行期间
BSS段	未初始化全局/静态变量	读写	固定	程序运行期间
堆	动态分配的内存	读写	动态增长	从malloc到free
栈	局部变量、函数参数	读写	动态增长	函数调用期间

八、实战经验总结

说了这么多，最后给你几条我这些年总结出来的经验：

全局变量能少用就少用——它们占的是数据段和BSS段，程序启动就存在，直到结束才释放。我见过一个项目，全局变量占了2MB内存，导致堆空间严重不足。
栈空间要心里有数——嵌入式开发中，栈大小通常只有几KB到几十KB。递归深度、局部数组大小都要控制好。
堆内存泄漏是慢性毒药——每次malloc都要配对free。我习惯在代码里写注释标记配对关系。
用工具检查内存——Valgrind、AddressSanitizer这些工具能帮你发现很多肉眼看不出的问题。

理解进程地址空间，说白了就是理解你的程序在内存里是怎么活着的。代码段是它的灵魂，数据段和BSS段是它的记忆，堆是它动态获取的资源，栈是它处理事务的工作台。搞懂了这些，你写代码时就会多一层思考——"这块内存放哪？活多久？谁管它？"

嗯，今天就先聊到这。下次你写代码时，不妨想想你定义的每个变量、调用的每个函数，它们在内存里是怎么安家的。