Received-SPF: pass (google.com: domain of linux-kernel+bounces-185824-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:4601:e00::3 as permitted sender) client-ip=2604:1380:4601:e00::3;
Date: Wed, 22 May 2024 14:48:30 +0800
From: Yan Zhao <yan.y.zhao@intel.com>
To: Sean Christopherson <seanjc@google.com>
CC: Paolo Bonzini <pbonzini@redhat.com>, Kai Huang <kai.huang@intel.com>, Rick
 P Edgecombe <rick.p.edgecombe@intel.com>, "dmatlack@google.com"
	<dmatlack@google.com>, "sagis@google.com" <sagis@google.com>,
	"linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>, Erdem Aktas
	<erdemaktas@google.com>, "kvm@vger.kernel.org" <kvm@vger.kernel.org>,
	"isaku.yamahata@gmail.com" <isaku.yamahata@gmail.com>
Subject: Re: [PATCH 02/16] KVM: x86/mmu: Introduce a slot flag to zap only
 slot leafs on slot deletion
Message-ID: <Zk2VPoIpm9E6CCTm@yzhao56-desk.sh.intel.com>
Reply-To: Yan Zhao <yan.y.zhao@intel.com>
References: <ZkUIMKxhhYbrvS8I@google.com>
 <1257b7b43472fad6287b648ec96fc27a89766eb9.camel@intel.com>
 <ZkUVcjYhgVpVcGAV@google.com>
 <ac5cab4a25d3a1e022a6a1892e59e670e5fff560.camel@intel.com>
 <ZkU7dl3BDXpwYwza@google.com>
 <175989e7-2275-4775-9ad8-65c4134184dd@intel.com>
 <ZkVDIkgj3lWKymfR@google.com>
 <7df9032d-83e4-46a1-ab29-6c7973a2ab0b@redhat.com>
 <Zk1KZDStu/+CR0i4@yzhao56-desk.sh.intel.com>
 <Zk1ZA-u9yYq0i15-@google.com>
Content-Type: text/plain; charset="utf-8"
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <Zk1ZA-u9yYq0i15-@google.com>
Precedence: bulk
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?Rm5NVGh0NzJjK0ZpY0ZEcmRKYWV4WXBSM0MyYnA0QUlScEQvRzVUUmo4L0U4?=
 =?utf-8?B?R2MrZ2NnL0NUcFZsU1FxWnpoZlJWSVFCd0haWWZHbHdWK2pLZzBuR1lKTEFy?=
 =?utf-8?B?YzArR3o2RGMvajRCWUdyTG5Dem1XdWx0VVdVbkxWVXF6bHRXV0QrakVYaXN6?=
 =?utf-8?B?bWN2bE4wOW1GWklEZHlOYlFrMitpQU9raHlGU0haWXpsTmZMTHFsbzNSOUpo?=
 =?utf-8?B?Z2F0YmxoS1Z1emRsU21Zb2JPZ0xlZzhjclFwNUVCaTY5bkJNVzVQWjNla3dT?=
 =?utf-8?B?WUwxblFnenJpQW1USi9wODI4YmVEcDhWejhSUXJwKzNLR2hZdFd3d0xGWjhO?=
 =?utf-8?B?Y0R6VHd5Qlc2TFNId3JVdFlwYWN1UkIrc3JGQmVUWUVyb3h3MzEyZWpSOTJ0?=
 =?utf-8?B?OVAwUjZZZDdWZEZZcWVPcjJOQlRxTVF4MG1BbnZ0NC9oRW9EU0d2WElqQlJX?=
 =?utf-8?B?eDZlNHFaZ0VLWlZGVi9JbjcyeDBFb2w1Nlkwa1RKdXhaVjNrT1UyVEpocTQ2?=
 =?utf-8?B?K0pKek05dGd2d3p5TVpySko3cFoyZlZWT3lTV1M0bGpuOWdCc1pvUWxJNXJ0?=
 =?utf-8?B?L0t4WnJ1OE1ibmY3NkNrSWdtcGNOajczN3psa0o3OWVlWmVGcjdJaDBvNjZD?=
 =?utf-8?B?NUpwWDdvaUJQWExoMWFuSHMxQURmZlpSaEtkY1hOSHNRbFh2Zk1PUTF5UGlS?=
 =?utf-8?B?a3dYTzBvZG5USFBSVmhXVjc1Mit4TmhDSklmdDBka0RCZDQ0a2V1UEs2a0Rr?=
 =?utf-8?B?amtKRUp4WGxZVEp3WklDcDVtSXRBWWQ4MnZvd1pzQXEwS3Q0aW9majQ0ZTQx?=
 =?utf-8?B?bGJCY0RZcEM2YkNIVUlhZnhJR3Q5dHp0RDFIdEZrSE5TUTc0aUI0bjdyVEl4?=
 =?utf-8?B?T0FXM0lteTNFL1hqcWNremhmNFRBN1lqRE52SWJTZ3BOSnlNdEFIQW9iOEhp?=
 =?utf-8?B?bHg5VXZma2UwUzJkN21jWnR5RVpUa0hPd2Zkd01MZGJQWHI5R2FCNGI1Y3pU?=
 =?utf-8?B?M1pCYnhIRDdoY0UxR0hLOEx4Mk9sUlp3dktNOTJNU0YwNnBlMjhmL1Nwb21t?=
 =?utf-8?B?M2NUUnV3VlhzTVBDQWNnL2t3N3BEU2FkTVZhdm9SeXhnZld6WlZ1bGw3Uzls?=
 =?utf-8?B?Mm8rakRaMkRrOUozNjhidVJkTHdoRE5UZk1FamJpVUo4QWMrbjc1NWttcldt?=
 =?utf-8?B?Tk85TmY1OWxURGNkZ3M2THk0anZZZ0RSMk5JakcyaFB4cnpLRE1DRTFqVi95?=
 =?utf-8?B?U0xCOGJtQ21kNmJJb29GU0ZvVGc1SHQxbExkZkg4SnJrOXNyZFNKQnVoZXAx?=
 =?utf-8?B?NTNUV0xEVjBSdmVQeWs2emNIc3dBczFsdGRseURsQytsd1ZzdUpUTE5rdm4y?=
 =?utf-8?B?b1hVK2tJZUVUdUxNOWhuc2QxL1Q1eGU1Z1ZnZHd6Q0VsSEQ3V1RpajBtSnRL?=
 =?utf-8?B?WFVLc3ROd3dHZDY4SFBwOTV2V2pkZWh3ZW0rdW5LTHRzRit1cXlma0tTb0NF?=
 =?utf-8?B?amtQLzQzYUN3UWRnZFBtaXBDR2ZTNWhicEZFaUw3bW45SDJGcU9BdWNSVlA0?=
 =?utf-8?B?ZVB2WFZOcmlmdnhBN0hmdyswRDJMcHA2MDR3TTJ5dFV5ZHJGeXNyMHRGeE0x?=
 =?utf-8?B?bzRLdWs5Sm00N0JFRUxtKzk0ZkI3YUlKaWhsSG9HeXBIVko2WFdpUlFpbmhr?=
 =?utf-8?B?ZExxN0JFL1dIRUJFWTBwK1pGWktEWXoxclgxZzM4ZnF3alNCWWwxYmlvSUs1?=
 =?utf-8?B?NHgvR2ZIRU1aQzBmem1Rbk5iU0hhUU5DNlNCckUzMWREdEdQUGViSkx3b0Na?=
 =?utf-8?B?SlBVc2MyS3RhSi9GZmRVeUN2QjY4bGpjOFdIUjBGRDF6cDEwcFUrOUNmeFVW?=
 =?utf-8?B?U21nc0g0SlY2QnpVa0t3RkU2U3pCVVlvUE5ZR25RY093S0hwalRrYTdNYXFu?=
 =?utf-8?B?R3Buejg2UHkvQm9kWU5XS2c2WmZPRjI5QzhQZm9uU2w3NXRIdStQTmo0aFFh?=
 =?utf-8?B?NnVJVzlmWHd1NER0OW9oa3h5eHVON3RHQm8rZFpRWTNpdU9BTCtrY0JjT2RS?=
 =?utf-8?B?bm9OMkZWZmdWMXc5TUdqSnVmb3Z5by8yQ1NjdDdWZm4zYVZ1T3VZNEljQm9W?=
 =?utf-8?Q?h/mLeexnAkugSOYyu35gE8/8b?=
