Redian新闻
>
GDB 调试器如何通过调用帧信息来确定函数调用关系 | Linux 中国

GDB 调试器如何通过调用帧信息来确定函数调用关系 | Linux 中国

科技
 
导读:从调试器中获取函数调用关系。                                               
本文字数:8252,阅读时长大约:11分钟

从调试器中获取函数调用关系。

在我的 上一篇文章🔗 opensource.com 中,我展示了如何使用 debuginfo 在当前指令指针(IP)和包含它的函数或行之间进行映射。该信息对于显示 CPU 当前正在执行的代码很有帮助。不过,如果能显示更多的有关当前函数调用栈及其正在执行语句的上下文对我们定位问题来说也是十分有助的。

例如,将空指针作为参数传递到函数中而导致非法内存访问的问题,只需查看当前执行函数行,即可发现该错误是由尝试通过空指针进行访问而触发的。但是,你真正想知道的是导致空指针访问的函数调用的完整上下文,以便确定该空指针最初是如何传递到该函数中的。此上下文信息由回溯提供,可以让你确定哪些函数可能对空指针参数负责。

有一点是肯定的:确定当前活动的函数调用栈不是一项简单的操作。

函数激活记录

现代编程语言具有局部变量,并允许函数可以调用自身的递归。此外,并发程序具有多个线程,这些线程可能同时运行相同的函数。在这些情况下,局部变量不能存储在全局位置。对于函数的每次调用,局部变量的位置必须是唯一的。它的工作原理如下:

◈ 每次调用函数时,编译器都会生成函数激活记录,以将局部变量存储在唯一位置。
◈ 为了提高效率,处理器堆栈用于存储函数激活记录。
◈ 当函数被调用时,会在处理器堆栈的顶部为该函数创建一条新的函数激活记录。
◈ 如果该函数调用另一个函数,则新的函数激活记录将放置在现有函数激活记录之上。
◈ 每次函数返回时,其函数激活记录都会从堆栈中删除。

函数激活记录的创建是由函数中称为“序言(prologue)”的代码创建的。函数激活记录的删除由函数“尾声(epilogue)”处理。函数体可以利用堆栈上为其预留的内存来存储临时值和局部变量。

函数激活记录的大小可以是可变的。对于某些函数,不需要空间来存储局部变量。理想情况下,函数激活记录只需要存储调用  函数的函数的返回地址。对于其他函数,除了返回地址之外,可能还需要大量空间来存储函数的本地数据结构。帧大小的可变导致编译器使用帧指针来跟踪函数激活帧的开始。函数序言代码具有在为当前函数创建新帧指针之前存储旧帧指针的额外任务,并且函数尾声必须恢复旧帧指针值。

函数激活记录的布局方式、调用函数的返回地址和旧帧指针是相对于当前帧指针的恒定偏移量。通过旧的帧指针,可以定位堆栈上下一个函数的激活帧。重复此过程,直到检查完所有函数激活记录为止。

优化复杂性

在代码中使用显式帧指针有几个缺点。在某些处理器上,可用的寄存器相对较少。具有显式帧指针会导致使用更多内存操作。生成的代码速度较慢,因为帧指针必须位于寄存器中。具有显式帧指针可能会限制编译器可以生成的代码,因为编译器可能不会将函数序言和尾声代码与函数体混合。

编译器的目标是尽可能生成快速代码,因此编译器通常会从生成的代码中省略帧指针。正如 Phoronix 的基准测试🔗 www.phoronix.com 所示,保留帧指针会显着降低性能。不过省略帧指针也有缺点,查找前一个调用函数的激活帧和返回地址不再是相对于帧指针的简单偏移。

调用帧信息

为了帮助生成函数回溯,编译器包含 DWARF 调用帧信息(CFI)来重建帧指针并查找返回地址。此补充信息存储在执行的 .eh_frame 部分中。与传统的函数和行位置信息的 debuginfo 不同,即使生成的可执行文件没有调试信息,或者调试信息已从文件中删除,.eh_frame 部分也位于可执行文件中。 调用帧信息对于 C++ 中的 throw-catch 等语言结构的操作至关重要。

CFI 的每个功能都有一个帧描述条目(FDE)。作为其步骤之一,回溯生成过程为当前正在检查的激活帧找到适当的 FDE。将 FDE 视为一张表,每一行代表一个或多个指令,并具有以下列:

◈ 规范帧地址(CFA),帧指针指向的位置
◈ 返回地址
◈ 有关其他寄存器的信息

