Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.34 as permitted sender) client-ip=23.128.96.34;
Message-ID: <eb30c3e0-8e13-402c-b23d-48b21e0a1498@intel.com>
Date:   Fri, 8 Dec 2023 22:57:42 +0800
User-Agent: Mozilla Thunderbird
Subject: Re: [PATCH v7 02/26] x86/fpu/xstate: Refine CET user xstate bit
 enabling
To:     Maxim Levitsky <mlevitsk@redhat.com>
CC:     <linux-kernel@vger.kernel.org>, <kvm@vger.kernel.org>,
        <dave.hansen@intel.com>, <pbonzini@redhat.com>,
        <seanjc@google.com>, <peterz@infradead.org>, <chao.gao@intel.com>,
        <rick.p.edgecombe@intel.com>, <john.allen@amd.com>
References: <20231124055330.138870-1-weijiang.yang@intel.com>
 <20231124055330.138870-3-weijiang.yang@intel.com>
 <c22d17ab04bf5f27409518e3e79477d579b55071.camel@redhat.com>
 <cdf53e44-62d0-452d-9c06-5c2d2ce3ce66@intel.com>
 <20d45cb6adaa4a8203822535e069cdbbf3b8ba2d.camel@redhat.com>
 <a3a14562-db72-4c19-9f40-7778f14fc516@intel.com>
 <039eaa7c35020774b74dc5e2d03bb0ecfa7c6d60.camel@redhat.com>
