首页 > 编程语言 >C++函数调用栈从何而来

C++函数调用栈从何而来

时间:2024-08-25 13:50:40浏览次数:10  
标签:movl int C++ rbp 从何而来 函数调用 寄存器 rsp

在这里插入图片描述

竹杖芒鞋轻胜马,谁怕?一蓑烟雨任平生~
个人主页: rainInSunny  |  个人专栏: C++那些事儿Qt那些事儿

文章目录

写在前面

  程序员对函数调用栈是再熟悉不过了,无论是使用IDE调试还是GDB等工具进行调试,都离不开函数调用栈的分析。当我们遇到卡顿问题的时候,经常苦于没有卡顿现场,也就是函数调用栈进行分析解决。除了利用上述工具获取函数调用栈,能不能想办法在代码中记录函数调用栈,特别是卡顿的时候,还好是有办法的~

原理综述

  工具能够获取调用栈一定也是某个地方记录着这样的信息。实际上函数调用栈和函数调用过程是分不开的。函数调用过程在汇编角度分析,是由一帧一帧函数帧栈过程实现。这个过程大致包含调用现场保护、栈拉伸、参数传递、函数执行、返回值传递、栈平衡、调用现场恢复等过程。整个过程比较复杂,后续会写文章说明函数调用过程,这里只用关注与函数调用栈相关的调用现场保护过程,简单分析这个过程就能得出获取调用栈的基本原理。
在这里插入图片描述

  调用现场保护是只在函数嵌套调用的过程中需要一块内存空间来记录调用返回后仍然需要用到的数据,可以把这些需要保存的数据理解为一种调用现场,当函数调用返回时把这些数据读到对应的寄存器,函数就能愉快的执行下去了。上图是函数调用的栈帧示意图,想要获取函数调用栈,要关注FP(存储栈底地址)和LR(存储函数返回地址)寄存器,不同平台寄存器名称不一样,但都会有这样功能类似的寄存器。FP寄存器有很重要的三个作用:

  • 在FP存储栈底地址基础上增加值偏移,可以访问到父函数的栈内存数据(如这里的LR寄存器中的值)。
  • 在FP存储栈底地址基础上减少值偏移,可以访问到子函数的栈内存数据(如局部变量)。
  • FP存储栈底地址指向的内容是父函数FP的栈顶地址,用于子函数执行完毕后回到父函数时的FP寄存器还原。

  函数嵌套调用过程中,每次开辟新的函数帧栈时之前最后做的就是将PC寄存器存储下一条指令的地址压栈保存,此时LR寄存器也会存储该栈地址。进入嵌套子函数调用后第一件事就是将父函数的栈顶地址压栈保存,也就是这两者在栈空间地址是连续的,此时获取FP寄存器中地址向上偏移一个单位,再读取偏移后地址指向内容就能获取下一条指令地址。(个人理解,希望讲明白了>-<)如果用代码描述,就像这样:

while (fp) 
{
	  pc = *(fp + 1); //pc代表存储的下一条指令地址
	  fp = *fp; //fp指向的是父函数栈顶地址
}

x86架构函数调用栈分析

  如果看完原理还有点晕>-<,别急接下来一步步分析下x86上函数调用和调用栈相关的部分。下面是一个最简单的程序,在分析之前,回顾下上面的代码,while循环中有pc寄存器和fp寄存器,需要明确的是x86上pc寄存器名称是rip,fp寄存器的名称是rbp,指向栈底,其次这里会提到rsp寄存器,它一般指向栈顶)

