Received-SPF: pass (google.com: domain of linux-kernel+bounces-185655-linux.lists.archive=gmail.com@vger.kernel.org designates 147.75.199.223 as permitted sender) client-ip=147.75.199.223;
Date: Wed, 22 May 2024 09:29:08 +0800
From: Yan Zhao <yan.y.zhao@intel.com>
To: Paolo Bonzini <pbonzini@redhat.com>
CC: Sean Christopherson <seanjc@google.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: <Zk1KZDStu/+CR0i4@yzhao56-desk.sh.intel.com>
Reply-To: Yan Zhao <yan.y.zhao@intel.com>
References: <20240515005952.3410568-3-rick.p.edgecombe@intel.com>
 <b89385e5c7f4c3e5bc97045ec909455c33652fb1.camel@intel.com>
 <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>
Content-Type: text/plain; charset="utf-8"
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <7df9032d-83e4-46a1-ab29-6c7973a2ab0b@redhat.com>
Precedence: bulk
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?MkpKRlo5YnUwTmNmSnZYVmd3NHNOcDE3dythbi84TmlVUGx1K3g2QmFNODBm?=
 =?utf-8?B?TWlRTTdZNWU2bmJpRzNvbzFFUDBnTzk3ZlpUOFlGWnJQcjE0NDhaalZxNWdB?=
 =?utf-8?B?K0FsUGM0MXdweE9DNm9qUjJmKzRLdW93bW5BSlJSRE1YNEk3blRFNm9wNnFw?=
 =?utf-8?B?MHBZRmZsNWFodEtoOTRXQW02L1hmNFYwUFBBWlNCVllFNC82bXpMMVl2MjZI?=
 =?utf-8?B?RTdqcGplR3ZwSzdsR21TMFErSUlJNUMxVnZZZ0UzZFNNY0ptQ0M0bDIrbFJF?=
 =?utf-8?B?Q2RtM0I1cVVaL1VxakRZc1I4NG1mOW9LRVkwRWpLQ3hYdjZGbksyUmk3SG1a?=
 =?utf-8?B?diswS1BzMHpRbUNNSVNwc0p5QWozNmZMTWNCdThaMEl4bDZoWU8vRzhJc0p6?=
 =?utf-8?B?dGZaTHdUbWRCNHJ4c05VUlRsK3pFRGFnbGNvV0taWG93bmF2djRQMDZ2STNp?=
 =?utf-8?B?ZkVNQVBFaXIyNFZJUnZEaWxPaFNGM1VMOXRBak5sN0YrRUdHa3pRWEl3cUsx?=
 =?utf-8?B?R2RyUXkvNFdscVVpdDhwNE5QWkMyOHhhNVFMMU8zcnFvbFpOSXliTUF5eG1O?=
 =?utf-8?B?Tk9SOGYzU1VtUFBTUGhtamgrays5ZTI5eDArQVA0OWQ0dExsdklCVVlUNytH?=
 =?utf-8?B?TkhoTlBhUmlQOWpNMGJwV2hXOWN5d3JCdnpncENIQUZnNEpiVGtJZnVsR05L?=
 =?utf-8?B?RDlDTGxSUHc0MlZEL1ZhZ0w4bi9LVFc5eUVTSzlYRkFxZlpCUTRNZlhEd25m?=
 =?utf-8?B?UlBSbGtkVW9uMThtb0dsU24rcFh5VDVzZURtZzFIejFJSTF1QktsYmgyelg0?=
 =?utf-8?B?cHR4L0YwQ3RjaEZWVVZHQk5rUG5oQ0Z4Q2ZZeUFORGNGMjMyZVp0VXYxdWpp?=
 =?utf-8?B?cWFDTm5hTVRQMm1IVDJpaGhBa3h4M1QvRmxsUm9DdU5PSERXQUFpa1ZXVFdt?=
 =?utf-8?B?ZUtzenRyWU5nOFgyZC9ZREQ5Nm1XRndETWpGeURqc2pLL0lQcUl2N1ltMlhr?=
 =?utf-8?B?YkkyT2FRTWlSK0FBakhMYVhlUGhHMHRueVdXbThzMzdoMy8xMkdGTUNSWlAz?=
 =?utf-8?B?cjlvaGYyRVhURVhNUmZhT21mNlVnNUhLVklvRlU2WHRGa2Rtd1FJQ25YcFVF?=
 =?utf-8?B?U3R4NFFhQzhoaVdVQ1pTWTRNaHZMOTB1RXQ0ZTNielVrRUJTYSttKzdDTFN4?=
 =?utf-8?B?bU9kTTFPUHVaNUxCUE14a3kzb2ZDRVdHd1cxUlRXR1k1azRRNURVOFlITWJ5?=
 =?utf-8?B?bmdnNVJ2UUtCdFFFeE5vckdEamRYelhlZHNpMFpxaGVFTTVTK0pxTEtMUENK?=
 =?utf-8?B?S2dDbUk4YU1hZHVPK3NEL1pSSlU3YzZuMUxPWDViVUpzaGhFTktPdE5uOG1M?=
 =?utf-8?B?NXVwNDFpSG9kVEpWV1k5dzNpc3VvWXdOOGd3VEdoajk3M09vUUR1TFlYTWx6?=
 =?utf-8?B?Wlk1UHJhS2lkMzNMdlRQemFtVXlNdXVYdVhNM1IrcEVOSWJqYnhUbnB2RzRS?=
 =?utf-8?B?Z2Q2K2cySWRQaWo4NXZQa3RxdDRaVlZXaHpMR0x1MER5QlprVHdvTU1RaStn?=
 =?utf-8?B?TEFwRnE1cjJyemFxb1ErOUlzRjU2ZHcyVU90ZzJDdDZsZ09leWRPeUVEbVhs?=
 =?utf-8?B?RFpPZmZkMmJtSVhXVTJQK2dkV01RdzcxZVJxZERySXY4YlMxVjJuZSs0RlYz?=
 =?utf-8?B?Vm5WMHd2UzQrWmN5NWkyOTZ0Q2pCM1NFM0dmY1Z3SXVXN0VUaHNuUFE2L2F2?=
 =?utf-8?B?anl6aGp5VFUyRXZrZWZVSmZUbmhobmlGWkNTL2dQclJndHd0Ynl5OXp6ejda?=
 =?utf-8?B?aFFWdVl4ZzBPeEd2QVZVdDh6TXYvUm04U0pURWd3aTFycFdJaXF6VFFmQXlm?=
 =?utf-8?B?ZDlEdXdlRjFjb0hsQ3VwVDRnMStIdjkwOUJxdDJXZXBBMnlqdk1lMG9XQmw2?=
 =?utf-8?B?Qmx0dFk0YW9WNjlwZnV0M0FReVlSZDlGc2hQTnRqZ21lUUZIZ1VDRTFUM1hV?=
 =?utf-8?B?ZG44cDVicDdTQy9TQ04wTFdydmhhaDdjSGRVYmxtVnd1VDJjdktQZDBkc2V2?=
 =?utf-8?B?dkFnT0ZKREpPUVcxd2VuTkh1ZlV4cVBxcWlMcVlkQmxZaHpVdituTTcwZXVG?=
 =?utf-8?Q?eBs6TzAlUcQPcT3+LUPRSyDbf?=
X-MS-Exchange-CrossTenant-Network-Message-Id: 2ad79a23-fbe3-472e-493b-08dc79feb0a8
X-MS-Exchange-CrossTenant-AuthSource: DS7PR11MB5966.namprd11.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 22 May 2024 01:29:57.3846
 (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: Zm17Bf1DHzEiNumK9LG52zmYl8Lps9OYZvpb1m4WVJYzXwUCrwGVlnkFwKgILpFjmvPRXqOiUVszg/Ud8TWtVA==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: CY8PR11MB7170
X-OriginatorOrg: intel.com

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.

I have the same feeling that the bug is probably not reproducible with latest
KVM code. And even when both ways are bug free, some VMs may still prefer to
fast zapping given it's fast.
So, I'm wondering if a cap in [1] is better.

[1] https://lore.kernel.org/kvm/20200713190649.GE29725@linux.intel.com/T/#mabc0119583dacf621025e9d873c85f4fbaa66d5c