John von Neumann 在 EDVAC 报告草案中提出：指令和数据存放在同一个内存中，用地址来区分它们。这是"代码段"和"数据段"分离的思想源头——虽然当时还没有分段，但"程序即数据"的概念诞生了。
📍 关键影响：代码和数据共享同一地址空间 → 为后来的 Text/Data 段分离埋下伏笔
为什么所有编程语言的内存结构都长得差不多？
从冯·诺依曼到现代操作系统的设计演进史
你截图中的是 Linux/Unix 下一个典型进程的虚拟地址空间布局。从低地址到高地址依次排列着不同的区域，每个区域都有其存在的理由。点击每个区域查看详情 👇
选择一个内存区域查看它的用途、设计原因和代码示例。
这个布局并非某一个人发明的，而是近70年计算机科学演进的结晶。它的核心思想可以追溯到 1945年冯·诺依曼的存储程序体系结构，然后在 1960-70 年代由 Multics、Unix 等先驱操作系统逐步定型，最终在 1980 年代随着 POSIX 标准和 x86 架构的普及成为业界共识。
malloc() 和函数调用约定固化了 Heap/Stack 的用法mmap, brk, sbrk) 让所有 Unix 系统的行为一致。
不同区域设置不同权限：代码段只读+可执行、数据段读写不可执行、栈可读写... 这不是多此一举！如果代码段能被修改，病毒就能篡改程序逻辑；如果栈能被执行，缓冲区漏洞就能注入 shellcode。
// 代码段：r-x (读+执行)
int add(int a, int b) { return a+b; }
// 你不能在运行时修改 add 函数的机器码
// 数据段：rw- (读写)
int global_counter = 0;
// 可以读写，但不能当作代码执行
栈向下增长，堆向上增长，中间留出自由空间供双方扩展——这是一个精妙的设计！两个最常用的动态区域从两端向中间生长，最大化利用地址空间。同时栈的LIFO 特性完美匹配 CPU 缓存的局部性原理。
// 栈：连续紧凑，CPU 缓存友好
void foo() {
int a = 1; // push 到栈顶
int b = 2; // 再 push
bar(); // 调用函数
// return 时自动弹出 a,b — O(1)!
}
// 堆：灵活分配，可能碎片化
int* p = malloc(1024); // 可能 anywhere
free(p); // 需要管理器协调
静态 vs 动态 vs 自动三种生命周期的变量需要不同的存储策略。编译器在编译时就决定了哪些放数据段(整个程序期间存活)、哪些放栈(函数返回就销毁)、哪些放堆(手动/自动释放)。这种分类让运行时开销最小化。
static int config = 42; // Data段: 程序启动→结束
int* data = new int[100]; // Heap: 手动 delete 才销毁
void work() {
int temp = 0; // Stack: 函数退出即消失
}
不同语言在这个基础布局上做了不同程度的抽象，但底层物理布局完全相同：
进程内存布局不是某个语言设计师拍脑袋想出来的，而是操作系统内核 + CPU硬件 + 编译器链三者长期博弈后形成的最优妥协方案。
📌 冯·诺依曼(1945) 给出了「程序=指令+数据」的理论框架 →
📌 Multics(1964) 工程化了分段和保护机制 →
📌 Unix/C(1969) 将四段式布局写入了 a.out 格式和编译器 →
📌 ELF+POSIX(1980s) 让它成为所有系统的通用契约 →
📌 今天，无论你用任何编程语言，底层的虚拟地址空间都是这个样子。
💭 所以当你看到 Stack / Heap / Data / BSS / Text 这些词时， 你看到的不是一个语言特性，而是一段 横跨80年的计算机科学进化史。