lkml.org 
[lkml]   [2024]   [Apr]   [17]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
SubjectRe: [PATCH v8 2/2] x86/mm: Don't disable PCID if the kernel is running on a hypervisor
From
On Wed, Apr 17, 2024, Dave Hansen wrote:
> On 4/17/24 10:22, Pawan Gupta wrote:
> >>> static const struct x86_cpu_id invlpg_miss_ids[] = {
> >>> + /* Only bare-metal is affected. PCIDs in guests are OK. */
> >>> + {
> >>> + .vendor = X86_VENDOR_INTEL,
> >>> + .family = 6,
> >>> + .model = INTEL_FAM6_ANY,

Just in case we go this route (I hope we don't), this should probably be:

/* Only bare-metal is affected. PCIDs in guests are OK. */
{
.vendor = X86_VENDOR_ANY,
.feature = X86_FEATURE_HYPERVISOR,
.driver_data = 0,
},

to make it clear that the goal is to match only the feature. Matching Intel P6
suffices because that's what the other entries in the array all check, but it
makes subtle, confusing code even more subtle and confusing.

> >>> + .feature = X86_FEATURE_HYPERVISOR,
> >> Isn't this inverted? x86_match_cpu() will return NULL if the CPU doesn't have
> >> HYPERVISOR. We want it to return NULL if the CPU *does* have HYPERVISOR.
> > I think the implementation is correct, x86_match_cpu() will not return
> > NULL if the CPU doesn't have HYPERVISOR feature *and* matches one of the
> > CPUs below. It will only return NULL if none of the entries match.

Oooh, and because it's the first entry it will always be found even if a different
entry would match the FMS. Oof.

> I think I gave a crappy suggestion here.
>
> Let's just do the X86_FEATURE_HYPERVISOR explicitly in the code instead
> of trying to cram it into the invlpg_miss_ids[] check. It's way easier
> to understand with an explicit code check.

+1. And it doesn't rely on the HYPERVISOR entry being the first entry, which
is doubly evil.

\
 
 \ /
  Last update: 2024-04-17 20:23    [W:0.049 / U:0.724 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site