FDE 的编码旨在最大限度地减少所需的空间量。FDE 描述了行之间的变化,而不是完全指定每一行。为了进一步压缩数据,多个 FDE 共有的起始信息被分解出来并放置在通用信息条目(CIE)中。 这使得 FDE 更加紧凑,但也需要更多的工作来计算实际的 CFA 并找到返回地址位置。该工具必须从未初始化状态启动。它逐步遍历 CIE 中的条目以获取函数条目的初始状态,然后从 FDE 的第一个条目开始继续处理 FDE,并处理操作,直到到达覆盖当前正在分析的指令指针的行。

调用帧信息使用实例

从一个简单的示例开始,其中包含将华氏温度转换为摄氏度的函数。 内联函数在 CFI 中没有条目,因此 f2c 函数的 __attribute__((noinline)) 确保编译器将 f2c 保留为真实函数。

  1. #include <stdio.h>
  2. int __attribute__ ((noinline)) f2c(int f)
  3. {
  4. int c;
  5. printf("converting\n");
  6. c = (f-32.0) * 5.0 /9.0;
  7. return c;
  8. }
  9. int main (int argc, char *argv[])
  10. {
  11. int f;
  12. scanf("%d", &f);
  13. printf ("%d Fahrenheit = %d Celsius\n",
  14. f, f2c(f));
  15. return 0;
  16. }

编译代码:

  1. $ gcc -O2 -g -o f2c f2c.c

.eh_frame 部分展示如下:

  1. $ eu-readelf -S f2c |grep eh_frame
  2. [17] .eh_frame_hdr PROGBITS 0000000000402058 00002058 00000034 0 A 0 0 4
  3. [18] .eh_frame PROGBITS 0000000000402090 00002090 000000a0 0 A 0 0 8

我们可以通过以下方式获取 CFI 信息:

  1. $ readelf --debug-dump=frames f2c > f2c.cfi

生成 f2c 可执行文件的反汇编代码,这样你可以查找 f2c 和 main 函数:

  1. $ objdump -d f2c > f2c.dis

在 f2c.dis 中找到以下信息来看看 f2c 和 main 函数的执行位置:

  1. 0000000000401060 <main>:
  2. 0000000000401190 <f2c>:

在许多情况下,二进制文件中的所有函数在执行函数的第一条指令之前都使用相同的 CIE 来定义初始条件。 在此示例中, f2c 和 main 都使用以下 CIE:

  1. 00000000 0000000000000014 00000000 CIE
  2. Version: 1
  3. Augmentation: "zR"
  4. Code alignment factor: 1
  5. Data alignment factor: -8
  6. Return address column: 16
  7. Augmentation data: 1b
  8. DW_CFA_def_cfa: r7 (rsp) ofs 8
  9. DW_CFA_offset: r16 (rip) at cfa-8
  10. DW_CFA_nop
  11. DW_CFA_nop

本示例中,不必担心增强或增强数据条目。由于 x86_64 处理器具有 1 到 15 字节大小的可变长度指令,因此 “代码对齐因子” 设置为 1。在只有 32 位(4 字节指令)的处理器上,“代码对齐因子” 设置为 4,并且允许对一行状态信息适用的字节数进行更紧凑的编码。类似地,还有 “数据对齐因子” 来使 CFA 所在位置的调整更加紧凑。在 x86_64 上,堆栈槽的大小为 8 个字节。

虚拟表中保存返回地址的列是 16。这在 CIE 尾部的指令中使用。 有四个 DW_CFA 指令。第一条指令 DW_CFA_def_cfa 描述了如果代码具有帧指针,如何计算帧指针将指向的规范帧地址(CFA)。 在这种情况下,CFA 是根据 r7 (rsp) 和 CFA=rsp+8 计算的。

第二条指令 DW_CFA_offset 定义从哪里获取返回地址 CFA-8 。在这种情况下,返回地址当前由堆栈指针 (rsp+8)-8 指向。CFA 从堆栈返回地址的正上方开始。

CIE 末尾的 DW_CFA_nop 进行填充以保持 DWARF 信息的对齐。 FDE 还可以在末尾添加填充以进行对齐。

在 f2c.cfi 中找到 main 的 FDE,它涵盖了从 0x40160 到(但不包括)0x401097 的 main 函数:

  1. 00000084 0000000000000014 00000088 FDE cie=00000000 pc=0000000000401060..0000000000401097
  2. DW_CFA_advance_loc: 4 to 0000000000401064
  3. DW_CFA_def_cfa_offset: 32
  4. DW_CFA_advance_loc: 50 to 0000000000401096
  5. DW_CFA_def_cfa_offset: 8
  6. DW_CFA_nop