int sub(int a, int b, int c, int d, int e, int f, int g, int h, int i, int j, int k, int l, int m, int n, int o) {
  int t = a + b;
  printf("The sub value is:%d\n", t);
  return t;
}
int main(void) {
  int p = sub(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15);
  printf("the return value is:%d\n", p);
  return 0;
}
main:
  0x100003ee0 <+0>:   pushq  %rbp
  0x100003ee1 <+1>:   movq   %rsp, %rbp
  0x100003ee4 <+4>:   subq   $0x50, %rsp                # 预留 80 字节大小的栈内存空间
  0x100003ee8 <+8>:   movl   $0x0, -0x4(%rbp)		# 0 值写入,默认预留的大小空间,无特别场景,不会使用

  0x100003eef <+15>:  movl   $0x1, %edi			# 参数入 寄存器
  0x100003ef4 <+20>:  movl   $0x2, %esi			# 参数入 寄存器
  0x100003ef9 <+25>:  movl   $0x3, %edx			# 参数入 寄存器
  0x100003efe <+30>:  movl   $0x4, %ecx			# 参数入 寄存器
  0x100003f03 <+35>:  movl   $0x5, %r8d			# 参数入 寄存器
  0x100003f09 <+41>:  movl   $0x6, %r9d			# 参数入 寄存器

  0x100003f0f <+47>:  movl   $0x7, (%rsp)               # 参数入 栈内存
  0x100003f16 <+54>:  movl   $0x8, 0x8(%rsp)		# 参数入 栈内存
  0x100003f1e <+62>:  movl   $0x9, 0x10(%rsp)		# 参数入 栈内存
  0x100003f26 <+70>:  movl   $0xa, 0x18(%rsp)		# 参数入 栈内存
  0x100003f2e <+78>:  movl   $0xb, 0x20(%rsp)		# 参数入 栈内存
  0x100003f36 <+86>:  movl   $0xc, 0x28(%rsp)		# 参数入 栈内存
  0x100003f3e <+94>:  movl   $0xd, 0x30(%rsp)		# 参数入 栈内存
  0x100003f46 <+102>: movl   $0xe, 0x38(%rsp)		# 参数入 栈内存
  0x100003f4e <+110>: movl   $0xf, 0x40(%rsp)		# 参数入 栈内存

  0x100003f56 <+118>: callq  0x100003e90               ; sub at main.c:10

  0x100003f5b <+123>: movl   %eax, -0x8(%rbp)
  0x100003f5e <+126>: movl   -0x8(%rbp), %esi
  0x100003f61 <+129>: leaq   0x32(%rip), %rdi          ; "the return value is:%d\n"
  0x100003f68 <+136>: movb   $0x0, %al
  0x100003f6a <+138>: callq  0x100003f78               ; symbol stub for: printf
  0x100003f6f <+143>: xorl   %eax, %eax
  0x100003f71 <+145>: addq   $0x50, %rsp
  0x100003f75 <+149>: popq   %rbp
  0x100003f76 <+150>: retq  

  上图中的汇编是main函数调用过程,看着挺多,还好我们只用关注0x100003f56 <+118>: callq 0x100003e90 ; sub at main.c:10callq指令完成函数帧的切换,实现在main函数中调用sub子函数,这个过程完成了两件事。首先将当前rip寄存器的值(下一条指令地址)保存到栈空间中,也就是下图中0x100003F5B保存在了栈最下方,然后将子函数sub的地址0x100003e90赋值给了rip寄存器,这样cpu下一条指令就会跳转到sub函数。

pushq %rip
movl <子函数内存地址> %rip

