当前位置: 首页 > news >正文

Linux-C-函数栈-SP寄存器

 sp(Stack Pointer,栈指针)是计算机体系结构中一个非常重要的寄存器,下面将详细介绍其作用和原理

作用

1. 管理栈内存

栈是一种后进先出(LIFO,Last In First Out)的数据结构,在程序运行过程中,栈用于存储局部变量、函数调用的上下文信息(如返回地址、寄存器值等)。sp 寄存器的主要作用就是指向栈顶的位置,通过移动 sp 指针,可以在栈上进行数据的压入(PUSH)和弹出(POP)操作。

2. 支持函数调用

当程序调用一个函数时,需要保存当前的执行上下文(如返回地址、寄存器的值等),以便在函数执行完毕后能够正确返回并恢复现场。这些信息通常会被压入栈中,sp 指针会相应地移动来指示栈顶的新位置。在函数返回时,再从栈中弹出这些信息,sp 指针也会恢复到调用函数之前的位置。

3. 存储局部变量

函数内部定义的局部变量通常也存储在栈上。在函数执行过程中,sp 指针会根据局部变量的大小进行调整,为局部变量分配栈空间。当函数执行完毕后,sp 指针会恢复到原来的位置,释放这些局部变量所占用的栈空间。

原理

1. 栈的生长方向

栈的生长方向在不同的体系结构中可能有所不同,常见的有两种:向下生长(向低地址方向)和向上生长(向高地址方向)。

  • 向下生长:大多数现代计算机体系结构(如 ARM、x86 等)采用向下生长的栈。在这种情况下,栈底位于较高的地址,栈顶位于较低的地址。当向栈中压入数据时,sp 指针的值会减小;当从栈中弹出数据时,sp 指针的值会增大。

  • 向上生长:少数体系结构采用向上生长的栈,栈底位于较低的地址,栈顶位于较高的地址。此时,压入数据时 sp 指针的值会增大,弹出数据时 sp 指针的值会减小。

2. 压栈和出栈操作

以向下生长的栈为例,介绍压栈和出栈操作的原理。

  • 压栈操作(PUSH):当需要将数据压入栈中时,首先将 sp 指针的值减去数据的大小,然后将数据存储到 sp 指针所指向的内存地址。例如,在 ARM 汇编中,使用 PUSH 指令将寄存器的值压入栈中:

 PUSH {r0, r1} ; 将寄存器 r0 和 r1 的值压入栈中

执行该指令时,sp 指针会自动减去 8(假设每个寄存器为 4 字节),然后将 r0 和 r1 的值依次存储到 sp 指针所指向的内存地址。 

  • 出栈操作(POP):当需要从栈中弹出数据时,首先将 sp 指针所指向的内存地址中的数据读取到目标寄存器中,然后将 sp 指针的值加上数据的大小。例如,在 ARM 汇编中,使用 POP 指令从栈中弹出数据:
POP {r0, r1}  ; 从栈中弹出数据到寄存器 r0 和 r1

执行该指令时,首先将 sp 指针所指向的内存地址中的数据读取到 r0 中,然后将 sp 指针的值加上 4,再将新的 sp 指针所指向的内存地址中的数据读取到 r1 中,最后 sp 指针的值再加上 4。 

3. 函数调用和返回过程

函数调用和返回过程涉及到栈指针的一系列操作,以确保程序能够正确执行。

  • 函数调用:当程序调用一个函数时,通常会执行以下步骤:

    1. 将返回地址压入栈中,以便函数执行完毕后能够返回到调用点。
    2. 保存当前的寄存器值(如果需要)到栈中。
    3. 调整 sp 指针,为函数的局部变量分配栈空间。
    4. 跳转到被调用函数的入口地址开始执行。
  • 函数返回:当函数执行完毕后,会执行以下步骤:

    1. 恢复之前保存的寄存器值(如果有)。
    2. 从栈中弹出返回地址。
    3. 调整 sp 指针,释放函数的局部变量所占用的栈空间。
    4. 跳转到返回地址继续执行。
  • 示例代码(ARM 汇编)

     
        .global mainmain:; 保存返回地址和寄存器值PUSH {lr}; 为局部变量分配栈空间SUB sp, sp, #4; 假设局部变量赋值MOV r0, #10STR r0, [sp]; 恢复栈空间ADD sp, sp, #4; 恢复返回地址并返回POP {pc}
    
     

    在这个示例中,PUSH {lr} 将返回地址压入栈中,SUB sp, sp, #4 为局部变量分配 4 字节的栈空间,ADD sp, sp, #4 释放局部变量所占用的栈空间,POP {pc} 从栈中弹出返回地址并跳转到该地址继续执行。

  • sp 寄存器是管理栈内存的关键,通过移动 sp 指针可以实现数据的压栈和出栈操作,支持函数调用和局部变量的存储。理解 sp 指针的作用和原理对于深入理解程序的执行过程和内存管理非常重要。

http://www.lryc.cn/news/542173.html

相关文章:

  • vi的基本使用
  • clickhouse--表引擎的使用
  • LeetCode刷题零碎知识点整理
  • GLTFLoader.js和OrbitControls.js两个 JavaScript 文件都是 Three.js 生态系统中的重要组成部分
  • 大厂数据仓库数仓建模面试题及参考答案
  • angular简易计算器
  • 谈谈 ES 6.8 到 7.10 的功能变迁(3)- 查询方法篇
  • 16、Python面试题解析:python中的浅拷贝和深拷贝
  • 游戏引擎学习第119天
  • 爬虫解析库:Beautiful Soup的详细使用
  • OpenHarmony-4.基于dayu800 GPIO 实践(2)
  • 【C++设计模式】观察者模式(1/2):从基础到优化实现
  • 《机器学习数学基础》补充资料:欧几里得空间的推广
  • 在配置PX4中出现的问题2
  • 2025-2-24-4.9 单调栈与单调队列(基础题)
  • python绘图之swarmplot分布散点图
  • 数据库之MySQL——事务(一)
  • Linux学习笔记之文件
  • LLM学习
  • Classic Control Theory | 13 Complex Poles or Zeros (第13课笔记-中文版)
  • 给小米/红米手机root(工具基本为官方工具)——KernelSU篇
  • 【MySQL】表的增删查改(CRUD)(上)
  • 测试用例的Story是什么?
  • 15.4 FAISS 向量数据库实战:构建毫秒级响应的智能销售问答系统
  • Golang笔记——Interface类型
  • 如何查看图片的原始格式
  • FreiHAND (handposeX-json 格式)数据集-release >> DataBall
  • 【Rust中级教程】2.8. API设计原则之灵活性(flexible) Pt.4:显式析构函数的问题及3种解决方案
  • LabVIEW Browser.vi 库说明
  • promise的方法有哪些?【JavaScript】