Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 10 Mar 2018 07:57:31 +1100 (EST)
From:      Bruce Evans <brde@optusnet.com.au>
To:        Bruce Evans <brde@optusnet.com.au>
Cc:        John Baldwin <jhb@freebsd.org>, Andriy Gapon <avg@freebsd.org>,  src-committers@freebsd.org, svn-src-all@freebsd.org,  svn-src-head@freebsd.org
Subject:   Re: svn commit: r330338 - head/sys/amd64/amd64
Message-ID:  <20180310074320.S6000@besplex.bde.org>
In-Reply-To: <20180310070452.P5919@besplex.bde.org>
References:  <201803031510.w23FAbeC065867@repo.freebsd.org> <2557369.6nFzd3kAUm@ralph.baldwin.cx> <20180310070452.P5919@besplex.bde.org>

next in thread | previous in thread | raw e-mail | index | archive | help
On Sat, 10 Mar 2018, Bruce Evans wrote:

> On Fri, 9 Mar 2018, John Baldwin wrote:
>> 
>> I think you actually just want to replace Xfast_syscall with
>> fast_syscall_common.  Neither Xfast_syscall nor Xfast_syscall_pti call any
>> functions before jumping to the common label, so when unwinding from a 
>> system
>> call you should always get the common label.  (That is, I think we should
>> remove Xfast_syscall and Xfast_syscall_pti here.  Any stack trace that
>> happens to find those symbols during unwinding won't have a valid SYSCALL
>> frame to unwind.)
>
> No, it needs these symbols to decode the frame after reaching a point where
> the frame is actually set up.
>
> Also, in uncommitted fixes I add some decoding of the non-frame between
> the entry point and when the frame is set up.  Then the frame register
> ...

> Jumps and labels with names inside functions complicate things.  I think
> fast_syscall_common needs to be in the list too, and the many alltraps
> labels should have been there.  This will be more useful with my fix.
> The label calltrap has always been in the list.  This works right since
> the frame has been set up then -- IIRC it is the first place where the
> frame has been set up, and label it more for gdb than for ddb, and decode
> the frame for ddb (presumably gdb decodes the frame too).

Actually, internal labels like alltraps just break finding the entry
point.  Cross-jumping to such labels also breaks finding the entry
point.  The calltrap label is a work around for this problem -- it is
too hard to trace back to the entry point (e.g., Xpage) or even to
alltraps, so the single fake entry point calltrap is used.  Syscalls
and interrupts are more important, or at least easier to handle, so
the problem was avoided for them by not using cross jumps or too many
internal labels (though I don't like unnamed labels).  This is quite
broken for amd64 now.  Cross-jumps also complicate mcounting.  (The
non-traps are easier to handle since they are not multiplexed through
trap().  The multiplexing can be thought of as making all traps enter
at trap() with a trap code giving the trap number, so no label for the
entry point is needed.  The trap code is an arg, so it is printed in
the stack trace on i386.)

Bruce



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20180310074320.S6000>