在这里插入图片描述

  下面分析sub函数,我们只用关注汇编过程的前面两行,第一行0x100003e80 <+0>: pushq %rbp pushq相当于两个过程,一个是subq $0x8, %rsp,这是一个栈拉伸的过程,相当于腾出8个字节的空间来,接下来是movl. %rbp, %rsp,这条指令把rbp寄存器里的值(也就是main函数的栈底地址)保存到刚刚腾出来的位置上。第二行0x100003e81 <+1>: movq %rsp, %rbp ,将rsp寄存器的值赋值给rbp寄存器,其实就是让rbp寄存器指向了sub函数的栈底。

  sub:
    0x100003e80 <+0>:  pushq  %rbp 
    # 以上,将父函数的 rbp 值存入栈底
    0x100003e81 <+1>:  movq   %rsp, %rbp 
    # 以上,将当前函数的 rsp 值赋予 rbp,此时 rbp 是子函数的栈底
    0x100003e84 <+4>:  subq   $0x20, %rsp 
    # 以上,将 rsp 值减少 32 字节偏移,开辟栈预留内存空间
    0x100003e88 <+8>:  movl   0x50(%rbp), %eax
    0x100003e8b <+11>: movl   0x48(%rbp), %eax
    0x100003e8e <+14>: movl   0x40(%rbp), %eax
    0x100003e91 <+17>: movl   0x38(%rbp), %eax
    0x100003e94 <+20>: movl   0x30(%rbp), %eax
    0x100003e97 <+23>: movl   0x28(%rbp), %eax
    0x100003e9a <+26>: movl   0x20(%rbp), %eax
    0x100003e9d <+29>: movl   0x18(%rbp), %eax
    0x100003ea0 <+32>: movl   0x10(%rbp), %eax 
    # 以上,根据 栈底 rbp 做增加值偏移,获取父函数的栈内存数据,即入参
    0x100003ea3 <+35>: movl   %edi, -0x4(%rbp)
    0x100003ea6 <+38>: movl   %esi, -0x8(%rbp)
    0x100003ea9 <+41>: movl   %edx, -0xc(%rbp)
    0x100003eac <+44>: movl   %ecx, -0x10(%rbp)
    0x100003eaf <+47>: movl   %r8d, -0x14(%rbp)
    0x100003eb3 <+51>: movl   %r9d, -0x18(%rbp) 
    # 以上,将入参寄存器的值存入当前栈内存空间,做减小值偏移
    0x100003eb7 <+55>: movl   -0x4(%rbp), %eax
    0x100003eba <+58>: addl   -0x8(%rbp), %eax 
    # 以上,完成 a + b 操作
    0x100003ebd <+61>: movl   %eax, -0x1c(%rbp) 
    # 以上,将 a + b 的结果,存入栈内存空间
    0x100003ec0 <+64>: movl   -0x1c(%rbp), %esi
    0x100003ec3 <+67>: leaq   0xd4(%rip), %rdi          ; "The return value is:%d\n"
    0x100003eca <+74>: movb   $0x0, %al
    0x100003ecc <+76>: callq  0x100003f7e               ; symbol stub for: printf 
    # 以上,调用 printf 函数开始打印 a + b 的值
    0x100003ed1 <+81>: movl   -0x1c(%rbp), %eax
    0x100003ed4 <+84>: addq   $0x20, %rsp
    0x100003ed8 <+88>: popq   %rbp
    0x100003ed9 <+89>: retq 

  注意这是一个连续的过程,所以栈上也是连续的,下图可以看出main函数最后callq指令保存指令地址0x100003F5B的栈位置就在当前rbp寄存器指向位置的上方,所以只要得到rbp寄存器指向的位置,加上1就能得到我们想要的指令地址了。还有重要的一点是rbp寄存器指向的内容是父函数(这里是main函数)的栈底地址,通过这个地址加1又能得到上一层指令地址了,如此循环往复,得到调用栈指日可待~
在这里插入图片描述

如何获取rbp寄存器的值

  不同操作系统有不同的系统调用来获取线程寄存器的状态,这里提供一个基于架构的通用思路,使用内联汇编的方式来获取。

int get_rbp_value() {
    int value;
    __asm__("movl %%rbp, %0" : "=r" (value));
    return value;
}

  这段代码使用GCC的内联汇编语法,通过movl指令将rbp寄存器的值移动到一个局部变量value中。"=r"是一个输出约束,表示将结果存储在提供的变量中。在这个例子中,我们使用%0来引用输出变量value。当这段代码被执行时,rbp寄存器的值就会被读取并存储在value中,然后返回给调用者。这里因为是内联汇编,为了区分寄存器和变量,所以寄存器前有两个%。
  当获取到指令地址后,就可以通过类似backtrace_symbolsaddress2line等方式获取对于的函数调用字符串形式,这块还没实践过,后续有时间研究研究>-<。

总结

  这个过程中需要核心关注的有以下几点:

  • FP寄存器指向每个函数帧栈的栈底,而当前函数栈底存储的内容就是父函数的栈底地址,这样通过FP寄存器就能循环得到每个函数的栈底地址。
  • 每次函数调用发生帧栈切换前,下一条指令的地址会被保存在调用者栈顶,这个地址和被调用者的栈底相邻,因此能够通过栈底地址偏移一个单位来获取指令地址,最后达到获取调用栈目的。

