Received-SPF: pass (google.com: domain of linux-kernel+bounces-180537-linux.lists.archive=gmail.com@vger.kernel.org designates 139.178.88.99 as permitted sender) client-ip=139.178.88.99;
Message-ID: <d5c37fcc-e457-43b0-8905-c6e230cf7dda@intel.com>
Date: Thu, 16 May 2024 13:04:05 +1200
User-Agent: Mozilla Thunderbird
Subject: Re: [PATCH 04/16] KVM: x86/mmu: Add address conversion functions for
 TDX shared bit of GPA
To: "Edgecombe, Rick P" <rick.p.edgecombe@intel.com>, "kvm@vger.kernel.org"
	<kvm@vger.kernel.org>, "pbonzini@redhat.com" <pbonzini@redhat.com>,
	"seanjc@google.com" <seanjc@google.com>
CC: "sagis@google.com" <sagis@google.com>, "linux-kernel@vger.kernel.org"
	<linux-kernel@vger.kernel.org>, "Aktas, Erdem" <erdemaktas@google.com>,
	"isaku.yamahata@gmail.com" <isaku.yamahata@gmail.com>, "Zhao, Yan Y"
	<yan.y.zhao@intel.com>, "dmatlack@google.com" <dmatlack@google.com>
References: <20240515005952.3410568-1-rick.p.edgecombe@intel.com>
 <20240515005952.3410568-5-rick.p.edgecombe@intel.com>
 <9f315b56-7da8-428d-bc19-224e19f557e0@intel.com>
 <307f2360707e5c7377a898b544fabc7d72421572.camel@intel.com>
 <eb98d0e7-8fbd-40d2-a6b3-0bf98edb77f9@intel.com>
 <fe9687d5f17fa04e5e15fdfd7021fa6e882d5e37.camel@intel.com>
 <465b8cb0-4ce1-4c9b-8c31-64e4a503e5f2@intel.com>
 <bf1038ae56693014e62984af671af52a5f30faba.camel@intel.com>
 <4e0968ae-11db-426a-b3a4-afbd4b8e9a49@intel.com>
 <0a168cbcd8e500452f3b6603cc53d088b5073535.camel@intel.com>
 <6df62046-aa3b-42bd-b5d6-e44349332c73@intel.com>
 <1270d9237ba8891098fb52f7abe61b0f5d02c8ad.camel@intel.com>
