From: "Chang S. Bae" <chang.seok.bae@intel.com>
To: Chao Gao <chao.gao@intel.com>, Dave Hansen <dave.hansen@intel.com>
Cc: Sean Christopherson <seanjc@google.com>, <x86@kernel.org>,
<linux-kernel@vger.kernel.org>, <kvm@vger.kernel.org>,
<tglx@linutronix.de>, <pbonzini@redhat.com>,
<peterz@infradead.org>, <rick.p.edgecombe@intel.com>,
<weijiang.yang@intel.com>, <john.allen@amd.com>, <bp@alien8.de>,
<xin3.li@intel.com>, Dave Hansen <dave.hansen@linux.intel.com>,
Eric Biggers <ebiggers@google.com>,
"H. Peter Anvin" <hpa@zytor.com>, Ingo Molnar <mingo@redhat.com>,
Kees Cook <kees@kernel.org>, Maxim Levitsky <mlevitsk@redhat.com>,
Mitchell Levy <levymitchell0@gmail.com>,
"Nikolay Borisov" <nik.borisov@suse.com>,
Oleg Nesterov <oleg@redhat.com>,
Sohil Mehta <sohil.mehta@intel.com>,
Stanislav Spassov <stanspas@amazon.de>,
"Vignesh Balasubramanian" <vigbalas@amd.com>
Subject: Re: [PATCH v8 0/6] Introduce CET supervisor state support
Date: Mon, 2 Jun 2025 12:12:51 -0700 [thread overview]
Message-ID: <434810d9-1b36-496d-a10d-41c6c068375e@intel.com> (raw)
In-Reply-To: <aDWbctO/RfTGiCg3@intel.com>
On 5/27/2025 4:01 AM, Chao Gao wrote:
>
> *: https://lore.kernel.org/all/88cb75d3-01b9-38ea-e29f-b8fefb548573@intel.com/
>
> The issue arises because the XFD MSR retains the value (i.e., 0, indicating
> AMX enabled) from the previous process, while both the passed-in fpstate
> (init_fpstate) and the current fpstate have AMX disabled.
>
> To reproduce this issue, compile the kernel with CONFIG_PREEMPT=y, apply the
> attached diff to the amx selftest and run:
>
> # numactl -C 1 ./tools/testing/selftests/x86/amx_64
>
> diff --git a/tools/testing/selftests/x86/amx.c b/tools/testing/selftests/x86/amx.c
> index 40769c16de1b..4d533d1a530d 100644
> --- a/tools/testing/selftests/x86/amx.c
> +++ b/tools/testing/selftests/x86/amx.c
> @@ -430,6 +430,10 @@ static inline void validate_tiledata_regs_changed(struct xsave_buffer *xbuf)
> fatal_error("TILEDATA registers did not change");
> }
>
> +static void dummy_handler(int sig)
> +{
> +}
> +
> /* tiledata inheritance test */
>
> static void test_fork(void)
> @@ -444,6 +448,10 @@ static void test_fork(void)
> /* fork() succeeded. Now in the parent. */
> int status;
>
> + req_xtiledata_perm();
> + load_rand_tiledata(stashed_xsave);
> + while(1);
> +
> wait(&status);
> if (!WIFEXITED(status) || WEXITSTATUS(status))
> fatal_error("fork test child");
> @@ -452,7 +460,9 @@ static void test_fork(void)
> /* fork() succeeded. Now in the child. */
> printf("[RUN]\tCheck tile data inheritance.\n\tBefore fork(), load tiledata\n");
>
> - load_rand_tiledata(stashed_xsave);
> + signal(SIGSEGV, dummy_handler);
> + while(1)
> + raise(SIGSEGV);
>
> grandchild = fork();
> if (grandchild < 0) {
> @@ -500,9 +510,6 @@ int main(void)
>
> test_dynamic_state();
>
> - /* Request permission for the following tests */
> - req_xtiledata_perm();
> -
> test_fork();
>
> /*
The test case creates two processes -- the first uses AMX (task #1), and
the other continuously sends signals without using AMX (task #2).
This leads to task #2 being preempted by task #1.
This behavior aligns with Sean’s report. From my investigation, the
issue appears to have existed for quite some time and is not related to
the changes in this series.
Here’s a summary of my findings:
== Preempt Case ==
To illustrate how the XFD MSR state becomes incorrect in this scenario:
task #1 (fpstate->xfd=0) task #2 (fpstate->xfd=0x80000)
======================== ==============================
handle_signal()
-> setup_rt_frame()
-> get_siframe()
-> copy_fpstate_to_sigframe()
-> fpregs_unlock()
...
...
switch_fpu_return()
-> fpregs_restore_userregs()
-> restore_fpregs_from_fpstate()
-> xfd_write_state()
^ IA32_XFD_MSR = 0
...
...
-> fpu__clear_user_states()
-> fpregs_lock()
-> restore_fpregs_from_init_fpstate()
-> os_rstor()
-> xfd_validate_state()
^ IA32_XFD_MSR != fpstate->xfd
-> fpregs_mark_active()
-> fpregs_unlock()
Since fpu__clear_user_states() marks the FPU state as valid in the end,
an XFD MSR sync-up was clearly missing.
== Return-to-Userspace Path ==
Both tasks at that moment are on the return-to-userspace path, but at
different points in IRQ state:
* task #2 is inside handle_signal() and already re-enabled IRQs.
* task #1 is after IRQ is disabled again when calling
switch_fpu_return().
local_irq_disable_exit_to_user()
exit_to_user_mode_prepare()
-> exit_to_user_mode_loop()
-> local_irq_enable_exit_to_user()
-> arch_do_signal_or_restart()
-> handle_signal()
-> local_irq_disable_exit_to_user()
-> arch_exit_user_mode_prepare()
-> arch_exit_work()
-> switch_fpu_return()
This implies that fpregs_lock()/fpregs_unlock() is necessary inside
handle_signal() when XSAVE instructions are invoked.
But, it should be okay for switch_fpu_return() to call
fpregs_restore_userregs() without fpregs_lock().
== XFD Sanity Checker ==
The XFD sanity checker -- xfd_op_valid() -- correctly caught this issue
in the test case. However, it may have a false negative when AMX usage
was flipped between the two tasks.
Despite that, I don't think extending its coverage is worthwhile, as it
would complicate the logic. The current logic and documentation seem
sound.
== Fix Consideration ==
I think the fix is straightforward: resynchronize the IA32_XFD MSR in
fpu__clear_user_states().
The existing xfd_update_state() function is self-contained and already
performs feature checks and conditional MSR updates. Thus, it is not
necessary to check the TIF_NEED_FPU_LOAD flag for this.
On the other hand, the sigreturn path already performs the XFD resync
introduced by this commit:
672365477ae8a ("x86/fpu: Update XFD state where required")
But I think that change was supposed to cover _both_ signal return and
signal delivery paths. Sorry, it seems I had overlooked the latter
before.
Thanks,
Chang
next prev parent reply other threads:[~2025-06-02 19:13 UTC|newest]
Thread overview: 23+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-05-22 15:10 Chao Gao
2025-05-22 15:10 ` [PATCH v8 1/6] x86/fpu/xstate: Differentiate default features for host and guest FPUs Chao Gao
2025-05-29 20:59 ` John Allen
2025-05-22 15:10 ` [PATCH v8 2/6] x86/fpu: Initialize guest FPU permissions from guest defaults Chao Gao
2025-05-29 21:14 ` John Allen
2025-05-22 15:10 ` [PATCH v8 3/6] x86/fpu: Initialize guest fpstate and FPU pseudo container " Chao Gao
2025-05-29 21:25 ` John Allen
2025-05-22 15:10 ` [PATCH v8 4/6] x86/fpu: Remove xfd argument from __fpstate_reset() Chao Gao
2025-05-29 21:26 ` John Allen
2025-05-22 15:10 ` [PATCH v8 5/6] x86/fpu/xstate: Introduce "guest-only" supervisor xfeature set Chao Gao
2025-05-30 16:04 ` John Allen
2025-05-22 15:10 ` [PATCH v8 6/6] x86/fpu/xstate: Add CET supervisor xfeature support as a guest-only feature Chao Gao
2025-05-30 16:05 ` John Allen
2025-05-23 16:57 ` [PATCH v8 0/6] Introduce CET supervisor state support Sean Christopherson
2025-05-23 17:12 ` Dave Hansen
2025-05-23 17:48 ` Sean Christopherson
2025-05-27 11:01 ` Chao Gao
2025-06-02 19:12 ` Chang S. Bae [this message]
2025-06-03 6:22 ` Chao Gao
2025-06-03 18:32 ` Chang S. Bae
2025-06-04 0:56 ` Chao Gao
2025-06-04 18:45 ` Dave Hansen
2025-06-16 8:08 ` Chao Gao
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=434810d9-1b36-496d-a10d-41c6c068375e@intel.com \
--to=chang.seok.bae@intel.com \
--cc=bp@alien8.de \
--cc=chao.gao@intel.com \
--cc=dave.hansen@intel.com \
--cc=dave.hansen@linux.intel.com \
--cc=ebiggers@google.com \
--cc=hpa@zytor.com \
--cc=john.allen@amd.com \
--cc=kees@kernel.org \
--cc=kvm@vger.kernel.org \
--cc=levymitchell0@gmail.com \
--cc=linux-kernel@vger.kernel.org \
--cc=mingo@redhat.com \
--cc=mlevitsk@redhat.com \
--cc=nik.borisov@suse.com \
--cc=oleg@redhat.com \
--cc=pbonzini@redhat.com \
--cc=peterz@infradead.org \
--cc=rick.p.edgecombe@intel.com \
--cc=seanjc@google.com \
--cc=sohil.mehta@intel.com \
--cc=stanspas@amazon.de \
--cc=tglx@linutronix.de \
--cc=vigbalas@amd.com \
--cc=weijiang.yang@intel.com \
--cc=x86@kernel.org \
--cc=xin3.li@intel.com \
/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
all inboxes | Powered by JetHome®