From: Ingo Molnar <mingo@kernel.org>
To: Eric Biggers <ebiggers@kernel.org>
Cc: x86@kernel.org, linux-crypto@vger.kernel.org,
linux-kernel@vger.kernel.org, Ard Biesheuvel <ardb@kernel.org>,
Ben Greear <greearb@candelatech.com>,
Xiao Liang <shaw.leon@gmail.com>,
Thomas Gleixner <tglx@linutronix.de>,
Ingo Molnar <mingo@redhat.com>, Borislav Petkov <bp@alien8.de>,
Dave Hansen <dave.hansen@linux.intel.com>,
Andy Lutomirski <luto@kernel.org>,
"Jason A . Donenfeld" <Jason@zx2c4.com>
Subject: Re: [RFC PATCH v2] x86/fpu: make kernel-mode FPU reliably usable in softirqs
Date: Wed, 5 Mar 2025 10:07:45 +0100 [thread overview]
Message-ID: <Z8gUYamgBr4M5ZaB@gmail.com> (raw)
In-Reply-To: <20250304204954.3901-1-ebiggers@kernel.org>
* Eric Biggers <ebiggers@kernel.org> wrote:
> From: Eric Biggers <ebiggers@google.com>
>
> Currently kernel-mode FPU is not always usable in softirq context on
> x86, since softirqs can nest inside a kernel-mode FPU section in task
> context, and nested use of kernel-mode FPU is not supported.
>
> Therefore, x86 SIMD-optimized code that can be called in softirq context
> has to sometimes fall back to non-SIMD code. There are two options for
> the fallback, both of which are pretty terrible:
>
> (a) Use a scalar fallback. This can be 10-100x slower than vectorized
> code because it cannot use specialized instructions like AES, SHA,
> or carryless multiplication.
>
> (b) Execute the request asynchronously using a kworker. In other
> words, use the "crypto SIMD helper" in crypto/simd.c.
>
> Currently most of the x86 en/decryption code (skcipher and aead
> algorithms) uses option (b), since this avoids the slow scalar fallback
> and it is easier to wire up. But option (b) is still really bad for its
> own reasons:
>
> - Punting the request to a kworker is bad for performance too.
>
> - It forces the algorithm to be marked as asynchronous
> (CRYPTO_ALG_ASYNC), preventing it from being used by crypto API
> users who request a synchronous algorithm. That's another huge
> performance problem, which is especially unfortunate for users who
> don't even do en/decryption in softirq context.
>
> - It makes all en/decryption operations take a detour through
> crypto/simd.c. That involves additional checks and an additional
> indirect call, which slow down en/decryption for *everyone*.
>
> Fortunately, the skcipher and aead APIs are only usable in task and
> softirq context in the first place. Thus, if kernel-mode FPU were to
> be reliably usable in softirq context, no fallback would be needed.
> Indeed, other architectures such as arm, arm64, and riscv have
> already done this.
>
> Therefore, this patch updates x86 accordingly to reliably support
> kernel-mode FPU in softirqs.
>
> This is done by just disabling softirq processing in kernel-mode FPU
> sections (when hardirqs are not already disabled), as that prevents the
> nesting that was problematic.
>
> This will delay some softirqs slightly, but only ones that would have
> otherwise been nested inside a task context kernel-mode FPU section.
> Any such softirqs would have taken the slow fallback path before if they
> tried to do any en/decryption. Now these softirqs will just run at the
> end of the task context kernel-mode FPU section (since local_bh_enable()
> runs pending softirqs) and will no longer take the slow fallback path.
>
> Alternatives considered:
>
> - Make kernel-mode FPU sections fully preemptible. This would require
> growing task_struct by another struct fpstate which is more than 2K.
So that's something that will probably happen once the kernel is built
using APX anyway?
> - Make softirqs save/restore the kernel-mode FPU state to a per-CPU
> struct fpstate when nested use is detected. Somewhat interesting, but
> seems unnecessary when a simpler solution exists.
So:
> void kernel_fpu_begin_mask(unsigned int kfpu_mask)
> {
> - preempt_disable();
> + if (!irqs_disabled())
> + fpregs_lock();
> + if (!irqs_disabled())
> + fpregs_unlock();
So why is the irqs_disabled() check needed here? (On x86 it can be a
bit expensive at times, because the IRQ flag has to be loaded,
including all flags, so basically it's a soft synchronization point of
a sort.)
Ie. why cannot we simply do a local_bh_disable()/enable() pair (on
!RT), ie. fpregs_lock()/fpregs_unlock()?
local_bh_disable() is very similar in cost to preempt_disable(), both
are increasing the preempt_count.
Thanks,
Ingo
next prev parent reply other threads:[~2025-03-05 9:07 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-03-04 20:49 [RFC PATCH v2] x86/fpu: make kernel-mode FPU reliably usable in softirqs Eric Biggers
2025-03-05 9:07 ` Ingo Molnar [this message]
2025-03-05 16:55 ` Dave Hansen
2025-03-05 17:37 ` Ingo Molnar
2025-03-05 18:04 ` Dave Hansen
2025-03-05 18:13 ` Ingo Molnar
2025-03-05 21:22 ` David Laight
2025-03-05 17:39 ` Eric Biggers
2025-03-05 18:09 ` Ingo Molnar
2025-03-05 20:30 ` Eric Biggers
2025-03-06 11:42 ` Ingo Molnar
2025-03-06 12:09 ` Peter Zijlstra
2025-03-06 12:00 ` [tip: x86/fpu] x86/fpu: Improve crypto performance by making " tip-bot2 for Eric Biggers
2025-03-06 17:54 ` Eric Biggers
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=Z8gUYamgBr4M5ZaB@gmail.com \
--to=mingo@kernel.org \
--cc=Jason@zx2c4.com \
--cc=ardb@kernel.org \
--cc=bp@alien8.de \
--cc=dave.hansen@linux.intel.com \
--cc=ebiggers@kernel.org \
--cc=greearb@candelatech.com \
--cc=linux-crypto@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=luto@kernel.org \
--cc=mingo@redhat.com \
--cc=shaw.leon@gmail.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