Content-Language: en-US
From: "Huang, Kai" <kai.huang@intel.com>
In-Reply-To: <1270d9237ba8891098fb52f7abe61b0f5d02c8ad.camel@intel.com>
Content-Type: text/plain; charset="UTF-8"; format=flowed
Content-Transfer-Encoding: 8bit
Precedence: bulk
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?R1VwQWtDaDUzSDJERXYxOWR6VWlNV3dXSklWUzRzeE9kemFrVWhSazVjdWRo?=
 =?utf-8?B?bFRzaHZmVEtPbks0YTVhZ1JxRkZIcUNLRWFkQnlzODJtTzlsdzQ1bUxpYVlq?=
 =?utf-8?B?U0szSURoSHlaMk56N0VYd2F0a2dlYk1McXBlVTdIUFJBTmVtY3kveldPUFVa?=
 =?utf-8?B?Q2YwZWVnYXRGZ1pDK3UxM0Q3NGdPUnA5RVd0bGVhckd6aU5xMlowNHNLd1p0?=
 =?utf-8?B?cmVwY0daZldlTXN2d0w3ZkFFZHh3OTQ4UENnaGluRExoUzJiMjFpN1hKaXZR?=
 =?utf-8?B?a0Urc3A0N3FKRkxYa1R1VUhvVUNTNDlZQ2JzQzJPajBxd044V2NtNVBrQUNz?=
 =?utf-8?B?WWcvZ3VjZzlwVGZ1Wkt2Y1BVMlN2dFp2WTlOSkxnemN0ZnNTbS9jdmQwNXll?=
 =?utf-8?B?TVFHSFI1YVFOUDBac3d6cktXOHI0TjZpTHplSHJ1enM0V2lDK01ERVozU2Q5?=
 =?utf-8?B?MDdOSnljaHV1UGRMOE0zUEFOd09nRUJFSllSWXVNZUNydnlrZUVPaTVMdzFr?=
 =?utf-8?B?MWVyeUova255QitKM25HcVUrT0l5OU44TEFzb05URXNIMFJqVEx3SVJUZ2RC?=
 =?utf-8?B?TWZwbm5ZaEt4TWZmTzliYmM0dmlKK3JuNnRMRHF0emRuUUtrWFJJUElEYWtn?=
 =?utf-8?B?SVFodGlvUjlQa0U1aXRla0dTSHBnTFhFc2ljbnMzOU02ZldFRTBWWFY2THNa?=
 =?utf-8?B?S1Q2UTQ4QWRkQ2tPZ1hTTkw1dGFMSXp2WXRNKzQ3b2xPVS95MmErL0wrTXRD?=
 =?utf-8?B?VGhGV2wrd3E0TWZzWkxnZVdCQm11UDhXTUNEbmpmWUhJMlFrSWpVYW13MWVS?=
 =?utf-8?B?MVhoTVQyd1kwNE9KQW84NXdSb0FpRU81bVIzZk4xUHI0eG8yQksxSG1pQUlv?=
 =?utf-8?B?OVA0QkhNZ2ZIdG9rK2daWUY4N25EWDlzU2NSaGtLV1Z0bDhhVEs4eEdmSUxR?=
 =?utf-8?B?QTB5ZFU2bTc0K1FBMjFSS3NZYXZzWXVhWjZ6SlREeU5tTnEzdng2N0E4MFQx?=
 =?utf-8?B?M2NsRWREaTRUaVVWNE5rVjQzYll5cXZONldOQ1B1OXl1S2orOXZVcDdnUjRO?=
 =?utf-8?B?UWtUL2RCM0Y4a0NCdWhUT2RrQVdLVVVKalY0SjlyWmFwc2FSL0FTelVZZWYw?=
 =?utf-8?B?dWpndnM4VXlPNCtLck1Ta091aWdyRWIvb2JSOHRLWkNkVnV5WnNodnhJWVFi?=
 =?utf-8?B?L2hSZzNZcEFwSVFrcnFCQnlwK3k0MmR2K0gwclFKTVdQcVJ2YXhROE4zT2pz?=
 =?utf-8?B?dVVBdzdYanlyWmUvN08xcGYxRlZCY1ExVTdYaXBqQ2ZQYVFnMUEvTWVXTXFN?=
 =?utf-8?B?TDZmWnBGNHBpZ1JDc05TTDlzeU9Pb3c2K2RhZVl0ZzU4UFB4djYzeXUxTWNF?=
 =?utf-8?B?ZnM4NFNtZDV5a3kwb3k1LzNHYXR6dzFOb3R4bGNxT1A0Nllwa3QwYytEaXZO?=
 =?utf-8?B?eTJuLzZDZEhGRnB0NmJ5aitnOWdDSGxUOWl4T2N2TkozYWZybXYwSEU4MkJo?=
 =?utf-8?B?bVJYeTNYcFFxVXcvSU1TbklnK3JyV1Y3NE9FdUVpZUxVRzJubXVPT1g3bVZu?=
 =?utf-8?B?SW5LYldIV01FOWhkRlpjOVFXNGlMbTMvQzcrRXZkTHZRTytUWUE0K0ZpbHJT?=
 =?utf-8?B?V0hMcXI3OVEyUVVadUVTNTN1YkFzVXpVQU1QQTdZdVdRSUlzQ0JyUGUxU2ly?=
 =?utf-8?B?YU9YZFYrWjVhNzJjSnk3aTlDaVRuT1ZicDVaN3N1bzNlVkxQWXVlWWlXTjU0?=
 =?utf-8?B?MXF0b1ZpZEdEMTdWdk9sK0owaFRTTnArMHFDSC9Wd290dWlUcUVhbjZYcFE1?=
 =?utf-8?B?VEM2S0xWaWNES3EzTytzNWlHMHVlTHNSRHBNOG5wcVZVb01UVDFFVTZXRW9y?=
 =?utf-8?B?dmdxOXZTU2srNVNVUTNVYzhyZENxdFpFdGpVS2UyVnNoMVplM3ZtVEJ4OVZR?=
 =?utf-8?B?eXJIOWdvSTJVcXNEREZvRlFkVzV4OUpWQmJ5L2p1M2s0eXFrcXArL2JsREM4?=
 =?utf-8?B?MHpxQWRMbkNDTWNTK3ExMEtFbjdFbkRYalIxTmtMUng3Y3l4UTF1TDFTNGZa?=
 =?utf-8?B?RXpLdGk4K3RTeWRucGNHWENJQzU0WDRqcXh5WVpYMmlveGRGam4zZUdNZ3ox?=
 =?utf-8?Q?Ptn4BIK2hlfS80ZLLB+HkzoGq?=
