Message-ID: <20200804211444.GA31916@linux.intel.com>
Date:   Tue, 4 Aug 2020 14:14:45 -0700
From:   Sean Christopherson <sean.j.christopherson@...el.com>
To:     Ben Gardon <bgardon@...gle.com>
Cc:     linux-kernel@...r.kernel.org, kvm@...r.kernel.org,
        linux-kselftest@...r.kernel.org,
        Paolo Bonzini <pbonzini@...hat.com>,
        Peter Xu <peterx@...hat.com>, Peter Shier <pshier@...gle.com>
Subject: Re: [PATCH 1/1] kvm: mmu: zap pages when zapping only parent

On Mon, Jul 27, 2020 at 01:33:24PM -0700, Ben Gardon wrote:
> When the KVM MMU zaps a page, it will recursively zap the unsynced child
> pages, but not the synced ones. This can create problems over time when
> running many nested guests because it leaves unlinked pages which will not
> be freed until the page quota is hit. With the default page quota of 20
> shadow pages per 1000 guest pages, this looks like a memory leak and can
> degrade MMU performance.
> 
> In a recent benchmark, substantial performance degradation was observed:
> An L1 guest was booted with 64G memory.
> 2G nested Windows guests were booted, 10 at a time for 20
> iterations. (200 total boots)
> Windows was used in this benchmark because they touch all of their
> memory on startup.
> By the end of the benchmark, the nested guests were taking ~10% longer
> to boot. With this patch there is no degradation in boot time.
> Without this patch the benchmark ends with hundreds of thousands of
> stale EPT02 pages cluttering up rmaps and the page hash map. As a
> result, VM shutdown is also much slower: deleting memslot 0 was
> observed to take over a minute. With this patch it takes just a
> few miliseconds.
> 
> If TDP is enabled, zap child shadow pages when zapping the only parent
> shadow page.

Comments on the mechanics below.  For the approach itself, I wonder if we
could/should go even further, i.e. be even more aggressive in reaping nested
TDP shadow pages.

For this to work, KVM is effectively relying on the write flooding detection
in kvm_mmu_pte_write() to kick in, i.e. KVM needs the L1 VMM to overwrite
the TDP tables that L1 was using for L2.  In particular, L1 needs to write
the upper level TDP entries in order for L0 to effeciently reclaim memory.

For HyperV as L1, I believe that will happen sooner than later as HyperV
maintains a pool of zeroed pages, i.e. L1 will quickly zero out the old TDP
entries and trigger the zap.

For KVM as L1, that may not hold true for all scenarios due to lazy zeroing
of memory.  If L1 is creating and destroying VMs (as in the benchmark), then
it will work as expected.  But if L1 creates and destroys a large L2 without
reallocating all memory used for L2's TDP tables, the write flooding will
never happen and L0 will keep the stale SPs even though L2 is dead.

The above scenario may or may not be problematic in practice.  I would
assume any reasonably active L1 will quickly do something with the old TDP
memory and trigger write flooding, but at the same time it's plausible that
L1 could leave pages unused for a decent amount of time.

One thought would be to track nested TDP PGDs and periodically purge PGDs
that haven't been used in some arbitrary amount of time and/or an arbitrary
threshold for the number of nested TDP PGDs is reached.  That being said,
either of those is probably overkill without more analysis on the below
approach.

