[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <1475366900.21644.8.camel@redhat.com>
Date: Sat, 01 Oct 2016 20:08:20 -0400
From: Rik van Riel <riel@...hat.com>
To: Andy Lutomirski <luto@...capital.net>
Cc: "linux-kernel@...r.kernel.org" <linux-kernel@...r.kernel.org>,
X86 ML <x86@...nel.org>, Thomas Gleixner <tglx@...utronix.de>,
Paolo Bonzini <pbonzini@...hat.com>,
Ingo Molnar <mingo@...hat.com>,
Andrew Lutomirski <luto@...nel.org>,
"H. Peter Anvin" <hpa@...or.com>,
Dave Hansen <dave.hansen@...ux.intel.com>,
Borislav Petkov <bp@...e.de>
Subject: Re: [PATCH RFC 2/5] x86,fpu: delay FPU register loading until
switch to userspace
On Sat, 2016-10-01 at 16:44 -0700, Andy Lutomirski wrote:
> On Sat, Oct 1, 2016 at 1:31 PM, <riel@...hat.com> wrote:
> >
> > #define CREATE_TRACE_POINTS
> > #include <trace/events/syscalls.h>
> > @@ -197,6 +198,9 @@ __visible inline void
> > prepare_exit_to_usermode(struct pt_regs *regs)
> > if (unlikely(cached_flags & EXIT_TO_USERMODE_LOOP_FLAGS))
> > exit_to_usermode_loop(regs, cached_flags);
> >
> > + if (unlikely(test_and_clear_thread_flag(TIF_LOAD_FPU)))
> > + switch_fpu_return();
> > +
>
> How about:
>
> if (unlikely(...)) {
> exit_to_usermode_loop(regs, cached_flags);
> cached_flags = READ_ONCE(ti->flags);
> }
>
> if (ti->flags & _TIF_LOAD_FPU) {
> clear_thread_flag(TIF_LOAD_FPU);
> switch_fpu_return();
> }
It looks like test_thread_flag should be fine for avoiding
atomics, too?
if (unlikely(test_thread_flag(TIF_LOAD_FPU))) {
clear_thread_flag(TIF_LOAD_FPU);
switch_fpu_return();
}
> > +static inline void switch_fpu_finish(void)
> > {
> > + set_thread_flag(TIF_LOAD_FPU);
> > }
>
> I can imagine this causing problems with kernel code that accesses
> current's FPU state, e.g. get_xsave_field_ptr(). I wonder if it
> would
> make sense to make your changes deeper into the FPU core innards so
> that, for example, we'd have explicit functions that cause the
Whereabouts do you have in mind?
I like your general idea, but am not sure quite where
to put it.
> in-memory state for current to be up-to-date and readable, to cause
> the in-memory state to be up-to-date and writable (which is the same
> thing + TIF_FPU_LOAD + whatever other bookkeeping), and causing the
> in-CPU state to be up-to-date (possibly readable and writable).
> TIF_LOAD_FPU would trigger the latter.
>
> I've often found it confusing that fpu__save by itself has somewhat
> ill-defined effects.
Fully agreed on both. I guess that means we want a few
different functions:
1) initialize FPU state, both in memory and in registers
2) cause FPU state in registers to be updated from memory,
if necessary
3) cause FPU state in memory to be updated from registers,
if necessary
The latter functions could use fpu->fpregs_active to see
whether any action is required, and be called from various
places in the code.
The signal code in particular is doing some strange things
that should probably be hidden away in FPU specific functions.
>
> >
> > +/*
> > + * Set up the userspace FPU context before returning to userspace.
> > + */
> > +void switch_fpu_return(void)
> > +{
> > + struct fpu *fpu = ¤t->thread.fpu;
> > + bool preload;
> > + /*
> > + * If the task has used the math, pre-load the FPU on xsave
> > processors
> > + * or if the past 5 consecutive context-switches used math.
> > + */
> > + preload = static_cpu_has(X86_FEATURE_FPU) &&
> > + fpu->fpstate_active &&
> > + (use_eager_fpu() || fpu->counter > 5);
> > +
> > + if (preload) {
> > + prefetch(&fpu->state);
> > + fpu->counter++;
> > + __fpregs_activate(fpu);
> > + trace_x86_fpu_regs_activated(fpu);
> > +
> > + /* Don't change CR0.TS if we just switch! */
> > + if (!__this_cpu_read(fpu_active)) {
> > + __fpregs_activate_hw();
> > + __this_cpu_write(fpu_active, true);
> > + }
>
> We should just finish getting rid of all TS uses.
Agreed. I will rebase on top of your FPU changes, that
will make things easier for everybody.
--
All Rights Reversed.
Download attachment "signature.asc" of type "application/pgp-signature" (474 bytes)
Powered by blists - more mailing lists