创作不易,感谢点赞、关注和收藏~

标签:movl,int,C++,rbp,从何而来,函数调用,寄存器,rsp
From: https://blog.csdn.net/qq_27736025/article/details/141366496

相关文章

  • 【C++ 面试 - 内存管理】每日 3 题(一)
     ✍个人博客:Pandaconda-CSDN博客......
  • C++多态——虚函数
    其实在学习的时候,一直没有搞懂为什么要用虚函数,为什么需要传递基类的引用或者指针,要用谁的时候写谁不就好了。其实这时候我的思维还局限在面向过程编程,不是面向对象编程。现在搞明白了,因为多态,利用继承的思想,减少代码复用。我们来看下面的例子。#include<iostream>usingnamesp......
  • C++/python趣味实验之:互动游戏
    之前,我们已经使用python做出了可以根据C++数据变更的血条现在,拓展一下这个程序,制作一个可以互动的游戏既然是游戏,那就需要一个启动界面,所以我们可以制作一个蓝天白云的场景怎么实现呢?首先,我们要明白,这只是一个启动界面,所以一定是根据C++方面的数据而启动和关闭的,这时,就需要......
  • C++(asctime()、ctime())
    目录1.asctime()2.ctime()3.区别3.1示例对比4.总结在C++中,asctime()和ctime()都是用于将时间转换为可读字符串的函数,但它们有一些细微的区别。1.asctime()作用:asctime()函数将structtm类型的时间结构转换为字符串。这个函数通常与localtime()或gmtime()......
  • win10系统c++与opencv 依赖环境配置
    一、VSC++配置opencv库1、下载opencv(https://sourceforge.net/projects/opencvlibrary/files/opencv-win/3.3.0/)2、在官网下载opencv3.3.0.exe文件然后解压到D盘D:\opencv3、配置系统环境:①添加环境变量:控制面板-系统-高级系统设置-环境变量-系统变量Path中添加下......
  • C/C++语言基础--结构体知识详解(包括:结构体数组、字节对齐、位段等内容)
    本专栏目的更新C/C++的基础语法,包括C++的一些新特性前言C语言地结构体是核心内容之一,他运行自定义数据类型,可以将不同地数据类型当作成一个整体,变成一个数据类型,运用及其广泛欢迎点赞+收藏+关注,本人将会持续更新加粗样式文章目录结构体结构体是什么?结构体的申......
  • C++(std::cout 处理 char*)
    目录1.std::cout和char*2.std::cout处理nullptr情况3.数组与指针的区别4.特殊字符的处理5.总结在C++中,std::cout是标准输出流,通常用于将数据输出到控制台。在处理char*类型时,std::cout的行为与处理其他类型有所不同。1.std::cout和char*char*是一个指向字......
  • 突破编程:C++中的组合模式(Composite Pattern)
    突破编程:C++中的组合模式(CompositePattern)在软件设计领域,组合模式(CompositePattern)是一种结构型设计模式,它允许你将对象组合成树形结构以表示“部分-整体”的层次结构。组合模式让客户端代码可以一致地处理单个对象和组合对象,无需关心对象的具体类型,从而简化了客户端代码......
  • 突破编程:C++中的组合模式(Composite Pattern)
    突破编程:C++中的组合模式(CompositePattern)在软件设计领域,组合模式(CompositePattern)是一种结构型设计模式,它允许你将对象组合成树形结构以表示“部分-整体”的层次结构。组合模式让客户端代码可以一致地处理单个对象和组合对象,无需关心对象的具体类型,从而简化了客户端代码......
  • C++竞赛初阶L1-14-第六单元-数组(31~33课)543: T456473 年龄与疾病
    题目内容某医院进行一项研究,想知道某项疾病是否与年龄有关。因此对以往的诊断记录进行整理,统计0-18、19-35、36-60、61及以上这四个年龄段的患者人数占总患者人数的比例。输入格式输入共 2 行。第一行包含一个整数 N(0<n≤100),表示总患者人数。第二行包含 N 个......