JINHU
🧠 栈（Stack）与堆（Heap）的本质区别
| 对比项 | 栈（Stack） | 堆（Heap） |
|---|---|---|
| 管理方式 | 由编译器自动分配与释放 | 由程序员或运行时手动分配与释放 |
| 分配速度 | 极快（仅调整栈指针） | 慢（需要搜索合适内存块、维护空闲链表） |
| 存储内容 | 局部变量、函数参数、返回地址、保存寄存器等 | 动态分配的对象（malloc/new/kmalloc/vmalloc等） |
| 生存周期 | 随函数调用自动创建、退出时自动销毁 | 由程序控制，直到手动释放或GC清理 |
| 大小限制 | 一般很小（几百KB到几MB） | 系统或虚拟内存决定，通常非常大 |
| 碎片 | 不会产生碎片 | 会产生碎片 |
| 访问速度 | 连续内存，cache 友好，访问快 | 不连续，cache 效率低 |
⚙️ 为什么栈分配比堆快？
1️⃣ 栈是连续的内存
每个线程都有一块固定大小的连续栈内存，比如 1MB。 函数进入时，只需要：
sub rsp, size
就完成分配；退出时：
add rsp, size
就释放了。
👉 仅仅是移动一个指针（栈顶寄存器）。
2️⃣ 堆是链表或树结构
堆内存管理器（malloc/new）需要：
-
查找空闲块（可能是红黑树、bitmap、free list）；
-
更新管理结构；
-
可能触发系统调用（brk/mmap）；
-
并且分配的内存不连续。
所以慢很多。
🧩 什么时候用栈？
✅ 适合用栈的情况：
-
局部变量或函数临时数据：
void func() { int a = 10; // 自动变量在栈上 char buf[128]; // 小缓冲区 } -
生命周期短（跟函数调用同步）： 只在当前函数内使用，不需要返回出去。
-
结构体小、不会递归爆栈： 比如 100 字节以下的结构体、局部数组等。
💾 什么时候必须用堆？
✅ 以下情况必须用堆：
-
内存太大，栈放不下： 栈只有几MB，而堆几乎无限。
int big[1024*1024]; // 栈溢出！ int *big = malloc(1024*1024*sizeof(int)); // 正确 -
生命周期跨函数、线程或作用域： 栈变量出了函数就被销毁。
char* create_str() { char s[16] = "hello"; // 栈内存 return s; // ❌ 返回悬空指针 }
char create_str_heap() { char s = malloc(16); strcpy(s, "hello"); return s; // ✅ 堆内存可继续使用 }
3. 需要动态大小或运行时决定大小：
栈上必须是编译时已知大小的数组。
```c
int n = user_input();
int *arr = malloc(n * sizeof(int)); // ✅-
需要跨线程或异步使用的对象： 比如内核 DMA buffer、GPU 资源、线程共享数据。
-
内核驱动或中断上下文： 栈非常有限（通常 8KB），所以内核分配必须用堆（kmalloc/vmalloc）。
🚫 栈的限制与陷阱
| 陷阱 | 原因 | 结果 |
|---|---|---|
| 栈溢出 | 递归太深、局部变量太大 | 程序崩溃、内核 panic |
| 返回局部变量地址 | 栈变量销毁 | 悬空指针 |
| 栈大小固定 | 不适合存放大数组 | segmentation fault |
🧩 实际例子总结
| 场景 | 推荐使用 |
|---|---|
| 临时变量、局部小数组 | 栈 |
| 用户输入长度未知的缓冲区 | 堆 |
| 内核 DMA buffer | 堆（kmalloc、dma_alloc_coherent） |
| 多线程共享结构体 | 堆 |
| 内核中断上下文、递归函数 | 避免栈大对象 |
📈 延伸：C/C++ 分配关键字
| 操作 | 位置 | 对应释放方式 |
|---|---|---|
int a; |
栈 | 自动 |
static int a; |
数据段 (.data/.bss) | 程序结束 |
malloc() |
堆 | free() |
new |
堆 | delete |
kmalloc() |
内核堆 | kfree() |
vmalloc() |
内核虚拟堆 | vfree() |
🔍 直观图（逻辑内存布局）
高地址
│
│ 栈 (stack)
│ ────────────────→ 向下增长
│ 局部变量、函数调用
│
│ 共享库、映射区 (mmap)
│
│ 堆 (heap)
│ ←─────────────── 向上增长
│ malloc/new 分配
│
│ 数据段 (.data / .bss)
│
│ 代码段 (.text)
│
低地址👇内存布局
这是一个清晰的 内存布局（虚拟地址空间） 字符图，展示了 栈、堆、数据段、代码段 的相对位置与增长方向：
┌──────────────────────────────┐ 高地址 (High Address)
│ │
│ 栈区 (Stack) │
│ ────────────────────────── │
│ 局部变量、函数参数、返回值 │
│ 每次函数调用自动分配/释放 │
│ 向下增长 ↓ │
│ │
├──────────────────────────────┤
│ 空闲/映射区 │
│ 动态库、mmap文件映射、匿名映射│
│ │
├──────────────────────────────┤
│ 堆区 (Heap) │
│ malloc/new/kmalloc 分配内存 │
│ 向上增长 ↑ │
│ 由程序控制生命周期 │
│ │
├──────────────────────────────┤
│ 全局/静态区 (.data/.bss) │
│ 全局变量、static变量 │
│ 程序开始到结束都存在 │
│ │
├──────────────────────────────┤
│ 代码区 (.text) │
│ 可执行代码、只读常量等 │
│ │
└──────────────────────────────┘
低地址 (Low Address)🔍 辅助说明：
-
栈 Stack 每个线程独立拥有一块内存空间，一般 512KB~8MB。函数嵌套或局部数组太大 → 容易溢出。
-
堆 Heap 由 malloc()、new、kmalloc() 等创建。动态分配，生命周期由你控制。
-
中间的 mmap 区 比如动态库 .so、文件映射、mmap() 分配的内存都在这一区域。
-
栈向下增长、堆向上增长 这样设计是为了在中间区域灵活扩展，不容易互相冲突。
