Received: by 2002:a25:8b91:0:0:0:0:0 with SMTP id j17csp4206166ybl; Mon, 13 Jan 2020 09:36:16 -0800 (PST) X-Google-Smtp-Source: APXvYqwxNWki4mR6W+XRphkQQdSsZzmS8yEW3aodADlwYmqF1Tj0/EYH3XWU2Bqtbo+yUyWLR+he X-Received: by 2002:aca:120e:: with SMTP id 14mr12855211ois.135.1578936976251; Mon, 13 Jan 2020 09:36:16 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1578936976; cv=none; d=google.com; s=arc-20160816; b=dqBDYDgqw0gwcCnqve9aeQ3ZaBpV62aQwHLBp8A7dnZ7qOrE5P3MPpIUjmn5W92D7M 4FVmGfHiujdQFRwNERnuIMTsQOL40JkWjXHZtW1pIBwrW+/KU7gtAuz0qqcMT2dDy4rA EkrDJ6BMaxQnQxDbeITYmmB9H2ZhQPHFPbCm/FfQ/+WEIwLanlugfxeAkbcFotBmKXhF dNZW7Yszf+IIIQdo1aGf9TaMNSFyT5YBRfruFEw+QuLssjUTObDF8YdMj90tdEavH9Tr MGhtr56CbdL8LRZJUPVB4GHEqH2CTP70DvHE+Pn/8C09m7X+xMgpLyjurV4YeOVBaEKH TvBQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:user-agent:in-reply-to :content-disposition:mime-version:references:message-id:subject:cc :to:from:date; bh=YLERVmH2J1iUJtx63xNJhgL0i0yZZumdlNISbHhhxGI=; b=M+TgdXlEuzX93qxiFoVdqaMNtsxVMjHk0htbSZGHNALYEdK879xVgZFI+KXNfq1K9L tgJ0H99xSRa4esi4VDYPOxhkS9xV+c3ECo+9iL5f8HXKxVEKIEYXp+IeBRagBNhesQzt tD3TA2unmfAls0qed/2Cm6mabT4QzaW1hGICszWAzhSZil3h77091SjjQN7e9QLxnfkh Sbe2jjUSth186fESxMaEE0cdPQJBwG7P/Ozl4MWr7Z+FaYbFQhk8SsQPOVtZGRdyxg8c zxs0X983ks/9gqFoLVe5eSBve0Y4aNTrK3AvsozsWvFKss/HSHqskxPgffN67iRKZ9Ac WEyw== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=intel.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id n203si6030357oia.112.2020.01.13.09.36.04; Mon, 13 Jan 2020 09:36:16 -0800 (PST) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=intel.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1728838AbgAMReB (ORCPT + 99 others); Mon, 13 Jan 2020 12:34:01 -0500 Received: from mga06.intel.com ([134.134.136.31]:21119 "EHLO mga06.intel.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1728827AbgAMRd7 (ORCPT ); Mon, 13 Jan 2020 12:33:59 -0500 X-Amp-Result: UNKNOWN X-Amp-Original-Verdict: FILE UNKNOWN X-Amp-File-Uploaded: False Received: from orsmga008.jf.intel.com ([10.7.209.65]) by orsmga104.jf.intel.com with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 13 Jan 2020 09:33:58 -0800 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.69,429,1571727600"; d="scan'208";a="217471468" Received: from sjchrist-coffee.jf.intel.com (HELO linux.intel.com) ([10.54.74.202]) by orsmga008.jf.intel.com with ESMTP; 13 Jan 2020 09:33:58 -0800 Date: Mon, 13 Jan 2020 09:33:58 -0800 From: Sean Christopherson To: Yang Weijiang Cc: kvm@vger.kernel.org, linux-kernel@vger.kernel.org, pbonzini@redhat.com, jmattson@google.com, yu.c.zhang@linux.intel.com, alazar@bitdefender.com, edwin.zhai@intel.com Subject: Re: [RESEND PATCH v10 06/10] vmx: spp: Set up SPP paging table at vmentry/vmexit Message-ID: <20200113173358.GC1175@linux.intel.com> References: <20200102061319.10077-1-weijiang.yang@intel.com> <20200102061319.10077-7-weijiang.yang@intel.com> <20200110180458.GG21485@linux.intel.com> <20200113081050.GF12253@local-michael-cet-test.sh.intel.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20200113081050.GF12253@local-michael-cet-test.sh.intel.com> User-Agent: Mutt/1.5.24 (2015-08-30) Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Mon, Jan 13, 2020 at 04:10:50PM +0800, Yang Weijiang wrote: > On Fri, Jan 10, 2020 at 10:04:59AM -0800, Sean Christopherson wrote: > > On Thu, Jan 02, 2020 at 02:13:15PM +0800, Yang Weijiang wrote: > > > @@ -3585,7 +3602,30 @@ static bool fast_page_fault(struct kvm_vcpu *vcpu, gva_t gva, int level, > > > if ((error_code & PFERR_WRITE_MASK) && > > > spte_can_locklessly_be_made_writable(spte)) > > > { > > > - new_spte |= PT_WRITABLE_MASK; > > > + /* > > > + * Record write protect fault caused by > > > + * Sub-page Protection, let VMI decide > > > + * the next step. > > > + */ > > > + if (spte & PT_SPP_MASK) { > > > + int len = kvm_x86_ops->get_inst_len(vcpu); > > > > There's got to be a better way to handle SPP exits than adding a helper > > to retrieve the instruction length. > > > The fault instruction was skipped by kvm_skip_emulated_instruction() > before, but Paolo suggested leave the re-do or skip option to user-space > to make it flexible for write protection or write tracking, so return > length to user-space. Sorry, my comment was unclear. I have no objection to punting the fault to userspace, it's the mechanics of how it's done that I dislike. Specifically, (a) using run->exit_reason to propagate the SPP exit up the stack, e.g. instead of modifying affected call stacks to play nice with any exit to userspace, (b) assuming ->get_insn_len() will always be accurate, e.g. see the various caveats in skip_emulated_instruction() for both VMX and SVM, and (c) duplicating the state capture code in every location that can encounter a SPP fault. What I'm hoping is that it's possible to modify the call stacks to explicitly propagate an exit to userspace and/or SPP fault, and shove all the state capture into a common location, e.g. handle_ept_violation(). Side topic, assuming the userspace VMI is going to be instrospecting the faulting instruction, won't it decode the instruction? I.e. calculate the instruction length anyways?