在执行函数中的第一条指令之前,CIE 描述调用帧状态。然而,当处理器执行函数中的指令时,细节将会改变。 首先,指令 DW_CFA_advance_loc 和 DW_CFA_def_cfa_offset 与 main 中 401060 处的第一条指令匹配。 这会将堆栈指针向下调整 0x18(24 个字节)。 CFA 没有改变位置,但堆栈指针改变了,因此 CFA 在 401064 处的正确计算是 rsp+32。 这就是这段代码中序言指令的范围。 以下是 main 中的前几条指令:

  1. 0000000000401060 <main>:
  2. 401060: 48 83 ec 18 sub $0x18,%rsp
  3. 401064: bf 1b 20 40 00 mov $0x40201b,%edi

DW_CFA_advance_loc 使当前行应用于函数中接下来的 50 个字节的代码,直到 401096。CFA 位于 rsp+32,直到 401092 处的堆栈调整指令完成执行。DW_CFA_def_cfa_offset 将 CFA 的计算更新为与函数入口相同。这是预期之中的,因为 401096 处的下一条指令是返回指令 ret,并将返回值从堆栈中弹出。

  1. 401090: 31 c0 xor %eax,%eax
  2. 401092: 48 83 c4 18 add $0x18,%rsp
  3. 401096: c3 ret

f2c 函数的 FDE 使用与 main 函数相同的 CIE,并覆盖 0x41190 到 0x4011c3 的范围:

  1. 00000068 0000000000000018 0000006c FDE cie=00000000 pc=0000000000401190..00000000004011c3
  2. DW_CFA_advance_loc: 1 to 0000000000401191
  3. DW_CFA_def_cfa_offset: 16
  4. DW_CFA_offset: r3 (rbx) at cfa-16
  5. DW_CFA_advance_loc: 29 to 00000000004011ae
  6. DW_CFA_def_cfa_offset: 8
  7. DW_CFA_nop
  8. DW_CFA_nop
  9. DW_CFA_nop

可执行文件中 f2c 函数的 objdump 输出:

  1. 0000000000401190 <f2c>:
  2. 401190: 53 push %rbx
  3. 401191: 89 fb mov %edi,%ebx
  4. 401193: bf 10 20 40 00 mov $0x402010,%edi
  5. 401198: e8 93 fe ff ff call 401030 <puts@plt>
  6. 40119d: 66 0f ef c0 pxor %xmm0,%xmm0
  7. 4011a1: f2 0f 2a c3 cvtsi2sd %ebx,%xmm0
  8. 4011a5: f2 0f 5c 05 93 0e 00 subsd 0xe93(%rip),%xmm0 # 402040 <__dso_handle+0x38>
  9. 4011ac: 00
  10. 4011ad: 5b pop %rbx
  11. 4011ae: f2 0f 59 05 92 0e 00 mulsd 0xe92(%rip),%xmm0 # 402048 <__dso_handle+0x40>
  12. 4011b5: 00
  13. 4011b6: f2 0f 5e 05 92 0e 00 divsd 0xe92(%rip),%xmm0 # 402050 <__dso_handle+0x48>
  14. 4011bd: 00
  15. 4011be: f2 0f 2c c0 cvttsd2si %xmm0,%eax
  16. 4011c2: c3 ret

在 f2c 的 FDE 中,函数开头有一个带有 DW_CFA_advance_loc 的单字节指令。在高级操作之后,还有两个附加操作。DW_CFA_def_cfa_offset 将 CFA 更改为 %rsp+16DW_CFA_offset 表示 %rbx 中的初始值现在位于 CFA-16(堆栈顶部)。

查看这个 fc2 反汇编代码,可以看到 push 用于将 %rbx 保存到堆栈中。 在代码生成中省略帧指针的优点之一是可以使用 push 和 pop 等紧凑指令在堆栈中存储和检索值。 在这种情况下,保存 %rbx 是因为 %rbx 用于向 printf 函数传递参数(实际上转换为 puts 调用),但需要保存传递到函数中的 f 初始值以供后面的计算使用。4011ae 的 DW_CFA_advance_loc 29字节显示了 pop %rbx 之后的下一个状态变化,它恢复了 %rbx 的原始值。 DW_CFA_def_cfa_offset 指出 pop 将 CFA 更改为 %rsp+8

GDB 使用调用帧信息

有了 CFI 信息,GNU 调试器(GDB)🔗 opensource.com 和其他工具就可以生成准确的回溯。如果没有 CFI 信息,GDB 将很难找到返回地址。如果在 f2c.c 的第 7 行设置断点,可以看到 GDB 使用此信息。GDB在 f2c 函数中的 pop %rbx 完成且返回值不在栈顶之前放置了断点。

