The Linux Kernel Mailing List
 help / color / mirror / Atom feed
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


  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