From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-2.3 required=3.0 tests=HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS,USER_AGENT_SANE_1 autolearn=no autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id D039EC3A59E for ; Wed, 21 Aug 2019 20:30:43 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.kernel.org (Postfix) with ESMTP id 9DFDD2339E for ; Wed, 21 Aug 2019 20:30:43 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1728582AbfHUUam (ORCPT ); Wed, 21 Aug 2019 16:30:42 -0400 Received: from mga04.intel.com ([192.55.52.120]:55586 "EHLO mga04.intel.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1727014AbfHUUam (ORCPT ); Wed, 21 Aug 2019 16:30:42 -0400 X-Amp-Result: UNKNOWN X-Amp-Original-Verdict: FILE UNKNOWN X-Amp-File-Uploaded: False Received: from orsmga003.jf.intel.com ([10.7.209.27]) by fmsmga104.fm.intel.com with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 21 Aug 2019 13:30:41 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.64,412,1559545200"; d="scan'208";a="181150811" Received: from sjchrist-coffee.jf.intel.com (HELO linux.intel.com) ([10.54.74.41]) by orsmga003.jf.intel.com with ESMTP; 21 Aug 2019 13:30:41 -0700 Date: Wed, 21 Aug 2019 13:30:41 -0700 From: Sean Christopherson To: Alex Williamson Cc: Paolo Bonzini , Radim =?utf-8?B?S3LEjW3DocWZ?= , kvm@vger.kernel.org, Xiao Guangrong Subject: Re: [PATCH v2 11/27] KVM: x86/mmu: Zap only the relevant pages when removing a memslot Message-ID: <20190821203041.GJ29345@linux.intel.com> References: <20190813115737.5db7d815@x1.home> <20190813133316.6fc6f257@x1.home> <20190813201914.GI13991@linux.intel.com> <20190815092324.46bb3ac1@x1.home> <20190820200318.GA15808@linux.intel.com> <20190820144204.161f49e0@x1.home> <20190820210245.GC15808@linux.intel.com> <20190821130859.4330bcf4@x1.home> <20190821133504.79b87767@x1.home> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20190821133504.79b87767@x1.home> User-Agent: Mutt/1.5.24 (2015-08-30) Sender: kvm-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: kvm@vger.kernel.org On Wed, Aug 21, 2019 at 01:35:04PM -0600, Alex Williamson wrote: > On Wed, 21 Aug 2019 13:08:59 -0600 > Alex Williamson wrote: > > Does this suggests something is still fundamentally wrong with the > > premise of this change or have I done something stupid? > > Seems the latter, particularly your comment that we're looking for > pages pointing to the gfn range to be removed, not just those in the > range. Slot gfn ranges like ffe00-ffe1f are getting reduced to 0-0 or > c0000-c0000, zapping zero or c0000, and I think one of the ones you > were looking for c1080-c1083 is reduce to c1000-c1000 and therefore > zaps sp->gfn c1000. I'll keep looking. Thanks, Ya. As far as where to look, at this point I don't think it's an issue of incorrect zapping. Not because I'm 100% confident the zapping logic is correct, but because many of the tests, e.g. removing 'sp->gfn != gfn' and not being able to exclude APIC/IOAPIC ranges, suggest that the badness is 'fixed' by zapping seemingly unrelated sps. In other words, it may be fundamentally wrong to zap only the memslot being removed, but I really want to know why. History isn't helpful as KVM has always zapped all pages when removing a memslot (on x86), and the introduction of the per-memslot flush hook in commit 2df72e9bc4c5 ("KVM: split kvm_arch_flush_shadow") was all about refactoring generic code, and doesn't have any information on whether per-memslot flushing was actually tried for x86.