X-MS-Exchange-CrossTenant-Network-Message-Id: 681a0106-0fb9-4f6e-1c36-08dc75441a52
X-MS-Exchange-CrossTenant-AuthSource: BL1PR11MB5978.namprd11.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 16 May 2024 01:04:14.1153
 (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: 0yL9UiLquEo8PEntJAG47dPnqGob1ZBIDc95/z5JFGni8A3oEgZ+ZHBxLhU+oY1FkBrDKtAosE6bQ7GROsMq+A==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: LV8PR11MB8510
X-OriginatorOrg: intel.com


On 16/05/2024 12:35 pm, Edgecombe, Rick P wrote:
> On Thu, 2024-05-16 at 12:25 +1200, Huang, Kai wrote:
>>
>>
>> On 16/05/2024 12:19 pm, Edgecombe, Rick P wrote:
>>> On Thu, 2024-05-16 at 12:12 +1200, Huang, Kai wrote:
>>>>
>>>> I don't have strong objection if the use of kvm_gfn_shared_mask() is
>>>> contained in smaller areas that truly need it.  Let's discuss in
>>>> relevant patch(es).
>>>>
>>>> However I do think the helpers like below makes no sense (for SEV-SNP):
>>>>
>>>> +static inline bool kvm_is_private_gpa(const struct kvm *kvm, gpa_t gpa)
>>>> +{
>>>> +       gfn_t mask = kvm_gfn_shared_mask(kvm);
>>>> +
>>>> +       return mask && !(gpa_to_gfn(gpa) & mask);
>>>> +}
>>>
>>> You mean the name? SNP doesn't have a concept of "private GPA" IIUC. The C
>>> bit
>>> is more like an permission bit. So SNP doesn't have private GPAs, and the
>>> function would always return false for SNP. So I'm not sure it's too
>>> horrible.
>>
>> Hmm.. Why SNP doesn't have private GPAs?  They are crypto-protected and
>> KVM cannot access directly correct?
> 
> I suppose a GPA could be pointing to memory that is private. But I think in SNP
> it is more the memory that is private. Now I see more how it could be confusing.
> 
>>
>>>
>>> If it's the name, can you suggest something?
>>
>> The name make sense, but it has to reflect the fact that a given GPA is
>> truly private (crypto-protected, inaccessible to KVM).
> 
> If this was a function that tested whether memory is private and took a GPA, I
> would call it is_private_mem() or something. Because it's testing the memory and
> takes a GPA, not testing the GPA. Usually a function name should be about what
> the function does, not what arguments it takes.
> 
> I can't think of a better name, but point taken that it is not ideal. I'll try
> to think of something.
> 

I really don't see difference between ...

	is_private_mem(gpa)

.. and

	is_private_gpa(gpa)

If it confuses me, it can confuses other people.

The point is there's really no need to distinguish the two.  The GPA is 
only meaningful when it refers to the memory that it points to.

So far I am not convinced we need this helper, because such info we can 
already get from:

   1) fault->is_private;
   2) Xarray which records memtype for given GFN.

So we should just get rid of it.