From: Sean Christopherson <seanjc@google.com>
To: Yosry Ahmed <yosry@kernel.org>
Cc: Jim Mattson <jmattson@google.com>,
Paolo Bonzini <pbonzini@redhat.com>,
Maxim Levitsky <mlevitsk@redhat.com>,
Vitaly Kuznetsov <vkuznets@redhat.com>,
Tom Lendacky <thomas.lendacky@amd.com>,
kvm@vger.kernel.org, linux-kernel@vger.kernel.org
Subject: Re: [PATCH v3 26/27] KVM: nSVM: Use different ASIDs for L1 and L2
Date: Wed, 28 Oct 2026 13:21:36 -0700 [thread overview]
Message-ID: <auJZUF3dmCHYQRxD@google.com> (raw)
In-Reply-To: <CAO9r8zOKuY5wGXYr9_L0p+-w3qBaNd36XgjyQn462zxU5aCY3w@mail.gmail.com>
On Wed, Oct 28, 2026, Yosry Ahmed wrote:
> On Wed, Oct 28, 2026 at 12:55 PM Sean Christopherson <seanjc@google.com> wrote:
> >
> > On Tue, Oct 27, 2026, Yosry Ahmed wrote:
> > > On Tue, Oct 27, 2026 at 10:50 AM Sean Christopherson <seanjc@google.com> wrote:
> > > >
> > > > On Mon, Oct 26, 2026, Yosry Ahmed wrote:
> > > > > On Mon, Oct 26, 2026 at 10:33 AM Sean Christopherson <seanjc@google.com> wrote:
> > > > > >
> > > > > > On Thu, Oct 22, 2026, Yosry Ahmed wrote:
> > > > > > > On Thu, Oct 22, 2026 at 3:44 PM Sean Christopherson <seanjc@google.com> wrote:
> > > > > > > >
> > > > > > > > On Fri, Oct 16, 2026, Jim Mattson wrote:
> > > > > > > > > On Mon, Oct 12, 2026 at 4:37 PM Yosry Ahmed <yosry@kernel.org> wrote:
> > > > > > > > > Moreover, does this change the semantics of PV TLB flush? In
> > > > > > > > > record_steal_time(), we have:
> > > > > > > > >
> > > > > > > > > if (st_preempted & KVM_VCPU_FLUSH_TLB)
> > > > > > > > > kvm_vcpu_flush_tlb_guest(vcpu);
> > > > > > > > >
> > > > > > > > > IIUC, an idle vCPU that wakes into L2 will flush only L2's ASID. In
> > > > > > > > > the past, with a shared ASID, L1's ASID was always flushed on emulated
> > > > > > > > > VM-exit anyway. Now, L1's ASID will be unaffected. Though I can't find
> > > > > > > > > any real documentation on PV TLB flush, it *seems* like the remote
> > > > > > > > > vCPU would want L1's ASID to be flushed. OTOH, this change makes nSVM
> > > > > > > > > behave just like nVMX.
> > > > > > > >
> > > > > > > > That's a bug that absolutely needs to be fixed, probably relatively urgently. We
> > > > > > > > should also document that passing through the steal_time shared information to L2
> > > > > > > > to utilize PV TLB flushes for L2 is explicitly not supported.
> > > > > > > >
> > > > > > > > I hate to re-introduce deferred actions for L2 => L1 things, but that seems like
> > > > > > > > the only sane way to handle this, because handling the !tdp_enabled case, where
> > > > > > > > KVM needs to sync the current root, requires knowing what MMU is going to be in
> > > > > > > > use when L1 regains control. Yuck.
> > > > > > >
> > > > > > > Are you implying that *you* will be re-introducing deferred actions? :P
> > > > > >
> > > > > > Heh, probably not this calendar year.
> > > > >
> > > > > Are you opposed to this series landing before that is fixed, keeping
> > > > > in mind that it will expose nSVM to the pre-existing bug?
> > > >
> > > > Nah, though I should just fix the damn bug. It's not hard, I just don't want to
> > > > do it because I don't want to reintroduce a deferred request. Untested, but I
> > > > think this is all that's needed.
> > >
> > > Makes sense to the untrained eye, although I do wonder sometimes if
> > > requests more generally need a way to key off guest mode. I am sure
> > > you don't want to open this can of worms :)
> >
> > It's not so much a can of worms as it is infeasible to come up with a generic
> > scheme that would add value. The hardest part in all of this is identifying when
> > an action/request *always* needs to be serviced in the context of L1, e.g. this
> > code has been around for ages and it wasn't until Jimshiko came along that anyone
> > noticed there's a bug.
> >
> > The actual servicing of the request in L1 is straightforward and vendor specific
> > for the vast majority of cases. E.g. guard(vmx_vmcs01) is essentially what you're
> > asking for, but it's obviously VMX specific beause SVM can simply grab the pointer
> > to vmcb01. In other words, there isn't a general need to defer requests or have a
> > framework for servicing requests while L2 is active.
> >
> > This one is special because of legacy shadow paging, and specifically the need to
> > synchronizing the MMU. In theory, we could temporarily switch to L1's MMU, a la
> > vmcs01, but it's entirely possible L1's MMU doesn't even "exist", e.g. because
> > the host state that will be loaded from the VMCS on nested VM-Exit is different
> > than the pre-VM-Enter state (which is possible on Intel). Even if the MMU context
> > was known, switching MMUs at this point in the KVM_RUN flow is terrifying.
> >
> > So, while I detest the deferred approach, I also think it's absolutely the right
> > thing to do for a fix that needs to go to stable@, and probably the least awful
> > fix long term as well. But it's very much a one-off snowflake, not something we
> > should generally encourage.
>
> The other example I thought about is
> kvm_service_local_tlb_flush_requests(), AFAICT this only exists
> because we don't have a way to specify a request for L1/L2. But yeah,
> I agree if these are the exceptions rather than the rule.
Yes and no. Doing the "obvious" thing by tracking L1 vs. L2 requests would be
subtly wrong. E.g. if L2 triggers a flush with virtual ASID=1, then KVM must
service the flush in exactly that context. If KVM shoved the request into e.g.
l2_requests and serviced those at the next entry to L2, then KVM could process
the TLB flush using the wrong virtual ASID.
So while I get where you're coming from, I think the current approach of using
a unified requests queue and then servicing the requests that are "local" to L2
on nested VM-Exit is the "right" approach.
> In my head, there was also a request we clear for exceptions on nested
> VM-Exit, but looking at the code again, it's not a request, we clear
> the exception and interrupt queues. I think this is the right thing to
> do architecturally anyway though?
Yep. If an event is supposed to be preserved, then it needs to be saved into
the exit fields of the VMC{B,S}. KVM's software model should always be reset.
next prev parent reply other threads:[~2026-10-28 20:21 UTC|newest]
Thread overview: 94+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-10-12 23:36 [PATCH v3 00/27] KVM: nSVM: Optimize nSVM TLB flushes Yosry Ahmed
2026-10-12 23:36 ` [PATCH v3 01/27] KVM: nSVM: Flush the TLB after forcefully leaving nested Yosry Ahmed
2026-10-14 15:02 ` Jim Mattson
2026-10-14 15:18 ` Yosry Ahmed
2026-10-16 19:32 ` Jim Mattson
2026-10-12 23:36 ` [PATCH v3 02/27] KVM: SVM: Document number of ASIDs CPUID setting Yosry Ahmed
2026-10-14 15:07 ` Jim Mattson
2026-10-12 23:36 ` [PATCH v3 03/27] KVM: VMX: Generalize VPID allocation to be vendor-neutral Yosry Ahmed
2026-10-14 18:22 ` Jim Mattson
2026-10-14 20:38 ` Yosry Ahmed
2026-10-16 19:34 ` Jim Mattson
2026-10-12 23:36 ` [PATCH v3 04/27] KVM: x86/mmu: Support specifying reserved TLB tags Yosry Ahmed
2026-10-14 21:49 ` Jim Mattson
2026-10-14 22:07 ` Yosry Ahmed
2026-10-12 23:36 ` [PATCH v3 05/27] KVM: SVM: Add helpers to set/clear ASID flush in VMCB Yosry Ahmed
2026-10-14 22:00 ` Jim Mattson
2026-10-14 22:03 ` Yosry Ahmed
2026-10-14 22:22 ` Jim Mattson
2026-10-14 22:25 ` Yosry Ahmed
2026-10-14 22:32 ` Jim Mattson
2026-10-12 23:36 ` [PATCH v3 06/27] KVM: SVM: Fallback to flush everything if FLUSHBYASID is not available Yosry Ahmed
2026-10-14 22:45 ` Jim Mattson
2026-10-14 22:50 ` Yosry Ahmed
2026-10-14 23:27 ` Jim Mattson
2026-10-12 23:36 ` [PATCH v3 07/27] KVM: SEV: Do ASID initialization at VMCB initialization Yosry Ahmed
2026-10-14 23:31 ` Jim Mattson
2026-10-12 23:36 ` [PATCH v3 08/27] KVM: SEV: Expose sev_get_asid() outside of sev.c Yosry Ahmed
2026-10-14 23:33 ` Jim Mattson
2026-10-12 23:36 ` [PATCH v3 09/27] KVM: SEV: Explicitly initialize the per vCPU ASID on SEV VM migration Yosry Ahmed
2026-10-14 23:35 ` Jim Mattson
2026-10-12 23:36 ` [PATCH v3 10/27] KVM: SVM: Use a static ASID per vCPU Yosry Ahmed
2026-10-12 23:36 ` [PATCH v3 11/27] KVM: SVM: Only flush the fallback ASID when used by a different vCPU Yosry Ahmed
2026-10-15 21:44 ` Jim Mattson
2026-10-15 22:03 ` Yosry Ahmed
2026-10-16 19:36 ` Jim Mattson
2026-10-12 23:36 ` [PATCH v3 12/27] KVM: nSVM: Drop svm->nested.initialized Yosry Ahmed
2026-10-15 21:48 ` Jim Mattson
2026-10-12 23:36 ` [PATCH v3 13/27] KVM: nSVM: Add a placeholder ASID for L2 Yosry Ahmed
2026-10-15 21:55 ` Jim Mattson
2026-10-15 22:10 ` Yosry Ahmed
2026-10-15 22:21 ` Jim Mattson
2026-10-15 22:27 ` Yosry Ahmed
2026-10-12 23:36 ` [PATCH v3 14/27] KVM: x86: hyper-v: Rename kvm_hv_vcpu_purge_flush_tlb() Yosry Ahmed
2026-10-15 21:58 ` Jim Mattson
2026-10-12 23:36 ` [PATCH v3 15/27] KVM: x86: hyper-v: Allow purging all TLB flush FIFOs Yosry Ahmed
2026-10-15 22:02 ` Jim Mattson
2026-10-12 23:36 ` [PATCH v3 16/27] KVM: nSVM: Flush both L1 and L2 ASIDs on KVM_REQ_TLB_FLUSH Yosry Ahmed
2026-10-15 22:05 ` Jim Mattson
2026-10-12 23:36 ` [PATCH v3 17/27] KVM: nSVM: Always switch VMCB before leaving guest mode Yosry Ahmed
2026-10-15 22:08 ` Jim Mattson
2026-10-12 23:36 ` [PATCH v3 18/27] KVM: nSVM: Split nested_svm_transition_tlb_flush() into entry/exit fns Yosry Ahmed
2026-10-15 22:10 ` Jim Mattson
2026-10-12 23:36 ` [PATCH v3 19/27] KVM: nSVM: Service local TLB flushes before nested transitions Yosry Ahmed
2026-10-15 22:19 ` Jim Mattson
2026-10-15 22:34 ` Yosry Ahmed
2026-10-16 19:39 ` Jim Mattson
2026-10-12 23:36 ` [PATCH v3 20/27] KVM: x86: Add KVM_REQ_MMU_SYNC_ALL_ROOTS Yosry Ahmed
2026-10-15 22:24 ` Jim Mattson
2026-10-12 23:36 ` [PATCH v3 21/27] KVM: nSVM: Handle nested TLB flush requests through TLB_CONTROL Yosry Ahmed
2026-10-15 22:33 ` Jim Mattson
2026-10-12 23:36 ` [PATCH v3 22/27] KVM: nSVM: Flush the TLB if L1 changes L2's ASID in vmcb12 Yosry Ahmed
2026-10-15 23:09 ` Jim Mattson
2026-10-15 23:20 ` Yosry Ahmed
2026-10-15 23:50 ` Jim Mattson
2026-10-15 23:56 ` Yosry Ahmed
2026-10-16 19:24 ` Jim Mattson
2026-10-12 23:36 ` [PATCH v3 23/27] KVM: nSVM: Do not reset TLB_CONTROL in vmcb02 on nested VM-Enter Yosry Ahmed
2026-10-15 23:16 ` Jim Mattson
2026-10-15 23:22 ` Yosry Ahmed
2026-10-12 23:36 ` [PATCH v3 24/27] KVM: nSVM: Flush L2's ASID when emulating INVLPGA Yosry Ahmed
2026-10-15 23:37 ` Jim Mattson
2026-10-15 23:42 ` Yosry Ahmed
2026-10-16 0:53 ` Sean Christopherson
2026-10-16 19:41 ` Jim Mattson
2026-10-12 23:36 ` [PATCH v3 25/27] KVM: nSVM: Flush the ASID on nested transitions if shared by L1 and L2 Yosry Ahmed
2026-10-15 23:42 ` Jim Mattson
2026-10-12 23:36 ` [PATCH v3 26/27] KVM: nSVM: Use different ASIDs for " Yosry Ahmed
2026-10-16 21:17 ` Jim Mattson
2026-10-17 0:25 ` Yosry Ahmed
2026-10-19 18:49 ` Jim Mattson
2026-10-19 19:51 ` Yosry Ahmed
2026-10-26 17:33 ` Sean Christopherson
2026-10-22 22:44 ` Sean Christopherson
2026-10-22 22:45 ` Yosry Ahmed
2026-10-26 17:33 ` Sean Christopherson
2026-10-26 18:06 ` Yosry Ahmed
2026-10-27 17:50 ` Sean Christopherson
2026-10-27 17:56 ` Yosry Ahmed
2026-10-28 19:55 ` Sean Christopherson
2026-10-28 20:00 ` Yosry Ahmed
2026-10-28 20:21 ` Sean Christopherson [this message]
2026-10-12 23:36 ` [PATCH v3 27/27] KVM: selftests: Add a test for nested TLB flushes Yosry Ahmed
2026-10-14 13:23 ` [PATCH v3 00/27] KVM: nSVM: Optimize nSVM " Jim Mattson
2026-10-14 14:37 ` Yosry Ahmed
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=auJZUF3dmCHYQRxD@google.com \
--to=seanjc@google.com \
--cc=jmattson@google.com \
--cc=kvm@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=mlevitsk@redhat.com \
--cc=pbonzini@redhat.com \
--cc=thomas.lendacky@amd.com \
--cc=vkuznets@redhat.com \
--cc=yosry@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
all inboxes | Powered by JetHome®