在Linux嵌入式编程中,与内存相关的堆(Heap)和栈(Stack)有什么区别？Linux中堆、栈、数据段(存储全局变量)、代码段的内存布局是怎么样的？各种变量的分配区域是怎么样的？

原创已于 2025-01-05 22:02:04 修改 · 1k 阅读

9 ·

CC 4.0 BY-SA版权

文章标签：

#内存管理 #嵌入式开发

于 2024-12-30 15:19:43 首次发布

嵌入式_Linux 同时被 2 个专栏收录

201 篇文章

订阅专栏

C/C++基础

79 篇文章

订阅专栏

堆(Heap)和栈(Stack)的概念和区别

在基于 IMX6ULL 的 Linux 嵌入式编程中，堆（Heap）和栈（Stack）是两种不同的内存分配方式，各自具有不同的特点和用途。以下是它们的主要区别：

1. 存储位置

堆（Heap）:
- 通常位于进程地址空间的高地址区域，向上增长(关于向上增长的概念下面有详细解释)。
- 由程序运行时动态分配，管理由开发者控制。
栈（Stack）:
- 通常位于进程地址空间的低地址区域，向下增长(关于向下增长的概念下面有详细解释)。
- 由系统自动分配和释放，管理由编译器控制。

2. 内存分配方式

堆（Heap）:
- 动态分配：通过函数如 malloc、calloc、realloc 分配，使用 free 释放。
- 内存大小在运行时决定，灵活性高。
- 开发者需要手动管理分配和释放，容易出现 内存泄漏 和 悬挂指针 问题。
栈（Stack）:
- 静态分配：函数调用时，系统为局部变量、参数和返回地址分配内存。
- 分配和释放由编译器自动完成，速度快且安全。
- 栈的大小有限（典型嵌入式环境中栈可能只有几十 KB）。

3. 分配效率

堆（Heap）:
- 分配和释放效率较低，涉及复杂的内存管理（如碎片整理）。
- 适合存储生命周期较长或大小不确定的数据。
栈（Stack）:
- 分配效率高（分配时仅需移动栈指针）。
- 适合存储生命周期短、大小固定的数据（如局部变量）。

4. 生命周期

堆（Heap）:
- 生命周期由开发者控制，灵活但需要注意内存泄漏。
- 数据可以在函数调用结束后继续存在。
栈（Stack）:
- 生命周期由函数的作用域决定。
- 栈上的变量在函数返回时自动销毁。

5. 空间大小

堆（Heap）:
- 受限于系统的可用内存，总体空间较大（几 MB 到 GB）。
- 使用过多堆内存可能导致性能下降（如碎片化）。
栈（Stack）:
- 栈的空间较小，通常受限于系统配置（Linux 通常是 8 MB，嵌入式系统可能更小）。
- 过多使用栈可能导致 栈溢出（stack overflow）。

6. 典型应用

堆（Heap）:
- 动态分配的全局或复杂数据结构（如链表、树、缓冲区）。
- 数据量较大且在多个函数之间共享的数据。
栈（Stack）:
- 局部变量、函数参数、返回值等。
- 生命周期短且占用内存小的数据。

表格总结

特性	堆（Heap）	栈（Stack）
分配方式	动态分配，手动管理	静态分配，自动管理
生命周期	手动控制，灵活	随作用域结束
分配效率	较低，可能有内存碎片	高，栈指针简单移动
存储空间	大，受系统可用内存限制	小，通常几十 KB 到几 MB
适用场景	数据较大、生命周期长、动态调整的数据	数据较小、生命周期短的局部变量
管理难度	需要手动释放，容易内存泄漏	自动释放，安全可靠

嵌入式编程中的注意事项

堆的限制:
- 嵌入式系统的内存资源有限，使用堆时需要控制分配量，避免动态内存分配过多影响性能或引发崩溃。
- 可以通过工具（如 valgrind 或自定义日志）检测内存泄漏。
栈的限制:
- 注意避免栈溢出，特别是在递归调用或分配大数组时。
- 可以通过调试工具监测栈的使用情况，并合理配置栈大小（在 IMX6ULL 上可通过 ulimit -s 查看或修改栈大小）。

通过合理使用堆和栈，可以优化程序的性能和内存管理，特别是在资源有限的嵌入式环境中。

向上增长向下增长的概念

“向上增长”和“向下增长”描述的是内存分配时地址变化的方向，具体是指在程序运行时，堆和栈的内存分配方式如何影响内存地址的分布。

1. 向上增长

含义:
- 每次分配新内存时，分配的内存地址比上一次分配的地址高。
- 内存地址从低向高增加。
堆（Heap）:
- 堆的内存分配通常是从较低地址向高地址增长。
- 例如，第一次分配的内存块在地址 0x1000，下一次可能分配在 0x2000，以此类推。

2. 向下增长

