2.2基本算法之递归和自调用函数_【听歌】GDB入门教程之查看函数调用堆栈

写在前面:又到周末啦~上上周忍痛买了个雅马哈声卡和 AKG 话筒,这周六才正式打开试用了下,效果还不错,我自己还挺享受的。不过这玩意儿太高端,还不会用 AI 调音。小伙伴们感觉下这首加了一点点电音效果的歌曲如何呢664be9c4ab03ddcd2513e1b79db1ded4.png等我慢慢摸熟了,后面更文的频率可能会高些吧,哈哈哈。 

除了使用 GDB 启动调试、暂停/恢复程序执行和查看变量外,另外一个重要的调试方法便是查看程序的函数调用堆栈情况。

调用堆栈是当前函数之前的所有已调用函数的列表,每个函数及其变量都被分配了一个 "栈帧",使用 GDB 查看函数调用堆栈可清晰地看到各个函数的调用顺序以及各函数的输入形参值,是分析程序的执行流程和输入依赖的重要手段。

为了便于讲解,本文基于下述通过递归算法计算斐波拉契数列的简单 demo 进行举例说明。

#include
#include

int fibonacci(int n){
if (n == 1 || n == 2)
{
return 1;
}

int i = n; // only for showing local variable in GDB
return fibonacci(n - 1) + fibonacci(n - 2);
}

int main(){
int n = 10;
int ret = 0;
ret = fibonacci(n);
printf("fibonacci(%d)=%d\n", n, ret);
return 0;
}

1. backtrace 命令

要查看当前的堆栈信息,可使用 backtrace 命令 (缩写形式 bt )。堆栈中的每个函数都被分配了一个编号,最近被调用的函数在 0 号帧中 (栈顶)。

backtrace n 表示只打印栈顶上 n 层的栈信息 (n 表示一个正整数);相反地,backtrace -n 表示只打印栈底下 n 层的栈信息。

以本文使用的斐波拉契数列计算 demo 为例,假设通过 b fibonacci if n==5 设置完条件断点后启动程序,当程序被暂停时,使用 backtrace 相关命令查看到的函数调用堆栈信息如下图所示。

9ef4f5726a54b4afca8301069b2bfde2.png

可以看出,当程序被暂停时,栈中共有 7 个栈帧,从栈顶到栈底分别被编号为 0 ~ 6

2. frame 命令

如果想查看栈中某一层的信息,首先要做的是切换当前栈。这时候需用用到 frame 命令 (缩写形式为 f)。

frame n 命令表示在 GDB 下切换到编号为 n 的栈帧 (n 表示一个正整数)。例如,frame 4 将切换到栈的第 5 层。

切换完后,如果想查看当前栈帧的编号、函数名、函数参数值、函数所在文件及行号、函数执行到的语句等信息,可直接使用 frame 命令,如下图所示。

a2456a84702babf776f07616731ee393.png

:使用 frame 命令切换栈帧时,会自动打印出切换后的栈帧信息,如果切换时不想打印出任何信息,可以使用 select-frame 命令替代 frame 命令。

3. up/down 命令

除了使用 frame 命令切换栈帧外,还可以使用 updown 命令。

down n 命令表示往栈顶方向下移 n 层 (n 表示一个正整数,默认值为 1)。相反地,up n 命令表示往栈底方向上移 n 层 (类似地,up 表示往栈底方向上移 1 层)。

c9528e1dd488402782fbb5022e7ce08c.png

:在虚拟内存地址空间中,栈从高地址向低地址延伸 (即栈顶在下),故往栈顶方向移动是 down

同样地,updown 命令都会打印出移动到的栈层的信息。如果不想让 GDB 打印出信息,可以分别使用 up-silentlydown-silently 代替之。

4. info 命令

在《GDB入门教程之查看变量》一文已经介绍过,使用 info 命令可以查看各种变量的值。

如果希望看到详细的当前栈帧的信息,如函数地址、调用函数的地址、被调用函数的地址、当前函数由哪种编程语言编写、函数参数地址及形参值、局部变量的地址等,可以使用 info frame 命令(缩写形式 i f)。

此外,info args 命令可打印出当前函数的参数名及其形参值;info locals 命令可打印出当前函数中所有局部变量及其值;info catch 命令可打印出当前函数中的异常处理信息。

7b39abcd5368a1c6b3b289a65fdbb56a.png

5.  栈和栈帧

内存栈区 (stack) 由编译器自动分配和释放,用于存放函数的形参值、局部变量的值、函数返回地址等数据,其操作方式与数据结构中的栈一致,都是后进先出的原则。在虚拟内存地址空间中,栈从高地址向低地址延伸。

栈帧 (stack frame) 是编译器用来实现函数调用的一种数据结构,是内存栈区的基本单元。内存栈空间上保持了 N 个栈帧的实体。

所有函数调用均发生在栈上,每个函数的每次调用,都有它自己独立的一个栈帧。寄存器 ebp 指向当前栈帧的底部 (高地址),寄存器 esp 指向当前栈帧的顶部 (低地址)。

以本文使用的递归函数 fibonacci 调用为例,如下图所示,通过 info f 命令可清晰地看到各个栈帧的地址以及由递归调用导致的栈帧切换和依赖关系 (类似图中的 called by frame at 0x7fffffffe4a0, caller of frame at 0x7fffffffe420)。

920a1891b726596becc88579b61975e7.png

扩展阅读: 

1.   GDB入门教程之如何使用GDB启动调试 2.   GDB入门教程之暂停程序 3.   GDB入门教程之查看变量 4.   GDB入门教程之恢复程序执行 下期预告:《GDB入门教程之多线程调试》。

6d4f3df574a69ea4080063323993678d.png

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值