All of lore.kernel.org
 help / color / mirror / Atom feed
From: Sean Christopherson <seanjc@google.com>
To: Yosry Ahmed <yosry@kernel.org>
Cc: Paolo Bonzini <pbonzini@redhat.com>,
	Jim Mattson <jmattson@google.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: [RFC PATCH v2 22/25] KVM: x86/mmu: Refactor kvm_mmu_invlpg() to allow skipping the gva flush
Date: Thu, 23 Jul 2026 18:12:44 -0700	[thread overview]
Message-ID: <amK8DNIbm1ZAvW4e@google.com> (raw)
In-Reply-To: <CAO9r8zPCcBjZcsgm+aD4qnEVOf51wESbGLq9rRdTO0FTz39ijA@mail.gmail.com>

On Thu, Jul 23, 2026, Yosry Ahmed wrote:
> On Thu, Jul 23, 2026 at 3:03 PM Sean Christopherson <seanjc@google.com> wrote:
> >
> > On Thu, Jul 23, 2026, Yosry Ahmed wrote:
> > > > Actually, isn't there a pre-existing over-flush when handling kvm_mmu_invpcid_gva()?
> > > > Oof, and a missed flush?
> > > >
> > > > To fix the over-flush, I think we want this?
> > > >
> > > > diff --git arch/x86/kvm/mmu/mmu.c arch/x86/kvm/mmu/mmu.c
> > > > index 6c13da942bfc..7f3e0eb33b29 100644
> > > > --- arch/x86/kvm/mmu/mmu.c
> > > > +++ arch/x86/kvm/mmu/mmu.c
> > > > @@ -6672,7 +6672,8 @@ void kvm_mmu_invalidate_addr(struct kvm_vcpu *vcpu, struct kvm_pagewalk *w,
> > > >                 if (is_noncanonical_invlpg_address(addr, vcpu))
> > > >                         return;
> > > >
> > > > -               kvm_x86_call(flush_tlb_gva)(vcpu, addr);
> > > > +               if (roots & KVM_MMU_ROOT_CURRENT)
> > > > +                       kvm_x86_call(flush_tlb_gva)(vcpu, addr);
> > >
> > > Hmmm why?
> > >
> > > AFAICT, if the gva has a shadow mapping, then the rest of
> > > kvm_mmu_invalidate_addr() will make sure the shadow mapping is
> > > up-to-date and do any necessary TLB flushes in the process. So I am
> > > assuming the flush here is intended to cover some cases where the gva
> > > does not have a shadow mapping. Not sure how this could happen, I
> > > assume we always flush the TLB when a shadow PTE is freed.
> > >
> > > If there are cases where we can have TLB entries but no shadow
> > > mappings, then shouldn't we flush regardless of which cached roots
> > > match the target PCID? I assume if none of the cached roots match the
> > > PCID it's not an issue because KVM will create a new root and flush
> > > the TLB before switching into the new PCID.
> >
> > Gah, I conflated PCIDs and VPIDs.
> 
> Disregarding the alleged over-flush, I am actually trying to figure
> out why flush_tlb_gva here is needed in the INVLPG and INVPCID
> emulation paths. I think understanding this will help us figure out
> how to best handle it for INVLPGA.

That emits an actual hardware TLB flush if there are no unsync SPTEs.  Everything
below this point:

	/* Invalidate shadow pages, whether GPA->GVA or nGPA->GPA.  */
	if (!mmu->sync_spte)
		return;

is specific to unsync SPTEs.  __kvm_mmu_invalidate_addr() is one big nop if there
aren't any unsync SPTEs.  E.g. before unsync support came along, KVM didn't
intercept INVLPG: a7052897b3bc ("KVM: x86: trap invlpg").

Wwith TDP enabled, KVM definitely needs to flush guest mappings, e.g. if KVM
synthesizes a #PF (which are architecturally guaranteed to flush any relevant
mappings), because KVM isn't controlling GVA=>GPA (obviously).  When using
shadow paging, it's less obvious when KVM would need to flush hardware TLBs even
if KVM's SPTEs haven't changed since the last flush.  The only things that jumps
to mind are TLB entries that were preserved across a MOV CR3 switch, e.g. global
entries or MOV CR3 with X86_CR3_PCID_NOFLUSH, and the new CR3 contains a stale
mapping (or none at all).

  reply	other threads:[~2026-07-24  1:12 UTC|newest]

