Received: by 2002:a05:6358:d09b:b0:dc:cd0c:909e with SMTP id jc27csp7343622rwb; Tue, 6 Dec 2022 04:42:24 -0800 (PST) X-Google-Smtp-Source: AA0mqf7dBMxDBHXqKJmgBPQFQlH+35PH+OsgOpHJ0/cM6ue0N/DCquZo9TJmnYyBReGekEAz80pI X-Received: by 2002:a17:906:2793:b0:7c1:174f:d69 with SMTP id j19-20020a170906279300b007c1174f0d69mr465867ejc.447.1670330544707; Tue, 06 Dec 2022 04:42:24 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1670330544; cv=none; d=google.com; s=arc-20160816; b=mxzSc7L3JrrDHGZlveRYy2swzL+IVY+mB3ADZstPEsHIGNdUfAqhqwHGYFidLGRxaW XqUM0qF2AY241MUT75s8yecUaHW2lkYrrV+6hZApDwkoYIR/lQJNorR5LzG0v/YSjCHn s+qOGx/Qjp5TwXtcwW/Ctdujt2niTrChj6e6lYSp0TJ3P5O7t6t9gQMn2HeKXgljFJjI lQSF2uVaXXxf5FC64LoECYtvCGpJo3Ipe1rkVtzvFutr8zpppZMTBHXgSBtK+YfYlNHV 6c+BylYsS9PgBxgZCRqDu0WBrSypU2NdCAxfkPmjiJdZULXyPoDnDLY6lGNhg/iSef4K 5IlQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:in-reply-to:content-disposition:mime-version :references:reply-to:message-id:subject:cc:to:from:date :dkim-signature; bh=yAvvkG9iUoFDLxFSePPKzp3SQcFI12WBZfHrQpviOwM=; b=l1+z8lw+4H+HnXb+BiVuJKXmsDI/BhSXIqZmbIxbz9gcABAVRO/wx/QTpuSSaz6yvt LBs4m3i+VP5crLOdMqpHkCbSxGqfM3T3k0+4sokEcUh058DwYqUZbGI0STuYE+udDXXg QfhoEVHk070gH87ptF6WcWG5uxExmWhQ7z1xJkJhoZB+y7Czhshjw28HU9oxfpmxEJwB MSHtkW4ZkyfXFh68lfCEx40vOO30+K3s7UUN+R68FLaUn1fl1vEL5mfgm8f1vj0gXxaU Aor+NoNL9Ne6nsUOVT0Nq3YZTwXYwjEpeVON9FfqLsag4PIcNZ5Myu+HOT1yQ9cd2OxZ 1Evg== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@intel.com header.s=Intel header.b=bpvO4bpe; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=intel.com Return-Path: Received: from out1.vger.email (out1.vger.email. [2620:137:e000::1:20]) by mx.google.com with ESMTP id ht15-20020a170907608f00b007c0e7acd184si5462073ejc.507.2022.12.06.04.42.05; Tue, 06 Dec 2022 04:42:24 -0800 (PST) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20; Authentication-Results: mx.google.com; dkim=pass header.i=@intel.com header.s=Intel header.b=bpvO4bpe; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=intel.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S235366AbiLFMEv (ORCPT + 79 others); Tue, 6 Dec 2022 07:04:51 -0500 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:58572 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S234110AbiLFMEd (ORCPT ); Tue, 6 Dec 2022 07:04:33 -0500 Received: from mga09.intel.com (mga09.intel.com [134.134.136.24]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 1BD5A2A400; Tue, 6 Dec 2022 04:01:32 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=intel.com; i=@intel.com; q=dns/txt; s=Intel; t=1670328094; x=1701864094; h=date:from:to:cc:subject:message-id:reply-to:references: mime-version:in-reply-to; bh=8y9XPez/l8AZfiXO2Z+qF9d7Ds3M0lDRaganuFAy6ls=; b=bpvO4bpe7lReICv29E0ceOmvpTcPhwWiv/VbxTxE8NYfxMaL4lO4t2wC ddlkGOpIXCLUWlXrMv+D28dQbQuWnW4kUayfiglGC49lUKr+kXhXY2BMu itAbWaKYWq2VyPNwRlDgpDNQnbx1gnKfpUz/Bews9bLAHTQsdMr92Xm2L faIVpeKneT7eCt8QBLTbuHkZm7eUcyUEnmFWeCpniX/O5t/tgMYj4xFJK Qhz3yrWnR8bDJ2mZjOtiuQlEeCjpbT95pp9J3Gsl6S/h6P9V8xzpGoAY4 l8ubdhlDIvYYfoAybSepD76tTWH3aRNAEsywHsnCPmBMUUS2fc8eltSWb A==; X-IronPort-AV: E=McAfee;i="6500,9779,10552"; a="317747306" X-IronPort-AV: E=Sophos;i="5.96,222,1665471600"; d="scan'208";a="317747306" Received: from orsmga007.jf.intel.com ([10.7.209.58]) by orsmga102.jf.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 06 Dec 2022 04:00:56 -0800 X-ExtLoop1: 1 X-IronPort-AV: E=McAfee;i="6500,9779,10552"; a="639851012" X-IronPort-AV: E=Sophos;i="5.96,222,1665471600"; d="scan'208";a="639851012" Received: from chaop.bj.intel.com (HELO localhost) ([10.240.193.75]) by orsmga007.jf.intel.com with ESMTP; 06 Dec 2022 04:00:43 -0800 Date: Tue, 6 Dec 2022 19:56:23 +0800 From: Chao Peng To: Fuad Tabba Cc: kvm@vger.kernel.org, linux-kernel@vger.kernel.org, linux-mm@kvack.org, linux-fsdevel@vger.kernel.org, linux-arch@vger.kernel.org, linux-api@vger.kernel.org, linux-doc@vger.kernel.org, qemu-devel@nongnu.org, Paolo Bonzini , Jonathan Corbet , Sean Christopherson , Vitaly Kuznetsov , Wanpeng Li , Jim Mattson , Joerg Roedel , Thomas Gleixner , Ingo Molnar , Borislav Petkov , Arnd Bergmann , Naoya Horiguchi , Miaohe Lin , x86@kernel.org, "H . Peter Anvin" , Hugh Dickins , Jeff Layton , "J . Bruce Fields" , Andrew Morton , Shuah Khan , Mike Rapoport , Steven Price , "Maciej S . Szmigiero" , Vlastimil Babka , Vishal Annapurve , Yu Zhang , "Kirill A . Shutemov" , luto@kernel.org, jun.nakajima@intel.com, dave.hansen@intel.com, ak@linux.intel.com, david@redhat.com, aarcange@redhat.com, ddutile@redhat.com, dhildenb@redhat.com, Quentin Perret , Michael Roth , mhocko@suse.com, wei.w.wang@intel.com Subject: Re: [PATCH v10 5/9] KVM: Use gfn instead of hva for mmu_notifier_retry Message-ID: <20221206115623.GB1216605@chaop.bj.intel.com> Reply-To: Chao Peng References: <20221202061347.1070246-1-chao.p.peng@linux.intel.com> <20221202061347.1070246-6-chao.p.peng@linux.intel.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-Spam-Status: No, score=-4.3 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH, DKIM_SIGNED,DKIM_VALID,DKIM_VALID_EF,RCVD_IN_DNSWL_MED, RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE,SPF_NONE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on lindbergh.monkeyblade.net Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Mon, Dec 05, 2022 at 09:23:49AM +0000, Fuad Tabba wrote: > Hi Chao, > > On Fri, Dec 2, 2022 at 6:19 AM Chao Peng wrote: > > > > Currently in mmu_notifier invalidate path, hva range is recorded and > > then checked against by mmu_notifier_retry_hva() in the page fault > > handling path. However, for the to be introduced private memory, a page > > fault may not have a hva associated, checking gfn(gpa) makes more sense. > > > > For existing hva based shared memory, gfn is expected to also work. The > > only downside is when aliasing multiple gfns to a single hva, the > > current algorithm of checking multiple ranges could result in a much > > larger range being rejected. Such aliasing should be uncommon, so the > > impact is expected small. > > > > Suggested-by: Sean Christopherson > > Signed-off-by: Chao Peng > > --- > > arch/x86/kvm/mmu/mmu.c | 8 +++++--- > > include/linux/kvm_host.h | 33 +++++++++++++++++++++------------ > > virt/kvm/kvm_main.c | 32 +++++++++++++++++++++++--------- > > 3 files changed, 49 insertions(+), 24 deletions(-) > > > > diff --git a/arch/x86/kvm/mmu/mmu.c b/arch/x86/kvm/mmu/mmu.c > > index 4736d7849c60..e2c70b5afa3e 100644 > > --- a/arch/x86/kvm/mmu/mmu.c > > +++ b/arch/x86/kvm/mmu/mmu.c > > @@ -4259,7 +4259,7 @@ static bool is_page_fault_stale(struct kvm_vcpu *vcpu, > > return true; > > > > return fault->slot && > > - mmu_invalidate_retry_hva(vcpu->kvm, mmu_seq, fault->hva); > > + mmu_invalidate_retry_gfn(vcpu->kvm, mmu_seq, fault->gfn); > > } > > > > static int direct_page_fault(struct kvm_vcpu *vcpu, struct kvm_page_fault *fault) > > @@ -6098,7 +6098,9 @@ void kvm_zap_gfn_range(struct kvm *kvm, gfn_t gfn_start, gfn_t gfn_end) > > > > write_lock(&kvm->mmu_lock); > > > > - kvm_mmu_invalidate_begin(kvm, gfn_start, gfn_end); > > + kvm_mmu_invalidate_begin(kvm); > > + > > + kvm_mmu_invalidate_range_add(kvm, gfn_start, gfn_end); > > > > flush = kvm_rmap_zap_gfn_range(kvm, gfn_start, gfn_end); > > > > @@ -6112,7 +6114,7 @@ void kvm_zap_gfn_range(struct kvm *kvm, gfn_t gfn_start, gfn_t gfn_end) > > kvm_flush_remote_tlbs_with_address(kvm, gfn_start, > > gfn_end - gfn_start); > > > > - kvm_mmu_invalidate_end(kvm, gfn_start, gfn_end); > > + kvm_mmu_invalidate_end(kvm); > > > > write_unlock(&kvm->mmu_lock); > > } > > diff --git a/include/linux/kvm_host.h b/include/linux/kvm_host.h > > index 02347e386ea2..3d69484d2704 100644 > > --- a/include/linux/kvm_host.h > > +++ b/include/linux/kvm_host.h > > @@ -787,8 +787,8 @@ struct kvm { > > struct mmu_notifier mmu_notifier; > > unsigned long mmu_invalidate_seq; > > long mmu_invalidate_in_progress; > > - unsigned long mmu_invalidate_range_start; > > - unsigned long mmu_invalidate_range_end; > > + gfn_t mmu_invalidate_range_start; > > + gfn_t mmu_invalidate_range_end; > > #endif > > struct list_head devices; > > u64 manual_dirty_log_protect; > > @@ -1389,10 +1389,9 @@ void kvm_mmu_free_memory_cache(struct kvm_mmu_memory_cache *mc); > > void *kvm_mmu_memory_cache_alloc(struct kvm_mmu_memory_cache *mc); > > #endif > > > > -void kvm_mmu_invalidate_begin(struct kvm *kvm, unsigned long start, > > - unsigned long end); > > -void kvm_mmu_invalidate_end(struct kvm *kvm, unsigned long start, > > - unsigned long end); > > +void kvm_mmu_invalidate_begin(struct kvm *kvm); > > +void kvm_mmu_invalidate_range_add(struct kvm *kvm, gfn_t start, gfn_t end); > > +void kvm_mmu_invalidate_end(struct kvm *kvm); > > > > long kvm_arch_dev_ioctl(struct file *filp, > > unsigned int ioctl, unsigned long arg); > > @@ -1963,9 +1962,9 @@ static inline int mmu_invalidate_retry(struct kvm *kvm, unsigned long mmu_seq) > > return 0; > > } > > > > -static inline int mmu_invalidate_retry_hva(struct kvm *kvm, > > +static inline int mmu_invalidate_retry_gfn(struct kvm *kvm, > > unsigned long mmu_seq, > > - unsigned long hva) > > + gfn_t gfn) > > { > > lockdep_assert_held(&kvm->mmu_lock); > > /* > > @@ -1974,10 +1973,20 @@ static inline int mmu_invalidate_retry_hva(struct kvm *kvm, > > * that might be being invalidated. Note that it may include some false > > nit: "might be" (or) "is being" > > > * positives, due to shortcuts when handing concurrent invalidations. > > nit: handling Both are existing code, but I can fix it either. > > > */ > > - if (unlikely(kvm->mmu_invalidate_in_progress) && > > - hva >= kvm->mmu_invalidate_range_start && > > - hva < kvm->mmu_invalidate_range_end) > > - return 1; > > + if (unlikely(kvm->mmu_invalidate_in_progress)) { > > + /* > > + * Dropping mmu_lock after bumping mmu_invalidate_in_progress > > + * but before updating the range is a KVM bug. > > + */ > > + if (WARN_ON_ONCE(kvm->mmu_invalidate_range_start == INVALID_GPA || > > + kvm->mmu_invalidate_range_end == INVALID_GPA)) > > INVALID_GPA is an x86-specific define in > arch/x86/include/asm/kvm_host.h, so this doesn't build on other > architectures. The obvious fix is to move it to > include/linux/kvm_host.h. Hmm, INVALID_GPA is defined as ZERO for x86, not 100% confident this is correct choice for other architectures, but after search it has not been used for other architectures, so should be safe to make it common. Thanks, Chao > > Cheers, > /fuad > > > + return 1; > > + > > + if (gfn >= kvm->mmu_invalidate_range_start && > > + gfn < kvm->mmu_invalidate_range_end) > > + return 1; > > + } > > + > > if (kvm->mmu_invalidate_seq != mmu_seq) > > return 1; > > return 0; > > diff --git a/virt/kvm/kvm_main.c b/virt/kvm/kvm_main.c > > index b882eb2c76a2..ad55dfbc75d7 100644 > > --- a/virt/kvm/kvm_main.c > > +++ b/virt/kvm/kvm_main.c > > @@ -540,9 +540,7 @@ static void kvm_mmu_notifier_invalidate_range(struct mmu_notifier *mn, > > > > typedef bool (*hva_handler_t)(struct kvm *kvm, struct kvm_gfn_range *range); > > > > -typedef void (*on_lock_fn_t)(struct kvm *kvm, unsigned long start, > > - unsigned long end); > > - > > +typedef void (*on_lock_fn_t)(struct kvm *kvm); > > typedef void (*on_unlock_fn_t)(struct kvm *kvm); > > > > struct kvm_hva_range { > > @@ -628,7 +626,8 @@ static __always_inline int __kvm_handle_hva_range(struct kvm *kvm, > > locked = true; > > KVM_MMU_LOCK(kvm); > > if (!IS_KVM_NULL_FN(range->on_lock)) > > - range->on_lock(kvm, range->start, range->end); > > + range->on_lock(kvm); > > + > > if (IS_KVM_NULL_FN(range->handler)) > > break; > > } > > @@ -715,8 +714,7 @@ static void kvm_mmu_notifier_change_pte(struct mmu_notifier *mn, > > kvm_handle_hva_range(mn, address, address + 1, pte, kvm_set_spte_gfn); > > } > > > > -void kvm_mmu_invalidate_begin(struct kvm *kvm, unsigned long start, > > - unsigned long end) > > +void kvm_mmu_invalidate_begin(struct kvm *kvm) > > { > > /* > > * The count increase must become visible at unlock time as no > > @@ -724,6 +722,17 @@ void kvm_mmu_invalidate_begin(struct kvm *kvm, unsigned long start, > > * count is also read inside the mmu_lock critical section. > > */ > > kvm->mmu_invalidate_in_progress++; > > + > > + if (likely(kvm->mmu_invalidate_in_progress == 1)) { > > + kvm->mmu_invalidate_range_start = INVALID_GPA; > > + kvm->mmu_invalidate_range_end = INVALID_GPA; > > + } > > +} > > + > > +void kvm_mmu_invalidate_range_add(struct kvm *kvm, gfn_t start, gfn_t end) > > +{ > > + WARN_ON_ONCE(!kvm->mmu_invalidate_in_progress); > > + > > if (likely(kvm->mmu_invalidate_in_progress == 1)) { > > kvm->mmu_invalidate_range_start = start; > > kvm->mmu_invalidate_range_end = end; > > @@ -744,6 +753,12 @@ void kvm_mmu_invalidate_begin(struct kvm *kvm, unsigned long start, > > } > > } > > > > +static bool kvm_mmu_unmap_gfn_range(struct kvm *kvm, struct kvm_gfn_range *range) > > +{ > > + kvm_mmu_invalidate_range_add(kvm, range->start, range->end); > > + return kvm_unmap_gfn_range(kvm, range); > > +} > > + > > static int kvm_mmu_notifier_invalidate_range_start(struct mmu_notifier *mn, > > const struct mmu_notifier_range *range) > > { > > @@ -752,7 +767,7 @@ static int kvm_mmu_notifier_invalidate_range_start(struct mmu_notifier *mn, > > .start = range->start, > > .end = range->end, > > .pte = __pte(0), > > - .handler = kvm_unmap_gfn_range, > > + .handler = kvm_mmu_unmap_gfn_range, > > .on_lock = kvm_mmu_invalidate_begin, > > .on_unlock = kvm_arch_guest_memory_reclaimed, > > .flush_on_ret = true, > > @@ -791,8 +806,7 @@ static int kvm_mmu_notifier_invalidate_range_start(struct mmu_notifier *mn, > > return 0; > > } > > > > -void kvm_mmu_invalidate_end(struct kvm *kvm, unsigned long start, > > - unsigned long end) > > +void kvm_mmu_invalidate_end(struct kvm *kvm) > > { > > /* > > * This sequence increase will notify the kvm page fault that > > -- > > 2.25.1 > >