[Linux 进程] 程序地址空间深度剖析

在Linux系统中，程序地址空间由以下部分组成：

1. 代码段（Text）：存放程序的指令。
2. 数据段（Data）：存放程序的已初始化全局变量和静态局部变量。
3. BSS段（BSS）：存放程序的未初始化全局变量和静态局部变量，在程序运行前这些变量通常被初始化为0。
4. 堆（Heap）：动态分配内存，如使用malloc或new分配的内存。
5. 栈（Stack）：存放局部变量、函数调用上下文、返回地址等。

以下是一个简单的C程序示例，它演示了这些段的创建和使用：

#include <stdio.h>
#include <stdlib.h>
 
int global_var; // BSS段
int global_var_initialized = 10; // 数据段
 
void stack_function() {
    int stack_var; // 栈
    static int static_stack_var; // 数据段或BSS段（如果未初始化）
    printf("Stack variable address: %p\n", &stack_var);
    printf("Static stack variable address: %p\n", &static_stack_var);
}
 
void heap_function() {
    int *heap_var = malloc(sizeof(int)); // 堆
    printf("Heap variable address: %p\n", heap_var);
    free(heap_var); // 释放堆内存
}
 
int data_segment_var = 20; // 数据段
 
int main() {
    char text_segment_var = 'A'; // 代码段
    printf("Text segment variable address: %p\n", &text_segment_var);
    printf("Data segment variable address: %p\n", &data_segment_var);
    printf("BSS segment variable address: %p\n", &global_var);
 
    stack_function();
    heap_function();
 
    return 0;
}

编译并运行这个程序，它将打印出局部变量的地址，从而帮助理解程序地址空间的结构。

请注意，实际的地址空间布局可能会受到编译器优化和内存布局的影响，不同的系统和不同的编译选项可能会有所不同。