X-MS-Exchange-CrossTenant-Network-Message-Id: e8d16470-1cca-4ba4-16a8-08dc7a2b4e77
X-MS-Exchange-CrossTenant-AuthSource: DS7PR11MB5966.namprd11.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 22 May 2024 06:49:19.9346
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 46c98d88-e344-4ed4-8496-4ed7712e255d
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: xzHgIP5rhP+UA45Cpv/yp0Od4FGOTgvgHq7v5M0rEBQL4HP4zbfo7B2UztlEeKmF39EI8DbUwF1PoNrQ7hH4Eg==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: MW3PR11MB4569
X-OriginatorOrg: intel.com

On Tue, May 21, 2024 at 07:31:31PM -0700, Sean Christopherson wrote:
> On Wed, May 22, 2024, Yan Zhao wrote:
> > On Fri, May 17, 2024 at 05:30:50PM +0200, Paolo Bonzini wrote:
> > > On 5/16/24 01:20, Sean Christopherson wrote:
> > > > Hmm, a quirk isn't a bad idea.  It suffers the same problems as a memslot flag,
> > > > i.e. who knows when it's safe to disable the quirk, but I would hope userspace
> > > > would be much, much cautious about disabling a quirk that comes with a massive
> > > > disclaimer.
> > > > 
> > > > Though I suspect Paolo will shoot this down too ????
> > > 
> > > Not really, it's probably the least bad option.  Not as safe as keying it
> > > off the new machine types, but less ugly.
> > A concern about the quirk is that before identifying the root cause of the
> > issue, we don't know which one is a quirk, fast zapping all TDPs or slow zapping
> > within memslot range.
> 
> The quirk is specifically that KVM zaps SPTEs that aren't related to the memslot
> being deleted/moved.  E.g. the issue went away if KVM zapped a rather arbitrary
> set of SPTEs.  IIRC, there was a specific gfn range that was "problematic", but
> we never figured out the correlation between the problematic range and the memslot
> being deleted.
> 
So, a quirk like KVM_X86_QUIRK_ZAP_ALL_ON_MEMSLOT_DELETION, and enable it by
default?

> Disabling the quirk would allow KVM to choose between a slow/precise/partial zap,
> and full/fast zap.
TDX needs to disable the quirk for slow/precise/partial zap, right?
Then, when unsafe and passthrough devices are involved in TDX, we need to either
keep disabling the quirk if no bug reported or identify the root cause then.
Is that correct?