Linux 栈（Stack）的作用详解
在 Linux 操作系统中，栈（Stack） 是一种特殊的内存区域，采用 后进先出（LIFO, Last In First Out） 的存储机制，它主要用于支持函数的调用、局部变量的存储以及程序的执行流控制。
栈的核心作用
栈在程序运行过程中承担着至关重要的角色,主要体现在以下几个方面：
- 存储局部变量：当函数被调用时，函数内部定义的局部变量（非静态变量）会被分配在栈上，一旦函数执行完毕并返回，这些变量会自动被释放。
- 保存函数调用上下文（返回地址）：为了在函数执行完后能回到原来的调用位置，CPU 会将返回地址（Return Address）压入栈中。
- 传递函数参数：在调用函数时，调用者会将需要传递的参数
压入栈中，以便被调用函数能够读取并使用。
- 保存寄存器状态：在进入子函数或发生中断时，为了防止原有的数据被覆盖，系统会将当前 CPU 寄存器的值备份到栈中，待操作完成后再恢复。
Linux 中的两种栈
Linux 为了保证系统的稳定性和安全性，将栈分为用户栈和内核栈：
- 用户栈（User Stack）：
- 每个用户进程在启动时都会被分配一个独立的用户栈。
- 它位于进程虚拟地址空间的顶部,向低地址方向增长。
- 主要用于处理用户态程序的函数调用和局部变量。
- 内核栈（Kernel Stack）：
- 每个线程（或进程）在内核中都有一个独立的内核栈。
- 当进程通过系统调用（System Call）
或中断从用户态切换到内核态时，CPU 会停止使用用户栈，转而使用内核栈。
- 目的：防止用户态程序干扰内核运行，确保内核操作的安全性。
栈的工作机制：栈帧（Stack Frame）
每当一个函数被调用时,系统会在栈上为其创建一个栈帧（Stack Frame），一个典型的栈帧包含以下内容：
- 函数参数：调用者传递给函数的输入值。
- 返回地址：函数执行完后应跳转回的指令地址。
- 前一个栈帧的基址指针（EBP/RBP）：用于在函数返回后恢复之前的栈环境。
- 局部变量：函数内部定义的临时数据。
栈的特性与潜在问题
- 高效性：栈的操作仅涉及栈指针（SP）的移动，不需要复杂的内存分配算法，因此
访问速度极快
。 - 自动管理：由编译器和 CPU 硬件自动管理，无需程序员手动申请和释放内存。
- 空间限制（栈溢出）：
- 栈的大小是有限且固定的（可以通过
ulimit -s查看）。 - 如果发生深度递归调用或定义了巨大的局部数组，会导致栈空间耗尽，触发 Stack Overflow（栈溢出），从而导致程序崩溃（通常表现为
Segmentation Fault段错误）。
- 栈的大小是有限且固定的（可以通过
栈是 Linux 进程执行的基石，它通过高效的 LIFO 机制解决了函数嵌套调用、状态保存和临时数据存储的问题，通过区分用户栈和内核栈，Linux 实现了用户空间与内核空间的有效隔离，保障了系统的鲁棒性。
首发原创文章，作者：世雄 - 原生数据库架构专家，如若转载，请注明出处：https://idctop.com/article/494719.html
