c++ - 堆叠协程 + gdb = "previous frame inner to this frame (corrupt stack)?"

Question

我正在编写一些代码来调试使用 Boost.Context 的 make_fcontext 和 jump_fcontext 的堆栈协程，但遇到了一个小问题。

通常情况下，不可能回溯超过堆栈协程的条目，因为它在自己的堆栈上执行。这意味着我无法通过调试器确定协程的输入位置。然而，这不是我要问的问题。我已经通过在传递给 make_fcontext 的函数中添加一些内联汇编和 DWARF 字节码解决了这个问题:

__asm__ volatile (
  "mov %[caller_fcontext_t] %[somewhere]\n\t"
  ".cfi_escape /* DWARF bytecode to load caller_fcontext_t from "
  "             * somewhere and use it to load all the registers saved "
  "             * there by jump_fcontest */"
  "call %[another_function]"
  : /* stuff */ : /* stuff */ : /* stuff */)

这确实有效，我现在可以回溯到调用方开始或恢复内部协程的点 - 但只是有时。

事实证明 gdb 有一个“健全性检查”:如果堆栈指针在调用帧之间向“错误”方向移动，gdb 假定堆栈已损坏并停止跟踪并显示消息“Backtrace stopped : 此帧内部的前一帧(损坏的堆栈？)"。

当我的堆栈以特定方式而非以其他方式分配时，会触发此事件。我什至对静态分配的堆栈进行了测试，当以正向顺序使用时会触发此故障，但在以反向顺序使用时则不会。

我什至在此处找到执行此检查的 gdb 源代码部分:https://github.com/bminor/binutils-gdb/blob/master/gdb/frame.c#L737-L816

现在这是我的实际问题:我该如何解决这个问题？

是否有一些我可以写的汇编咒语告诉 GDB“相信我，我知道我在做什么”？

Answer 1

Now here's my actual question: How can I fix this?

Is there some assembly incantation I can write that tells GDB "trust me, I know what I'm doing"?

目前没有办法做到这一点。这将是一个好主意，但可能需要某种 DWARF 扩展。因此，它可能难以实现。

您可以在 gdb 源代码中看到这方面的证据:GCC 有一个涉及 -fsplit-stack 的类似问题，只需将有问题的函数的名称编码到 gdb 中即可解决此问题:

  if (!morestack_name || strcmp (morestack_name, "__morestack") != 0)

个人使用的快速解决方法是注释掉 early return here .