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


    栈帧

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

    • 参数构造区以及寄存器空间是用来存 当前帧所在函数 要调用的函数 的所需参数的
    • 某个函数的帧的参数构造区中为它的子函数输入的参数(按顺序):(%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指令不存在其他后缀。
  • 相关阅读:
    非谓语动词练习
    2023最新最全【虚幻4引擎】下载安装零基础教程
    使用C#创建安装Windows服务程序(干货)
    如何正确使用:has和:nth-last-child
    js数组遍历方法汇总
    〖Python 数据库开发实战 - MySQL篇㉓〗- 单行子查询与多行子查询语法规则
    序列类型(元组()、列表[]、字符串““)、集合类型({}、set())
    51单片机仿真软件 Proteus 8 Pro 安装步骤
    Mybatis-Plus+Nacos配置中心和服务发现保姆级教程
    sd-webui-controlnet代码分析
  • 原文地址:https://blog.csdn.net/m0_58550000/article/details/126335030