lkml.org 
[lkml]   [2018]   [Oct]   [26]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH v4 3/3] arm64: reliable stacktraces
On Fri, Oct 26, 2018 at 04:21:57PM +0200, Torsten Duwe wrote:
> Enhance the stack unwinder so that it reports whether it had to stop
> normally or due to an error condition; unwind_frame() will report
> continue/error/normal ending and walk_stackframe() will pass that
> info. __save_stack_trace() is used to check the validity of a stack;
> save_stack_trace_tsk_reliable() can now trivially be implemented.
> Modify arch/arm64/kernel/time.c as the only external caller so far
> to recognise the new semantics.
>
> I had to introduce a marker symbol kthread_return_to_user to tell
> the normal origin of a kernel thread.
>
> Signed-off-by: Torsten Duwe <duwe@suse.de>

I haven't looked at the code, but the commit log doesn't inspire much
confidence. It's missing everything I previously asked for in the
powerpc version.

There's zero mention of objtool. What analysis was done to indicate
that we can rely on frame pointers?

Such a frame pointer analysis should be included in the commit log. It
should describe *at least* the following:

- whether inline asm statements with call/branch instructions will
confuse GCC into skipping the frame pointer setup if it considers the
function to be a leaf function;

- whether hand-coded non-leaf assembly functions can accidentally omit
the frame pointer prologue setup;

- whether GCC can generally be relied upon to get arm64 frame pointers
right, in both normal operation and edge cases.


The commit log should also describe whether the unwinder itself can be
considered reliable for all edge cases:

- detection and reporting of preemption and page faults;

- detection and recovery from function graph tracing;

- detection and reporting of other unexpected conditions,
including when the unwinder doesn't reach the end of the stack.

--
Josh

\
 
 \ /
  Last update: 2018-10-26 17:38    [W:0.106 / U:1.496 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site