From: Josh Poimboeuf <jpoimboe@redhat.com>
To: Andy Lutomirski <luto@kernel.org>
Cc: Peter Zijlstra <peterz@infradead.org>,
Alexandre Chartre <alexandre.chartre@oracle.com>,
Thomas Gleixner <tglx@linutronix.de>,
LKML <linux-kernel@vger.kernel.org>, X86 ML <x86@kernel.org>,
Masami Hiramatsu <mhiramat@kernel.org>,
Miroslav Benes <mbenes@suse.cz>,
jthierry@redhat.com
Subject: Re: [PATCH v5 02/17] objtool: Better handle IRET
Date: Sat, 18 Apr 2020 12:18:10 -0500 [thread overview]
Message-ID: <20200418171810.n4vcaihdfksltuqg@treble> (raw)
In-Reply-To: <CALCETrU58muwSVDstRJQGEn20aOOHFctzZkxHRGh-yEGR9x1VA@mail.gmail.com>
On Fri, Apr 17, 2020 at 04:53:31PM -0700, Andy Lutomirski wrote:
> I'm wondering if this would be easier if we just moved the guts of
> sync_core() into asm.
>
> In the near future, I think we want to rework it a tiny bit. In
> particular, I think we're going to want to make sync_core() do:
>
> if (static_cpu_has(X86_FEATURE_SERIALIZE))
> asm volatile ("serialize");
> else
> iret_to_self();
>
> where iret_to_self() is the meat of the IRET hack. And then we're
> going to add a new thingy unmask_nmi() that does iret_to_self() on
> everything except SEV-ES. The near-term motivation is that I think we
> have some genuine bugs in a couple of corner cases:
>
> 1. On AMD chips, if NMI hits user code with invalid CS or SS, we will
> enter on the NMI stack, switch to the normal stack, and return with
> IRET, and the IRET will fail. And then we end up in a nasty state in
> which NMIs are masked but the code path we run doesn't expect that.
> So we should unmask_nmi() in fixup_bad_iret() or similar. Intel CPUs
> are unaffected because Intel is differently quirky.
>
> 2. do_nmi() does this:
>
> if (user_mode(regs))
> mds_user_clear_cpu_buffers();
>
> because it can't safely call prepare_exit_to_usermode(). This is a
> gross wart and I'd like to fix it. Fixing it involves teaching the
> relevant code paths to unmask_nmis() if they're going to so IRQs-on
> exit work.
>
> None of this is really relevant to the current patch, but it wouldn't
> be unreasonable to turn the IRET thing from an inline asm into a real
> asm function if it makes objtool's life easier.
I don't think that would make objtool's life any easier -- it still has
to understand the stack impact of the IRET-to-self thing regardless.
--
Josh
next prev parent reply other threads:[~2020-04-18 17:18 UTC|newest]
Thread overview: 64+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-04-16 11:47 [PATCH v5 00/17] objtool: vmlinux.o and noinstr validation Peter Zijlstra
2020-04-16 11:47 ` [PATCH v5 01/17] objtool: Support multiple stack_op per instruction Peter Zijlstra
2020-04-16 11:47 ` [PATCH v5 02/17] objtool: Better handle IRET Peter Zijlstra
2020-04-17 11:29 ` Miroslav Benes
2020-04-17 12:25 ` Peter Zijlstra
2020-04-17 12:35 ` Miroslav Benes
2020-04-17 17:37 ` Alexandre Chartre
2020-04-17 18:23 ` Peter Zijlstra
2020-04-17 23:53 ` Andy Lutomirski
2020-04-18 17:18 ` Josh Poimboeuf [this message]
2020-04-22 22:24 ` [tip: objtool/core] " tip-bot2 for Peter Zijlstra
2020-04-23 7:49 ` tip-bot2 for Peter Zijlstra
2020-04-16 11:47 ` [PATCH v5 03/17] objtool: Introduce HINT_RET_OFFSET Peter Zijlstra
2020-04-22 22:24 ` [tip: objtool/core] " tip-bot2 for Peter Zijlstra
2020-04-23 7:49 ` tip-bot2 for Peter Zijlstra
2020-04-16 11:47 ` [PATCH v5 04/17] x86,ftrace: Fix ftrace_regs_caller() unwind Peter Zijlstra
2020-04-17 19:24 ` Alexandre Chartre
2020-04-22 0:33 ` Steven Rostedt
2020-04-22 9:44 ` Peter Zijlstra
2020-04-22 13:33 ` Steven Rostedt
2020-04-22 20:20 ` Steven Rostedt
2020-04-22 22:24 ` [tip: objtool/core] " tip-bot2 for Peter Zijlstra
2020-04-23 7:49 ` tip-bot2 for Peter Zijlstra
2020-04-16 11:47 ` [PATCH v5 05/17] x86,ftrace: Use SIZEOF_PTREGS Peter Zijlstra
2020-04-22 22:24 ` [tip: objtool/core] " tip-bot2 for Peter Zijlstra
2020-04-23 7:49 ` tip-bot2 for Peter Zijlstra
2020-04-16 11:47 ` [PATCH v5 06/17] x86,ftrace: Shrink ftrace_regs_caller() by one byte Peter Zijlstra
2020-04-22 22:24 ` [tip: objtool/core] " tip-bot2 for Peter Zijlstra
2020-04-23 7:49 ` tip-bot2 for Peter Zijlstra
2020-04-16 11:47 ` [PATCH v5 07/17] objtool: Remove SAVE/RESTORE hints Peter Zijlstra
2020-04-22 22:24 ` [tip: objtool/core] " tip-bot2 for Peter Zijlstra
2020-04-23 7:49 ` tip-bot2 for Peter Zijlstra
2020-04-16 11:47 ` [PATCH v5 08/17] objtool: Rename struct cfi_state Peter Zijlstra
2020-04-22 22:24 ` [tip: objtool/core] " tip-bot2 for Peter Zijlstra
2020-04-23 7:49 ` tip-bot2 for Peter Zijlstra
2020-04-16 11:47 ` [PATCH v5 09/17] objtool: Fix !CFI insn_state propagation Peter Zijlstra
2020-04-22 22:24 ` [tip: objtool/core] " tip-bot2 for Peter Zijlstra
2020-04-23 7:49 ` tip-bot2 for Peter Zijlstra
2020-04-16 11:47 ` [PATCH v5 10/17] objtool: Implement noinstr validation Peter Zijlstra
2020-04-22 22:24 ` [tip: objtool/core] " tip-bot2 for Peter Zijlstra
2020-04-23 7:49 ` tip-bot2 for Peter Zijlstra
2020-04-16 11:47 ` [PATCH v5 11/17] objtool: Optimize !vmlinux.o again Peter Zijlstra
2020-04-22 22:24 ` [tip: objtool/core] " tip-bot2 for Peter Zijlstra
2020-04-23 7:49 ` tip-bot2 for Peter Zijlstra
2020-04-16 11:47 ` [PATCH v5 12/17] objtool: Use sec_offset_hash() for insn_hash Peter Zijlstra
2020-04-22 22:24 ` [tip: objtool/core] " tip-bot2 for Peter Zijlstra
2020-04-23 7:49 ` tip-bot2 for Peter Zijlstra
2020-04-16 11:47 ` [PATCH v5 13/17] kbuild/objtool: Add objtool-vmlinux.o pass Peter Zijlstra
2020-04-22 22:24 ` [tip: objtool/core] " tip-bot2 for Peter Zijlstra
2020-04-23 7:49 ` tip-bot2 for Peter Zijlstra
2020-04-16 11:47 ` [PATCH v5 14/17] objtool: Avoid iterating !text section symbols Peter Zijlstra
2020-04-22 22:24 ` [tip: objtool/core] " tip-bot2 for Peter Zijlstra
2020-04-23 7:49 ` tip-bot2 for Peter Zijlstra
2020-04-16 11:47 ` [PATCH v5 15/17] objtool: Rearrange validate_section() Peter Zijlstra
2020-04-22 22:24 ` [tip: objtool/core] " tip-bot2 for Peter Zijlstra
2020-04-23 7:49 ` tip-bot2 for Peter Zijlstra
2020-04-16 11:47 ` [PATCH v5 16/17] objtool: Add STT_NOTYPE noinstr validation Peter Zijlstra
2020-04-22 22:24 ` [tip: objtool/core] " tip-bot2 for Peter Zijlstra
2020-04-23 7:49 ` tip-bot2 for Peter Zijlstra
2020-04-16 11:47 ` [PATCH v5 17/17] objtool: Also consider .entry.text as noinstr Peter Zijlstra
2020-04-22 22:24 ` [tip: objtool/core] " tip-bot2 for Thomas Gleixner
2020-04-23 7:49 ` tip-bot2 for Thomas Gleixner
2020-04-17 12:33 ` [PATCH v5 00/17] objtool: vmlinux.o and noinstr validation Miroslav Benes
2020-04-17 20:22 ` Alexandre Chartre
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20200418171810.n4vcaihdfksltuqg@treble \
--to=jpoimboe@redhat.com \
--cc=alexandre.chartre@oracle.com \
--cc=jthierry@redhat.com \
--cc=linux-kernel@vger.kernel.org \
--cc=luto@kernel.org \
--cc=mbenes@suse.cz \
--cc=mhiramat@kernel.org \
--cc=peterz@infradead.org \
--cc=tglx@linutronix.de \
--cc=x86@kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).