> Tested by running the kvm-unit-tests suite on an Intel Haswell machine.
> No regressions versus
> commit c34b26b98cac ("KVM: MIPS: clean up redundant 'kvm_run' parameters"),
> or warnings.
> 
> Reviewed-by: Peter Shier <pshier@...gle.com>
> Signed-off-by: Ben Gardon <bgardon@...gle.com>
> ---
>  arch/x86/kvm/mmu/mmu.c | 49 +++++++++++++++++++++++++++++++++++++-----
>  1 file changed, 44 insertions(+), 5 deletions(-)
> 
> diff --git a/arch/x86/kvm/mmu/mmu.c b/arch/x86/kvm/mmu/mmu.c
> index fa506aaaf0194..c550bc3831dcc 100644
> --- a/arch/x86/kvm/mmu/mmu.c
> +++ b/arch/x86/kvm/mmu/mmu.c
> @@ -2626,13 +2626,52 @@ static bool mmu_page_zap_pte(struct kvm *kvm, struct kvm_mmu_page *sp,
>  	return false;
>  }
>  
> -static void kvm_mmu_page_unlink_children(struct kvm *kvm,
> -					 struct kvm_mmu_page *sp)
> +static int kvm_mmu_page_unlink_children(struct kvm *kvm,
> +					struct kvm_mmu_page *sp,
> +					struct list_head *invalid_list)
>  {
>  	unsigned i;
> +	int zapped = 0;
> +
> +	for (i = 0; i < PT64_ENT_PER_PAGE; ++i) {
> +		u64 *sptep = sp->spt + i;
> +		u64 spte = *sptep;
> +		struct kvm_mmu_page *child_sp;
> +
> +		/*
> +		 * Zap the page table entry, unlinking any potential child
> +		 * page
> +		 */
> +		mmu_page_zap_pte(kvm, sp, sptep);
> +
> +		/* If there is no child page for this spte, continue */
> +		if (!is_shadow_present_pte(spte) ||
> +		    is_last_spte(spte, sp->role.level))
> +			continue;
> +
> +		/*
> +		 * If TDP is enabled, then any shadow pages are part of either
> +		 * the EPT01 or an EPT02. In either case, do not expect the
> +		 * same pattern of page reuse seen in x86 PTs for
> +		 * copy-on-write  and similar techniques. In this case, it is
> +		 * unlikely that a parentless shadow PT will be used again in
> +		 * the near future. Zap it to keep the rmaps and page hash
> +		 * maps from filling up with stale EPT02 pages.
> +		 */
> +		if (!tdp_enabled)
> +			continue;

I haven't tested, but I believe this will have the unwanted side effect of
blasting large swaths of EPT01 if recycling is triggered.  Because the list
of active SPs is FIFO (and never reordered), the first entries are almost
always the root SP and then high level SPs.  If make_mmu_pages_available()
triggers kvm_mmu_zap_oldest_mmu_pages(), this is take out the high level SP
and all its children.

That may or may not be a problem in practice, but it's outside the scope of
what this patch is trying to accomplish.

TL;DR: what about further conditioning this on sp->role.guest_mode?

> +
> +		child_sp = to_shadow_page(spte & PT64_BASE_ADDR_MASK);
> +		if (WARN_ON_ONCE(!child_sp))

This WARN is pointless, mmu_page_zap_pte() above will already have dereferenced
the child shadow page, i.e. any null pointer will have exploded.

> +			continue;
> +
> +		/* Zap the page if it has no remaining parent pages */
> +		if (!child_sp->parent_ptes.val)

IMO it's easier to read if these checks are collapsed, e.g.:

		if (!tdp_enabled || !child_sp->role.guest_mode ||
		    child_sp->parent_ptes.val)
			continue;

		zapped += kvm_mmu_prepare_zap_page(kvm, child_sp, invalid_list);


Alternatively, what about moving this logic into mmu_page_zap_pte()?  That
can be done with a little massaging of FNAME(invlpg) and would avoid what is
effectively redundant checks on is_shadow_present_pte() and is_last_spte().
Patches attached and somewhat tested.

> +			zapped += kvm_mmu_prepare_zap_page(kvm, child_sp,
> +							   invalid_list);
> +	}
>  
> -	for (i = 0; i < PT64_ENT_PER_PAGE; ++i)
> -		mmu_page_zap_pte(kvm, sp, sp->spt + i);
> +	return zapped;
>  }
>  
>  static void kvm_mmu_unlink_parents(struct kvm *kvm, struct kvm_mmu_page *sp)
> @@ -2678,7 +2717,7 @@ static bool __kvm_mmu_prepare_zap_page(struct kvm *kvm,
>  	trace_kvm_mmu_prepare_zap_page(sp);
>  	++kvm->stat.mmu_shadow_zapped;
>  	*nr_zapped = mmu_zap_unsync_children(kvm, sp, invalid_list);
> -	kvm_mmu_page_unlink_children(kvm, sp);
> +	*nr_zapped += kvm_mmu_page_unlink_children(kvm, sp, invalid_list);
>  	kvm_mmu_unlink_parents(kvm, sp);
>  
>  	/* Zapping children means active_mmu_pages has become unstable. */
> -- 
> 2.28.0.rc0.142.g3c755180ce-goog
> 

View attachment "0001-KVM-x86-mmu-Move-flush-logic-from-mmu_page_zap_pte-t.patch" of type "text/x-diff" (2809 bytes)

View attachment "0002-KVM-x86-MMU-Recursively-zap-nested-TDP-SPs-when-zapp.patch" of type "text/x-diff" (4992 bytes)

Powered by blists - more mailing lists