• 关于栈帧的一些知识点与理解


    栈帧

    又名:过程活动记录
    一个栈帧,表示了一个函数的活动记录,可能包括该函数的 参数 返回地址 被保存的寄存器 局部变量 参数构造区
    注:

    • 参数构造区以及寄存器空间是用来存 当前帧所在函数 要调用的函数 的所需参数的
    • 某个函数的帧的参数构造区中为它的子函数输入的参数(按顺序):(%rdi, %rsi, %rdx, %rcx, %r8, %r9)
      • 注意:有的题中的 %rdi 并不一定是第一个参数,原因在于,如果第一个参数是浮点数,那么使用的将是 %xmm0 寄存器,这样第二个参数才会顺延地使用 %rdi 寄存器。同理,%rsi 也不一定是第二个参数
    • 局部变量区是为了存储当前帧所在函数的自己的变量的区域
      • 什么时候一定需要放在局部变量区?
        答:
        1. 存储器不足够存放所有的本地数据
        2. 对于一个局部变量使用地址运算符 &
        3. 某些局部变量是数组或者结构体

    用于保存的寄存器:

    1. 栈指针 %rsp
      无论如何都要有它,因为有了它才会知道栈目前在哪
    2. 帧指针 %rbp
      在具有变长(长度不定的意思,有些歧义)的帧的顶部,这个帧一般是最下面(以栈向下地址变小,下面为栈顶的习惯来开)的函数的帧(就是最儿子的函数的帧),并且在这个帧中局部变量区中变长数组的顶端,与这个帧的底端的 %rsp 共同决定这个函数中的不定长栈帧的长度,因为如果只有 %rsp 的话,如果函数中有一个不定长数组 int a[n] ,那么无法知道这个变长数组的顶部在哪,除非有 %rbp 这个帧指针标记着

    如图所示:

    对于栈操作 push pop 的等价操作:
    下面引用了一篇csdn文章中的内容:

    指令效果描述
    pushq S %rsp ← %rsp - 8将四字压入栈
    (%rsp) ← S
    popq D D ← (%rsp)将四字弹出栈
    %rsp ← %rsp + 8

    需要注意的点

    • pushq指令的行为等价于:subq $8, %rspmovq %rbp, (%rsp)两条指令的合效果。
    • popq指令的行为等价于: movq (%rsp), %raxaddq $8, %rsp两条指令的合效果。
    • push/pop指令不存在其他后缀。
  • 相关阅读:
    【区块链 | Compound】5.剖析DeFi借贷产品之Compound:延伸篇
    了解千兆光模块和万兆光模块的标准规范
    Java日志门面框架--SLF4J
    【网络安全】利用samba服务绕过未开启文件包含配置
    AVL部分功能实现和了解
    含文档+PPT+源码等]精品基于SSM的社团管理系统[包运行成功]程序设计源码计算机毕设
    【Nginx】初识与环境准备
    数据库-进阶-存储引擎
    Linux项目自动化构建工具-make/Makefile
    【10天Unity入门计划】界面介绍(1)-Scene视图
  • 原文地址:https://blog.csdn.net/m0_58550000/article/details/126335030