含义:
- 每次分配新内存时，分配的内存地址比上一次分配的地址低。
- 内存地址从高向低减少。
栈（Stack）:
- 栈的内存分配通常是从较高地址向低地址增长。
- 例如，函数调用时为局部变量分配内存，可能从 0xFF00 分配到 0xFE00。

3.各自增长方向的原因

栈向下增长:
- 栈是由操作系统自动分配的一块固定大小的内存区域，向下增长的设计目的是为了避免栈和代码段、数据段（通常位于低地址）发生冲突。
- 这样可以与堆的增长方向（向上）分离，使得堆和栈可以动态共享中间的空闲内存。
堆向上增长:
- 堆内存分配是动态的，向高地址增长的设计是为了尽量利用剩余的未使用内存空间。

堆、栈、数据段(存储全局变量)、代码段的内存布局

在典型的 Linux 系统中，进程的虚拟内存布局如下：

  高地址
  |-------------------|
  | 栈 (Stack)        | 向下增长
  |-------------------|
  | 空闲内存          |
  |-------------------|
  | 堆 (Heap)         | 向上增长
  |-------------------|
  | 数据段 (全局变量) |
  |-------------------|
  | 代码段 (Text)     |
  |-------------------|
  低地址

堆从 低地址 向 高地址 增长。
栈从 高地址 向 低地址 增长。
它们中间是未使用的内存区域，堆和栈如果使用过多，可能导致两者“碰撞”，引发 堆栈冲突。

各种变量的分配区域

变量类型	分配区域	生命周期	示例代码
全局变量 / 静态变量	`.data` 或 `.bss`	驱动加载到卸载	`static int count = 0;`
局部变量	栈（Stack）	函数执行期间	`void func() { int x = 10; }`
动态分配变量	堆（Heap）	由开发者显式管理	`kmalloc` / `kfree`

内核空间和用户空间分别有自己的堆、栈、数据段、代码段

，内核空间和用户空间都有各自独立的堆、栈、数据段和代码段。这种分离设计是为了实现内核和用户空间的隔离与保护，确保系统的安全性和稳定性。

内核空间与用户空间的内存布局

1. 用户空间

作用：用户应用程序运行的空间，由用户代码直接操作。
组成：
- 代码段（Text Segment）：存储可执行指令，通常是只读的。
- 数据段：
  - 静态数据段（Data Segment）：存储全局变量和已初始化的静态变量。
  - 未初始化数据段（BSS Segment）：存储未初始化的全局变量和静态变量。
- 堆（Heap）：用于动态分配内存（如通过 malloc 分配）。
- 栈（Stack）：用于函数调用、局部变量和返回地址的存储。
地址范围：
- 具体范围取决于系统的地址空间布局，例如在 x86 系统上，32 位用户空间通常为 0x00000000 到 0xBFFFFFFF。

2. 内核空间

作用：运行操作系统内核代码，包括驱动程序和内核模块。
组成：
- 代码段（Text Segment）：存储内核指令，通常是只读的。
- 数据段：
  - 静态数据段（Data Segment）：存储内核的全局变量和已初始化的静态变量。
  - 未初始化数据段（BSS Segment）：存储未初始化的全局变量和静态变量。
- 堆（Heap）：用于内核动态分配内存（如通过 kmalloc 分配）。
- 栈（Stack）：每个内核线程都有一个独立的内核栈，用于函数调用和中断处理。
  - 内核栈的大小通常较小（例如 8 KB 或 16 KB）。
地址范围：
- 32 位系统的内核地址空间通常从 0xC0000000 到 0xFFFFFFFF。
- 64 位系统的内核地址范围通常更高，具体取决于系统配置。

内核空间和用户空间的分离原因

保护机制：
- 用户空间程序无法直接访问内核空间的内存，防止恶意程序或错误代码破坏内核数据。
隔离和稳定性：
- 即使用户程序崩溃或非法操作，内核依然可以正常运行，不会导致整个系统崩溃。
权限控制：
- 用户程序运行在低权限级别（Ring 3），内核运行在高权限级别（Ring 0）。

堆、栈、数据段对比

特性	用户空间	内核空间
代码段	用户程序的指令	内核代码和模块指令
数据段	用户程序的全局和静态变量	内核的全局和静态变量
栈	每个用户进程有自己的栈，动态增长	每个内核线程有固定大小的栈（如 8 KB）
堆	动态分配内存（如 `malloc`）	动态分配内存（如 `kmalloc`）

内存分布图示

以下是 32 位系统的内存分布示意图（用户和内核空间）：

0xFFFFFFFF
+-----------------------+
| 内核空间（Ring 0-即内核态）    |
|  - 栈                |
|  - 堆                |
|  - 数据段           |
|  - 代码段           |
+-----------------------+
| 用户空间（Ring 3-即用户态）    |
|  - 栈                |
|  - 堆                |
|  - 数据段           |
|  - 代码段           |
+-----------------------+
0x00000000