GDB 能够展开堆栈,并且作为额外收获还能够获取当前保存在堆栈上的参数 f

  1. $ gdb f2c
  2. [...]
  3. (gdb) break f2c.c:7
  4. Breakpoint 1 at 0x40119d: file f2c.c, line 7.
  5. (gdb) run
  6. Starting program: /home/wcohen/present/202207youarehere/f2c
  7. [Thread debugging using libthread_db enabled]
  8. Using host libthread_db library "/lib64/libthread_db.so.1".
  9. 98
  10. converting
  11. Breakpoint 1, f2c (f=98) at f2c.c:8
  12. 8 return c;
  13. (gdb) where
  14. #0 f2c (f=98) at f2c.c:8
  15. #1 0x000000000040107e in main (argc=<optimized out>, argv=<optimized out>)
  16. at f2c.c:15

调用帧信息

DWARF 调用帧信息为编译器提供了一种灵活的方式来包含用于准确展开堆栈的信息。这使得可以确定当前活动的函数调用。我在本文中提供了简要介绍,但有关 DWARF 如何实现此机制的更多详细信息,请参阅 DWARF 规范🔗 dwarfstd.org

(题图:MJ/4004d7c7-8407-40bd-8aa8-92404601dba0)


via: https://opensource.com/article/23/3/gdb-debugger-call-frame-active-function-calls

作者:Will Cohen 选题:lkxed 译者:jrglinux 校对:wxy

本文由 LCTT 原创编译,Linux中国 荣誉推出

LCTT 译者 :jrg
🌟🌟🌟
翻译: 14.0 篇
|
贡献: 2068 天
2017-11-22
2023-07-22
https://linux.cn/lctt/jrglinux
欢迎遵照 CC-BY-SA 协议规定转载,
如需转载,请在文章下留言 “转载:公众号名称”,
我们将为您添加白名单,授权“转载文章时可以修改”。


微信扫码关注该文公众号作者

戳这里提交新闻线索和高质量文章给我们。
相关阅读
OpenAI更新GPT-4等模型,新增API函数调用,价格最高降75%OpenAI重磅更新,又变强了!API有了恐怖的函数调用能力,能处理更长上下文,价格还又降了75%!Reminders:一个漂亮的开源 Linux 应用,可帮助你完成工作 | Linux 中国​ChatGPT大升级!更便宜,更快,允许更长文本,最重磅的是“调用函数”OpenAI API 功能升级:ChatGPT 支持描述函数调用Der Maechtige Strom巨流河Large函数还可以这样玩?这个90%的人不知道的统计函数也太牛了!使用 Linux 让旧电脑焕发新颜 | Linux 中国如何在 Linux 中映射 SAN LUN、磁盘和文件系统 | Linux 中国超越 Bash: 9 个不太知名的 Linux Shell 及其功能 | Linux 中国分布式PostgreSQL基准测试:Azure Cosmos DB、CockroachDB和YugabyteDBESC中国之声丨FUNDC1通过调控线粒体与内质网接触点恢复自噬流以减轻阿霉素诱导的心肌毒性如何在 Linux 中查找映射到 VxVM 磁盘的 SAN LUN | Linux 中国Rust 基础系列 #5: Rust 中的函数 | Linux 中国Kali Linux 简介:你需要了解的一切 | Linux 中国春游Yorkshire四首如何在 Linux 中注释 PDF | Linux 中国5 个最漂亮的 Arch Linux 发行版 | Linux 中国ChatGPT升级+降价!增加函数调用能力、支持处理更长上下文...Linux 如何挽救老旧电脑(和地球) | Linux 中国10 个最佳 Linux 虚拟化软件 | Linux 中国Linux内核的经典调试方式Bash 基础知识系列 #9:Bash 中的函数 | Linux 中国加州民主党新法案:法官量刑要根据肤色来确定,深肤的轻刑,浅肤的重刑,以“纠正种族偏见”Linux 内核的经典调试方式如何在 Linux 中扩展 Veritas 文件系统(VxFS) | Linux 中国抒发《花尾渡》(小说) 第十章 万贯家财总有源GPT-4调用插件40次都没成功,果断放弃,无效调用、拒绝回答时有发生如何在 Linux 主机和 KVM 中的 Windows 客户机之间共享文件夹 | Linux 中国如何在 Ubuntu 和其他 Linux 发行版中查看 AVIF 图像 | Linux 中国R 语言 stats 包中的函数 | Linux 中国Cancer Research | 郑晓峰揭示SUMO化修饰通过调控液-液相分离来影响NHEJ修复效率和肿瘤细胞耐药的分子机制沪语歌你好,我是筚(bì)篥( lì)!
logo
联系我们隐私协议©2024 redian.news
Redian新闻
Redian.news刊载任何文章,不代表同意其说法或描述,仅为提供更多信息,也不构成任何建议。文章信息的合法性及真实性由其作者负责,与Redian.news及其运营公司无关。欢迎投稿,如发现稿件侵权,或作者不愿在本网发表文章,请版权拥有者通知本网处理。