[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <alpine.DEB.2.21.1903251003090.1798@nanos.tec.linutronix.de>
Date: Mon, 25 Mar 2019 10:44:04 +0100 (CET)
From: Thomas Gleixner <tglx@...utronix.de>
To: "Chang S. Bae" <chang.seok.bae@...el.com>
cc: Ingo Molnar <mingo@...nel.org>, Andy Lutomirski <luto@...nel.org>,
"H . Peter Anvin" <hpa@...or.com>, Andi Kleen <ak@...ux.intel.com>,
Ravi Shankar <ravi.v.shankar@...el.com>,
LKML <linux-kernel@...r.kernel.org>,
Dave Hansen <dave.hansen@...ux.intel.com>
Subject: Re: [RESEND PATCH v6 08/12] x86/fsgsbase/64: Use the per-CPU base
as GSBASE at the paranoid_entry
On Fri, 15 Mar 2019, Chang S. Bae wrote:
> The FSGSBASE instructions allow fast accesses on GSBASE. Now, at the
> paranoid_entry, the per-CPU base value can be always copied to GSBASE.
> And the original GSBASE value will be restored at the exit.
Again you are describing WHAT but not the WHY.
> So far, GSBASE modification has not been directly allowed from userspace.
> So, swapping GSBASE has been conditionally executed according to the
> kernel-enforced convention that a negative GSBASE indicates a kernel value.
> But when FSGSBASE is enabled, userspace can put an arbitrary value in
> GSBASE. The change will secure a correct GSBASE value with FSGSBASE.
So that's some WHY, but it should be explained _BEFORE_ explaining the
change. This changelog style is as bad as top posting. Why?
1) FSGSBASE is fast
2) Copy GSBASE always on paranoid exit and restore on entry
3) Explain the context
No. You want to explain context first and then explain why this needs a
change when FSGSBASE is enabled and how that change looks like at the
conceptual level.
> Also, factor out the RDMSR-based GSBASE read into a new macro,
> READ_MSR_GSBASE.
This new macro is related to this change in what way? None AFAICT. I'm fine
with the macro itself, but the benefit for a single usage site is dubious.
Adding this macro and using it should be done with a separate patch before
this one, so this patch becomes simpler to review.
> /*
> @@ -1178,9 +1185,38 @@ ENTRY(paranoid_entry)
> * This is also why CS (stashed in the "iret frame" by the
> * hardware at entry) can not be used: this may be a return
> * to kernel code, but with a user CR3 value.
> + *
> + * As long as this PTI macro doesn't depend on kernel GSBASE,
> + * we can do it early. This is because FIND_PERCPU_BASE
> + * references data in kernel space.
It's not about 'can do it early'. The FSGSBASE handling requires that the
kernel page tables are switched in.
And for review and bisectability sake moving the CR3 switch in front of the
GS handling should be done as a separate preparatory patch.
> */
> SAVE_AND_SWITCH_TO_KERNEL_CR3 scratch_reg=%rax save_reg=%r14
>
> + /*
> + * Read GSBASE by RDGSBASE. Kernel GSBASE is found
> + * from the per-CPU offset table with a CPU NR.
That CPU NR comes out of thin air, right? This code is complex enough by
itself and does not need further confusion by comments which need a crystal
ball for decoding.
> + */
Sigh. I can't see how that comment explains the ALTERNATIVE jump.
> + ALTERNATIVE "jmp .Lparanoid_entry_no_fsgsbase", "",\
> + X86_FEATURE_FSGSBASE
Please separate the above from the below with a new line for readability
sake.
> + rdgsbase %rbx
> + FIND_PERCPU_BASE %rax
> + wrgsbase %rax
So this really should be wrapped in a macro like:
SAVE_AND_SET_GSBASE %rbx, %rax
which makes it entirely clear what this is about.
> + ret
> +
> @@ -1194,12 +1230,21 @@ END(paranoid_entry)
> * be complicated. Fortunately, we there's no good reason
> * to try to handle preemption here.
> *
> - * On entry, ebx is "no swapgs" flag (1: don't need swapgs, 0: need it)
> + * On entry,
> + * With FSGSBASE,
> + * %rbx is original GSBASE that needs to be restored on the exit
> + * Without that,
> + * %ebx is "no swapgs" flag (1: don't need swapgs, 0: need it)
> */
> ENTRY(paranoid_exit)
> UNWIND_HINT_REGS
> DISABLE_INTERRUPTS(CLBR_ANY)
> TRACE_IRQS_OFF_DEBUG
> + ALTERNATIVE "jmp .Lparanoid_exit_no_fsgsbase", "nop",\
> + X86_FEATURE_FSGSBASE
> + wrgsbase %rbx
> + jmp .Lparanoid_exit_no_swapgs;
Again. A few newlines would make it more readable.
This modifies the semantics of paranoid_entry and paranoid_exit. Looking at
the usage sites there is the following code in the nmi maze:
/*
* Use paranoid_entry to handle SWAPGS, but no need to use paranoid_exit
* as we should not be calling schedule in NMI context.
* Even with normal interrupts enabled. An NMI should not be
* setting NEED_RESCHED or anything that normal interrupts and
* exceptions might do.
*/
call paranoid_entry
UNWIND_HINT_REGS
/* paranoidentry do_nmi, 0; without TRACE_IRQS_OFF */
movq %rsp, %rdi
movq $-1, %rsi
call do_nmi
/* Always restore stashed CR3 value (see paranoid_entry) */
RESTORE_CR3 scratch_reg=%r15 save_reg=%r14
testl %ebx, %ebx /* swapgs needed? */
jnz nmi_restore
nmi_swapgs:
SWAPGS_UNSAFE_STACK
nmi_restore:
POP_REGS
I might be missing something, but how is that supposed to work when
paranoid_entry uses FSGSBASE? I think it's broken, but if it's not then
there is a big fat comment missing explaining why.
Thanks,
tglx
Powered by blists - more mailing lists