Content-Language: en-US
From:   "Yang, Weijiang" <weijiang.yang@intel.com>
In-Reply-To: <039eaa7c35020774b74dc5e2d03bb0ecfa7c6d60.camel@redhat.com>
Content-Type: text/plain; charset="UTF-8"; format=flowed
Content-Transfer-Encoding: 8bit
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?blRaRmFDRWpTN21lUVErVXZmNERJdUVxdkV1ZEhobVhhaEl3bmRDUDR1bEps?=
 =?utf-8?B?RThvMU1tMXkxbWJkNlUwTnNRQWFaNlRhY0luS2RYMjdmUzdVUjBWV1VKTGhR?=
 =?utf-8?B?dHJtcjBRem5XNEgvYytOWEcwblhrdDYrNXFtNEF5ZDBjc1lYYkRrdlpiaUNl?=
 =?utf-8?B?cDVDSlFjbmNSSncwMGpCQnlKZzN5MEwrVE9TUkRmMXR4ZHRSNEFWUzBjNHlk?=
 =?utf-8?B?a0xsTDEwY21LU0p3RU0wTU1TMVpwOFhIM0hYR1lxQUZpaVRodjFWZWJEK2d4?=
 =?utf-8?B?VGxVbXFmY3ZYVy9LdTVKNndTdW9FU0plK1FhbzVJV21PRHpCSXFnS1J5T3cx?=
 =?utf-8?B?b3ZWVUFnbUcxckZGVDBoUGZzYVh3RzBFWE5iUSs3UTlZWDVFeXZBZ1djWUQ4?=
 =?utf-8?B?M0tUY3ZzaHQ5M3o3b0hFT29pNGo3OVpYdUZIazIyKzVhY3hqa1pkWFkxV2N5?=
 =?utf-8?B?K2RnL0NRWUFqRlMwRVVkTUhLK3lkcm54Ykc1cnFIaGo4ZGttaVRVaWVqT0la?=
 =?utf-8?B?VXRYUGpnUU13Y292Q3p1Wi9ON1dZRXBGZG5sMWNCcXZlbWIyYXh0d0JJcWU5?=
 =?utf-8?B?bkhVaTVTWDA4eVAxRmVsdHdvTTdpRFFXUGI4SzIyM292U2FYK1FPVmFLSHEw?=
 =?utf-8?B?TmFzV0JsMlhMeG1wem9kM0ZmM3QyaGY0Y2ZWWjM3VGI0eWRXT2QwMFR6b28y?=
 =?utf-8?B?WEpaUVBSWTVxdWJIQ1FPS2xZSXE0REZ6dGoyS0JYNGU2bWtBMXRpT2VOMmdK?=
 =?utf-8?B?L2xscSt5ZTdsaGVJNVlMVS9JVnVRc1lvQ2JzbXRFZW9MQVVURzNaYkRLc2dj?=
 =?utf-8?B?d2MrTE9RWjFDZy9ObjErb3lEY3dEVklYakV6QytrUU05Ri9GZ25JVkJBbFI2?=
 =?utf-8?B?VkRaNlZHcTc3OTF3NklmNnQ3KytGcjBMenJ1NFZSWWpwSFZacklLbHRxemJn?=
 =?utf-8?B?bjBya2tNSWc3R2djdVY3dUF3OU8xYk0vK1R0L0hrY0dPcVp4dThpaEw0UXpq?=
 =?utf-8?B?RkFoQXVXRDFCc0pVMUdWZXU2ZnBmQ1c2aSs3dUhvenRUaHUveC9QVG50TWdX?=
 =?utf-8?B?emZBaXNTdDI4eVlyaUwrdFlIUzFnOVBqRmVqWlZEM2RlVTlNZ0dwSERzVlpQ?=
 =?utf-8?B?UFh0ZXFKR0JhU0FQM2NOcVd2MzdxeDF2VElsQWpZVnFGNFhlTll2Qjh1dDRy?=
 =?utf-8?B?Z3dBeVVXZTU2VTNXQTNIbHdEelRsaCtwV1lxcUFzdWZXNE40Z25LZVFGVEcx?=
 =?utf-8?B?dWp2eTFaRnJ5TEs3Y3lTT0tFVnBEWjhrM1lYYUVRbEtJQlZhZ1l4SVlLZUxl?=
 =?utf-8?B?QW9RU202R3ZBUTRva1lJVUtjWkMyeXRBdXIzWGN4MVBhTGE4REhHUldKdnFM?=
 =?utf-8?B?WTdjeDhvR0J1NHE2MkRkelgydlQrNVVXb2JqZWFMMVdFd3o3WnBBd29DWktS?=
 =?utf-8?B?OWdCcE9oeUlXQ2Q4NkpEeHpTeWlaS0N3c2RVL0w5VTZ0RWVoMXpIWDBFZHVS?=
 =?utf-8?B?emg1aE00dVFLaXQ5bDFYWlh6QnozZ3V2WnU0MkVVc1BSSjgvd1J6ejRGS24r?=
 =?utf-8?B?d0o0Skg1MWxudUU2ZS90VUtFY0hSeXA3L0Y2Qmk4cm9aeDFIOEx2Tk1WRFM5?=
 =?utf-8?B?SVVmQ1RUc0g2Tld5UXlpUGMvalBTaHh5c0F4UlVvakFVaHNacHd1bkY0YzJF?=
 =?utf-8?B?SjZYb09NbldVSEhlc21lQ3B6a01oZDB5TC96c2ttQ3JManhFK3N2clp6M3Zj?=
 =?utf-8?B?b3BTc0Z2YlFrMWd2OWhjRVJpMUtTTm1pb0xUZ0JkZXZwdzlhTXIxNjlYOTF6?=
 =?utf-8?B?cUZkL0FKcFFBRld5ZWp6ZTlXVE51ZVFNcHc0RWUrbVpOS29BMWhURTZGL0JT?=
 =?utf-8?B?UDluWDMzaXBNMVJ5L0JYdW4rMHFhR2p6S1NtbHJmNitqRnB0b1pJVDRkVXR5?=
 =?utf-8?B?aVhxWnBZMGphaVFYcVgyUjcvdE5mUmZZTEkvNXFGNHIvM21iVmxMaTVEZGxm?=
 =?utf-8?B?aldTblBVQlZSTzlPN2JxWjZBYnFrSi9iR3B5OUlCYTFxZDRkUkpDR2JxQmU1?=
 =?utf-8?B?SWRNM3NoT3RURlVRWWUySEtjU29jNTI3NDJicms2dzBuT2FScDNjT255MVJt?=
 =?utf-8?B?VzdtMll3QThNcExzMWdyWHFaeVVTME5VTi92YU1ta2xhY3NHamdNYUc1ODFh?=
 =?utf-8?B?NXc9PQ==?=