Thread overview: 91+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-06-16  0:41 [RFC PATCH v2 00/25] Optimize nSVM TLB flushes Yosry Ahmed
2026-06-16  0:41 ` [RFC PATCH v2 01/25] KVM: nSVM: Flush the TLB after forcefully leaving nested Yosry Ahmed
2026-06-16  0:41 ` [RFC PATCH v2 02/25] KVM: SVM: Passthrough the number of supported ASIDs Yosry Ahmed
2026-07-14 13:20   ` Yosry Ahmed
2026-07-14 21:28     ` Jim Mattson
2026-07-14 21:43       ` Yosry Ahmed
2026-07-14 23:41         ` Sean Christopherson
2026-07-15  6:32           ` Jim Mattson
2026-07-15 17:45             ` Yosry Ahmed
2026-07-15 18:20               ` Jim Mattson
2026-07-15 19:12                 ` Yosry Ahmed
2026-07-16 23:09                   ` Jim Mattson
2026-07-22 22:09             ` Sean Christopherson
2026-07-22 22:39               ` Jim Mattson
2026-07-23  0:27                 ` Sean Christopherson
2026-07-23  2:46                   ` Jim Mattson
2026-07-23 12:24                     ` Jim Mattson
2026-07-23 14:07                       ` Sean Christopherson
2026-07-23 15:57                         ` Jim Mattson
2026-07-23 16:32                           ` Yosry Ahmed
2026-07-23 16:54                             ` Jim Mattson
2026-07-23 16:57                               ` Yosry Ahmed
2026-07-23 17:07                                 ` Jim Mattson
2026-07-23 17:26                                   ` Sean Christopherson
2026-07-23 17:34                                     ` Yosry Ahmed
2026-07-15 17:41           ` Yosry Ahmed
2026-06-16  0:41 ` [RFC PATCH v2 03/25] KVM: VMX: Generalize VPID allocation to be vendor-neutral Yosry Ahmed
2026-07-22 22:26   ` Sean Christopherson
2026-07-22 22:36     ` Yosry Ahmed
2026-07-23 13:26       ` Sean Christopherson
2026-06-16  0:41 ` [RFC PATCH v2 04/25] KVM: x86/mmu: Support specifying a minimum TLB tag Yosry Ahmed
2026-07-23  0:28   ` Sean Christopherson
2026-07-23  5:00     ` Yosry Ahmed
2026-07-23 14:15       ` Sean Christopherson
2026-06-16  0:41 ` [RFC PATCH v2 05/25] KVM: SVM: Add helpers to set/clear ASID flush in VMCB Yosry Ahmed
2026-06-16  0:41 ` [RFC PATCH v2 06/25] KVM: SVM: Fallback to flush everything if FLUSHBYASID is not available Yosry Ahmed
2026-07-23  0:29   ` Sean Christopherson
2026-06-16  0:41 ` [RFC PATCH v2 07/25] KVM: SVM: Duplicate pre-run ASID check for SEV and non-SEV guests Yosry Ahmed
2026-06-16  0:41 ` [RFC PATCH v2 08/25] KVM: SEV: Stop using per-vCPU ASID for SEV VMs Yosry Ahmed
2026-06-16  1:06   ` sashiko-bot
2026-06-16 17:50     ` Yosry Ahmed
2026-07-07 21:30       ` Yosry Ahmed
2026-07-23  0:33         ` Sean Christopherson
2026-07-23  5:02           ` Yosry Ahmed
2026-06-16  0:41 ` [RFC PATCH v2 09/25] KVM: SVM: Use a static ASID per vCPU Yosry Ahmed
2026-06-16  1:08   ` sashiko-bot
2026-06-16 17:58     ` Yosry Ahmed
2026-07-07 21:28       ` Yosry Ahmed
2026-06-16  0:41 ` [RFC PATCH v2 10/25] KVM: nSVM: Add a placeholder ASID for L2 Yosry Ahmed
2026-06-16  0:41 ` [RFC PATCH v2 11/25] KVM: x86: hyper-v: Rename kvm_hv_vcpu_purge_flush_tlb() Yosry Ahmed
2026-06-16  0:41 ` [RFC PATCH v2 12/25] KVM: x86: hyper-v: Allow puring all TLB flush FIFOs Yosry Ahmed
2026-06-16  0:41 ` [RFC PATCH v2 13/25] KVM: nSVM: Flush both L1 and L2 ASIDs on KVM_REQ_TLB_FLUSH Yosry Ahmed
2026-06-16  1:05   ` sashiko-bot
2026-06-16 18:00     ` Yosry Ahmed
2026-07-23  0:37       ` Sean Christopherson
2026-06-16  0:41 ` [RFC PATCH v2 14/25] KVM: nSVM: Move svm_switch_vmcb() to nested.c Yosry Ahmed
2026-06-16  0:41 ` [RFC PATCH v2 15/25] KVM: nSVM: Call nested_svm_transition_tlb_flush() on every VMCB switch Yosry Ahmed
2026-07-23  0:42   ` Sean Christopherson
2026-07-23  5:07     ` Yosry Ahmed
2026-06-16  0:41 ` [RFC PATCH v2 16/25] KVM: nSVM: Split nested_svm_transition_tlb_flush() into entry/exit fns Yosry Ahmed
2026-06-16  0:41 ` [RFC PATCH v2 17/25] KVM: nSVM: Service local TLB flushes before nested transitions Yosry Ahmed
2026-06-16  1:20   ` sashiko-bot
2026-06-16 18:06     ` Yosry Ahmed
2026-06-17  0:21       ` Yosry Ahmed
2026-07-23  0:46         ` Sean Christopherson
2026-07-23  5:06           ` Yosry Ahmed
2026-07-23 13:34             ` Sean Christopherson
2026-06-16  0:41 ` [RFC PATCH v2 18/25] KVM: nSVM: Handle nested TLB flush requests through TLB_CONTROL Yosry Ahmed
2026-06-16  0:41 ` [RFC PATCH v2 19/25] KVM: nSVM: Flush the TLB if L1 changes L2's ASID in vmcb12 Yosry Ahmed
2026-06-16  0:41 ` [RFC PATCH v2 20/25] KVM: nSVM: Do not reset TLB_CONTROL in vmcb02 on nested VM-Enter Yosry Ahmed
2026-06-16  0:41 ` [RFC PATCH v2 21/25] KVM: x86/mmu: rename __kvm_mmu_invalidate_addr() Yosry Ahmed
2026-06-16  0:41 ` [RFC PATCH v2 22/25] KVM: x86/mmu: Refactor kvm_mmu_invlpg() to allow skipping the gva flush Yosry Ahmed
2026-07-23  0:53   ` Sean Christopherson
2026-07-23  0:56     ` Sean Christopherson
2026-07-23  5:11       ` Yosry Ahmed
2026-07-23 15:23         ` Sean Christopherson
2026-07-23 21:48           ` Yosry Ahmed
2026-07-23 22:03             ` Sean Christopherson
2026-07-23 22:10               ` Yosry Ahmed
2026-07-24  1:12                 ` Sean Christopherson [this message]
2026-06-16  0:41 ` [RFC PATCH v2 23/25] KVM: nSVM: Flush L2's ASID when emulating INVLPGA Yosry Ahmed
2026-06-16  0:41 ` [RFC PATCH v2 24/25] KVM: nSVM: Use different ASIDs for L1 and L2 Yosry Ahmed
2026-06-16  1:30   ` sashiko-bot
2026-06-16 18:14     ` Yosry Ahmed
2026-06-16 18:16       ` Yosry Ahmed
2026-06-16 18:28       ` Yosry Ahmed
2026-06-16 19:54         ` Jim Mattson
2026-06-16 19:56           ` Yosry Ahmed
2026-06-16 21:49             ` Yosry Ahmed
2026-06-16  0:41 ` [RFC PATCH v2 25/25] DO NOT MERGE: Add nested_tlb_force_flush Yosry Ahmed
2026-06-16  1:21   ` sashiko-bot

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=amK8DNIbm1ZAvW4e@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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.