[lldb-dev] Signal stack unwinding and __kernel_rt_sigreturn

Greg Clayton via lldb-dev lldb-dev at lists.llvm.org
Fri Jul 12 14:04:52 PDT 2019



> On Jun 21, 2019, at 1:24 PM, Joseph Tremoulet via lldb-dev <lldb-dev at lists.llvm.org> wrote:
> 
> Hi,
>  
> I'm trying to use lldb in a project where I need to report stack traces from signal handlers, and need to do so on aarch64 Linux.  Even for "synchronous" signal handling, I'm hitting a couple issues preventing this from working "out of the box":
> 1 - The platform signal handler trampoline function on the stack is __kernel_rt_sigreturn, not sigtramp.  I'm wondering if it's ok to just add __kernel_rt_sigreturn to the list of trap handler symbol names in PlatformLinux, or if I need to include it in "UserSpecifiedTrapHandlerFunctionNames", or something else

If this is a linux kernel issue where the function can be either or both "sigtramp" or "__kernel_rt_sigreturn" and everything else behaves correctly this is fine.

> 2 - When the user handler is invoked, its return address is set to the very first byte of __kernel_rt_sigreturn, which throws off unwinding because we assume that frame must really be at a call in the preceding function.  I asked about this on IRC, where Jan Kratochvil mentioned that the decrement shouldn't happen for frames with S in the eh_frame's augmentation.  I've verified that __kernel_rt_sigreturn indeed has the S.  I'm not sure where I'd find official documentation about that, but the DWARF Standards Committee's wiki[1] does link to Ian Lance Taylor's blog[2] which says "The character ā€˜Sā€™ in the augmentation string means that this CIE represents a stack frame for the invocation of a signal handler. When unwinding the stack, signal stack frames are handled slightly differently: the instruction pointer is assumed to be before the next instruction to execute rather than after it."  So I'm interested in encoding that knowledge in LLDB, but not sure architecturally whether it would be more appropriate to dig into the eh_frame record earlier, or to just have this be a property of symbols flagged as trap handlers, or something else.

If we have hints that unwinding should not backup the PC, then this is fine to use. We need the ability to indicate that a lldb_private::StackFrame frame behaves like frame zero even when it is in the middle. I believe the code for sigtramp already does this somehow. I CC'ed Jason Molenda so he can chime in.


> I'd very much appreciate any feedback on this.  I've put up a patch[3] on Phab with a testcase that demonstrates the issue (on aarch64 linux) and an implementation of the low-churn "communicate this in the trap handler symbol list" approach.
>  
> Thanks,
> -Joseph
>  
> [1] - http://wiki.dwarfstd.org/index.php?title=Exception_Handling <http://wiki.dwarfstd.org/index.php?title=Exception_Handling>
> [2] - https://www.airs.com/blog/archives/460 <https://www.airs.com/blog/archives/460>
> [3] - https://reviews.llvm.org/D63667 <https://reviews.llvm.org/D63667>
>  
> _______________________________________________
> lldb-dev mailing list
> lldb-dev at lists.llvm.org <mailto:lldb-dev at lists.llvm.org>
> https://lists.llvm.org/cgi-bin/mailman/listinfo/lldb-dev <https://lists.llvm.org/cgi-bin/mailman/listinfo/lldb-dev>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/lldb-dev/attachments/20190712/2810cffb/attachment-0001.html>


More information about the lldb-dev mailing list