From mboxrd@z Thu Jan 1 00:00:00 1970 From: Xiao Guangrong Subject: Re: [PATCH v7 12/15] nEPT: Nested INVEPT Date: Mon, 05 Aug 2013 16:53:11 +0800 Message-ID: <51FF67F7.8060005@linux.vnet.ibm.com> References: <1375690040-5764-1-git-send-email-gleb@redhat.com> <1375690040-5764-13-git-send-email-gleb@redhat.com> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Cc: kvm@vger.kernel.org, Jun Nakajima , Yang Zhang , pbonzini@redhat.com To: Gleb Natapov Return-path: Received: from e28smtp07.in.ibm.com ([122.248.162.7]:52875 "EHLO e28smtp07.in.ibm.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1755172Ab3HEI5e (ORCPT ); Mon, 5 Aug 2013 04:57:34 -0400 Received: from /spool/local by e28smtp07.in.ibm.com with IBM ESMTP SMTP Gateway: Authorized Use Only! Violators will be prosecuted for from ; Mon, 5 Aug 2013 14:19:04 +0530 Received: from d28relay05.in.ibm.com (d28relay05.in.ibm.com [9.184.220.62]) by d28dlp02.in.ibm.com (Postfix) with ESMTP id 17C7B3940058 for ; Mon, 5 Aug 2013 14:27:22 +0530 (IST) Received: from d28av05.in.ibm.com (d28av05.in.ibm.com [9.184.220.67]) by d28relay05.in.ibm.com (8.13.8/8.13.8/NCO v10.0) with ESMTP id r758vPxP36176064 for ; Mon, 5 Aug 2013 14:27:25 +0530 Received: from d28av05.in.ibm.com (localhost [127.0.0.1]) by d28av05.in.ibm.com (8.14.4/8.14.4/NCO v10.0 AVout) with ESMTP id r758vS2V027173 for ; Mon, 5 Aug 2013 14:27:28 +0530 In-Reply-To: <1375690040-5764-13-git-send-email-gleb@redhat.com> Sender: kvm-owner@vger.kernel.org List-ID: On 08/05/2013 04:07 PM, Gleb Natapov wrote: > From: Nadav Har'El > > If we let L1 use EPT, we should probably also support the INVEPT instruction. > > In our current nested EPT implementation, when L1 changes its EPT table > for L2 (i.e., EPT12), L0 modifies the shadow EPT table (EPT02), and in > the course of this modification already calls INVEPT. But if last level > of shadow page is unsync not all L1's changes to EPT12 are intercepted, > which means roots need to be synced when L1 calls INVEPT. Global INVEPT > should not be different since roots are synced by kvm_mmu_load() each > time EPTP02 changes. Reviewed-by: Xiao Guangrong