From: Xin Li <xin@zytor.com>
To: linux-kernel@vger.kernel.org
Cc: tglx@linutronix.de, mingo@redhat.com, bp@alien8.de,
dave.hansen@linux.intel.com, x86@kernel.org, hpa@zytor.com,
andrew.cooper3@citrix.com, brgerst@gmail.com,
ebiederm@xmission.com
Subject: Re: [PATCH v4 1/1] x86/ia32: Leave NULL selector values 0~3 as is
Date: Thu, 12 Dec 2024 10:44:01 -0800 [thread overview]
Message-ID: <fa3d0093-818d-4592-8415-3c2e287cc3e6@zytor.com> (raw)
In-Reply-To: <20241126184529.1607334-1-xin@zytor.com>
On 11/26/2024 10:45 AM, Xin Li (Intel) wrote:
> The first GDT descriptor is reserved as 'NULL descriptor'. As bits 0
> and 1 of a segment selector, i.e., the RPL bits, are NOT used to index
> GDT, selector values 0~3 all point to the NULL descriptor, thus values
> 0, 1, 2 and 3 are all valid NULL selector values.
>
> When a NULL selector value is to be loaded into a segment register,
> reload_segments() sets its RPL bits. Later IRET zeros ES, FS, GS, and
> DS segment registers if any of them is found to have any nonzero NULL
> selector value. The two operations offset each other to actually effect
> a nop.
>
> Besides, zeroing of RPL in NULL selector values is an information leak
> in pre-FRED systems as userspace can spot any interrupt/exception by
> loading a nonzero NULL selector, and waiting for it to become zero.
> But there is nothing software can do to prevent it before FRED.
>
> ERETU, the only legit instruction to return to userspace from kernel
> under FRED, by design does NOT zero any segment register to avoid this
> problem behavior.
>
> As such, leave NULL selector values 0~3 as is.
Hi Andrew,
Do you have any more comments?
Thanks!
Xin
>
> Do the same on 32-bit kernel as well.
>
> Signed-off-by: Xin Li (Intel) <xin@zytor.com>
> ---
>
> Changes since v3:
> * Rename usrseg() to fixup_rpl() to match its intent (Andrew Cooper).
> * A few comment improvements (Andrew Cooper).
>
> Changes since v2:
> * No, don't zero non-zero NULL selector values, essentially revert
> to v1 (Andrew Cooper).
>
> Changes since v1:
> * Normalize non-zero NULL selector values to 0 (Eric W. Biederman).
> * Apply the same normalization logic in a 32bit kernel (Eric W.
> Biederman).
> ---
> arch/x86/kernel/signal_32.c | 62 +++++++++++++++++++++++++------------
> 1 file changed, 43 insertions(+), 19 deletions(-)
>
> diff --git a/arch/x86/kernel/signal_32.c b/arch/x86/kernel/signal_32.c
> index ef654530bf5a..1e275268d256 100644
> --- a/arch/x86/kernel/signal_32.c
> +++ b/arch/x86/kernel/signal_32.c
> @@ -33,25 +33,55 @@
> #include <asm/smap.h>
> #include <asm/gsseg.h>
>
> +/*
> + * The first GDT descriptor is reserved as 'NULL descriptor'. As bits 0
> + * and 1 of a segment selector, i.e., the RPL bits, are NOT used to index
> + * GDT, selector values 0~3 all point to the NULL descriptor, thus values
> + * 0, 1, 2 and 3 are all valid NULL selector values.
> + *
> + * However IRET zeros ES, FS, GS, and DS segment registers if any of them
> + * is found to have any nonzero NULL selector value, which can be used by
> + * userspace in pre-FRED systems to spot any interrupt/exception by loading
> + * a nonzero NULL selector and waiting for it to become zero. Before FRED
> + * there is nothing software can do to prevent such an information leak.
> + *
> + * ERETU, the only legit instruction to return to userspace from kernel
> + * under FRED, by design does NOT zero any segment register to avoid this
> + * problem behavior.
> + *
> + * As such, leave NULL selector values 0~3 as is.
> + */
> +static inline u16 fixup_rpl(u16 sel)
> +{
> + return sel <= 3 ? sel : sel | 3;
> +}
> +
> #ifdef CONFIG_IA32_EMULATION
> #include <asm/unistd_32_ia32.h>
>
> static inline void reload_segments(struct sigcontext_32 *sc)
> {
> - unsigned int cur;
> + u16 cur;
>
> + /*
> + * Reload fs and gs if they have changed in the signal
> + * handler. This does not handle long fs/gs base changes in
> + * the handler, but does not clobber them at least in the
> + * normal case.
> + */
> savesegment(gs, cur);
> - if ((sc->gs | 0x03) != cur)
> - load_gs_index(sc->gs | 0x03);
> + if (fixup_rpl(sc->gs) != cur)
> + load_gs_index(fixup_rpl(sc->gs));
> savesegment(fs, cur);
> - if ((sc->fs | 0x03) != cur)
> - loadsegment(fs, sc->fs | 0x03);
> + if (fixup_rpl(sc->fs) != cur)
> + loadsegment(fs, fixup_rpl(sc->fs));
> +
> savesegment(ds, cur);
> - if ((sc->ds | 0x03) != cur)
> - loadsegment(ds, sc->ds | 0x03);
> + if (fixup_rpl(sc->ds) != cur)
> + loadsegment(ds, fixup_rpl(sc->ds));
> savesegment(es, cur);
> - if ((sc->es | 0x03) != cur)
> - loadsegment(es, sc->es | 0x03);
> + if (fixup_rpl(sc->es) != cur)
> + loadsegment(es, fixup_rpl(sc->es));
> }
>
> #define sigset32_t compat_sigset_t
> @@ -105,18 +135,12 @@ static bool ia32_restore_sigcontext(struct pt_regs *regs,
> regs->orig_ax = -1;
>
> #ifdef CONFIG_IA32_EMULATION
> - /*
> - * Reload fs and gs if they have changed in the signal
> - * handler. This does not handle long fs/gs base changes in
> - * the handler, but does not clobber them at least in the
> - * normal case.
> - */
> reload_segments(&sc);
> #else
> - loadsegment(gs, sc.gs);
> - regs->fs = sc.fs;
> - regs->es = sc.es;
> - regs->ds = sc.ds;
> + loadsegment(gs, fixup_rpl(sc.gs));
> + regs->fs = fixup_rpl(sc.fs);
> + regs->es = fixup_rpl(sc.es);
> + regs->ds = fixup_rpl(sc.ds);
> #endif
>
> return fpu__restore_sig(compat_ptr(sc.fpstate), 1);
>
> base-commit: 6ff908de1eafb53f31db75d929b7566a87847d2d
next prev parent reply other threads:[~2024-12-12 18:44 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-11-26 18:45 [PATCH v4 1/1] x86/ia32: Leave NULL selector values 0~3 as is Xin Li (Intel)
2024-12-12 18:44 ` Xin Li [this message]
2025-02-14 6:56 ` Xin Li
2025-02-14 14:01 ` Andrew Cooper
2025-02-19 7:55 ` Xin Li
2025-02-27 21:54 ` [tip: x86/asm] x86/ia32: Leave NULL selector values 0~3 unchanged tip-bot2 for Xin Li (Intel)
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=fa3d0093-818d-4592-8415-3c2e287cc3e6@zytor.com \
--to=xin@zytor.com \
--cc=andrew.cooper3@citrix.com \
--cc=bp@alien8.de \
--cc=brgerst@gmail.com \
--cc=dave.hansen@linux.intel.com \
--cc=ebiederm@xmission.com \
--cc=hpa@zytor.com \
--cc=linux-kernel@vger.kernel.org \
--cc=mingo@redhat.com \
--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