X-MS-Exchange-CrossTenant-Network-Message-Id: 543a12ad-33a0-40f9-0ddd-08dbf7fe0dd9
X-MS-Exchange-CrossTenant-AuthSource: PH0PR11MB4965.namprd11.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 08 Dec 2023 14:57:53.3576
 (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: AsJ+DWJHmsNQILF5QnFUnAdeJ6MYrJLjXjst2R+OEdI8sGcRcfWNYg12o6FB0ccG9LXESKikift1zsYcD94DVQ==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: BL3PR11MB6340
X-OriginatorOrg: intel.com
X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED,
	DKIM_VALID,DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS,
	MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS,T_SCC_BODY_TEXT_LINE
	autolearn=unavailable autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on howler.vger.email
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org
X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.6.4 (howler.vger.email [0.0.0.0]); Fri, 08 Dec 2023 06:59:11 -0800 (PST)

On 12/6/2023 11:57 PM, Maxim Levitsky wrote:
> On Wed, 2023-12-06 at 09:03 +0800, Yang, Weijiang wrote:
>> On 12/5/2023 5:53 PM, Maxim Levitsky wrote:
>>> On Fri, 2023-12-01 at 14:51 +0800, Yang, Weijiang wrote:
>>>> On 12/1/2023 1:26 AM, Maxim Levitsky wrote:
>>>>> On Fri, 2023-11-24 at 00:53 -0500, Yang Weijiang wrote:
>>>>>> Remove XFEATURE_CET_USER entry from dependency array as the entry doesn't
>>>>>> reflect true dependency between CET features and the user xstate bit.
>>>>>> Enable the bit in fpu_kernel_cfg.max_features when either SHSTK or IBT is
>>>>>> available.
>>>>>>
>>>>>> Both user mode shadow stack and indirect branch tracking features depend
>>>>>> on XFEATURE_CET_USER bit in XSS to automatically save/restore user mode
>>>>>> xstate registers, i.e., IA32_U_CET and IA32_PL3_SSP whenever necessary.
>>>>>>
>>>>>> Note, the issue, i.e., CPUID only enumerates IBT but no SHSTK is resulted
>>>>>> from CET KVM series which synthesizes guest CPUIDs based on userspace
>>>>>> settings,in real world the case is rare. In other words, the exitings
>>>>>> dependency check is correct when only user mode SHSTK is available.
>>>>>>
>>>>>> Signed-off-by: Yang Weijiang <weijiang.yang@intel.com>
>>>>>> Reviewed-by: Rick Edgecombe <rick.p.edgecombe@intel.com>
>>>>>> Tested-by: Rick Edgecombe <rick.p.edgecombe@intel.com>
>>>>>> ---
>>>>>>     arch/x86/kernel/fpu/xstate.c | 9 ++++++++-
>>>>>>     1 file changed, 8 insertions(+), 1 deletion(-)
>>>>>>
>>>>>> diff --git a/arch/x86/kernel/fpu/xstate.c b/arch/x86/kernel/fpu/xstate.c
>>>>>> index 73f6bc00d178..6e50a4251e2b 100644
>>>>>> --- a/arch/x86/kernel/fpu/xstate.c
>>>>>> +++ b/arch/x86/kernel/fpu/xstate.c
>>>>>> @@ -73,7 +73,6 @@ static unsigned short xsave_cpuid_features[] __initdata = {
>>>>>>     	[XFEATURE_PT_UNIMPLEMENTED_SO_FAR]	= X86_FEATURE_INTEL_PT,
>>>>>>     	[XFEATURE_PKRU]				= X86_FEATURE_OSPKE,
>>>>>>     	[XFEATURE_PASID]			= X86_FEATURE_ENQCMD,
>>>>>> -	[XFEATURE_CET_USER]			= X86_FEATURE_SHSTK,
>>>>>>     	[XFEATURE_XTILE_CFG]			= X86_FEATURE_AMX_TILE,
>>>>>>     	[XFEATURE_XTILE_DATA]			= X86_FEATURE_AMX_TILE,
>>>>>>     };
>>>>>> @@ -798,6 +797,14 @@ void __init fpu__init_system_xstate(unsigned int legacy_size)
>>>>>>     			fpu_kernel_cfg.max_features &= ~BIT_ULL(i);
>>>>>>     	}
>>>>>>     
>>>>>> +	/*
>>>>>> +	 * CET user mode xstate bit has been cleared by above sanity check.
>>>>>> +	 * Now pick it up if either SHSTK or IBT is available. Either feature
>>>>>> +	 * depends on the xstate bit to save/restore user mode states.
>>>>>> +	 */
>>>>>> +	if (boot_cpu_has(X86_FEATURE_SHSTK) || boot_cpu_has(X86_FEATURE_IBT))
>>>>>> +		fpu_kernel_cfg.max_features |= BIT_ULL(XFEATURE_CET_USER);
>>>>>> +
>>>>>>     	if (!cpu_feature_enabled(X86_FEATURE_XFD))
>>>>>>     		fpu_kernel_cfg.max_features &= ~XFEATURE_MASK_USER_DYNAMIC;
>>>>>>     
>>>>> I am curious:
>>>>>
>>>>> Any reason why my review feedback was not applied even though you did agree
>>>>> that it is reasonable?
>>>> My apology! I changed the patch per you feedback but found XFEATURE_CET_USER didn't
>>>> work before sending out v7 version, after a close look at the existing code:
>>>>
>>>>            for (i = 0; i < ARRAY_SIZE(xsave_cpuid_features); i++) {
>>>>                    unsigned short cid = xsave_cpuid_features[i];
>>>>
>>>>                    /* Careful: X86_FEATURE_FPU is 0! */
>>>>                    if ((i != XFEATURE_FP && !cid) || !boot_cpu_has(cid))
>>>>                            fpu_kernel_cfg.max_features &= ~BIT_ULL(i);
>>>>            }
>>>>
>>>> With removal of XFEATURE_CET_USER entry from xsave_cpuid_features, actually
>>>> above check will clear the bit from fpu_kernel_cfg.max_features.
>>> Are you sure about this? If we remove the XFEATURE_CET_USER from the xsave_cpuid_features,
>>> then the above loop will not touch it - it loops only over the items in the xsave_cpuid_features
>>> array.
>> No,  the code is a bit tricky, the actual array size is XFEATURE_XTILE_DATA( ie, 18) + 1, those xfeature bits not listed in init code leave a blank entry with xsave_cpuid_features[i] == 0, so for the blank elements, the loop hits (i != XFEATURE_FP && !cid) then the relevant xfeature bit for i is cleared in fpu_kernel_cfg.max_features. I had the same illusion at first when I replied your comments in v6, and modified the code as you suggested but found the issue during tests. Please double check it.
> Oh I see now. IMHO the current code is broken, or at least it violates the
> 'Clear XSAVE features that are disabled in the normal CPUID' comment, because
> it also clears all xfeatures which have no CPUID bit in the table (except FPU,
> for which we have a workaround).
>
>
> How about we do this instead:
>
> 	for (i = 0; i < ARRAY_SIZE(xsave_cpuid_features); i++) {
> 		unsigned short cid = xsave_cpuid_features[i];
>
> 		if (cid && !boot_cpu_has(cid))
> 			fpu_kernel_cfg.max_features &= ~BIT_ULL(i);
> 	}

I think existing code is more reasonable,  the side-effect of current code, i.e., masking out
the unclaimed xfeature bits, sanitizes the bits in max_features at the first place, then following calculations derived from it become reasonable too. It also forces developers add explicit dependency claim between xfeature bit and its CPUID so that make it clear why one bit is needed in max_features. Regarding CET_USER bit handling, it could be a singular case, hope it can be tolerated :-)
> The only side effect is that this code will not clear features bits for which kernel knows
> no CPUID bit but kernel anyway clears _all_ features that it knows nothing about so there
> is no net change in behavior.
>
> (That is kernel only allows XFEATURE_MASK_USER_SUPPORTED | XFEATURE_MASK_SUPERVISOR_SUPPORTED)

IMHO, the bits in the macros are just xfeature candidate bits, the relevant CPUID features could be disabled
for any reason, in this case, the bits should not be appear in fpu_kernel_cfg.max_features.