Re: [PATCH v6 13/20] x86/split_lock: Enable split lock detection by default

From: Thomas Gleixner
Date: Thu Apr 04 2019 - 15:45:13 EST


On Thu, 4 Apr 2019, Fenghua Yu wrote:
> On Thu, Apr 04, 2019 at 08:07:57PM +0200, Thomas Gleixner wrote:
> > On Wed, 3 Apr 2019, Fenghua Yu wrote:
> > > +static DEFINE_MUTEX(split_lock_detect_mutex);
> > > +static int split_lock_detect_val;
> >
> > detect_val? What value is that?
>
> According to previous discussions, I was told to call this split lock feature
> as "split lock detection" instead of "#AC for split lock". So I use
> "split_lock_detect..." in variable names or function names, call feature flag
> as "split_lock_detect", and call the feature as "split lock detection" in
> descriptions.
>
> If you don't agree to name feature as "split lock detection", I can change
> variable names/function names/feature flag/descriptions etc back to previous
> names "ac_split_lock...", "#AC for split lock", etc.
>
> The variable split_lock_detect_val is either 0 or 1. It stores current
> enable/disable status of split lock detection feature. By default it's
> one after the feature is enumerated. Then sysadmin can change it to 0 or 1
> to enable or disable the feature during run time.

> > static unsigned int ac_split_lock_enable;
>
> If you agree to name the split lock feature as "split lock detection" feature,
> can I change this variable to static unsigned int split_lock_detect_enable?

I don't care much whether it's ac_split_lock or split_lock_detect, but _val
is a completely bogus and unintuitive name. The variable tells whether the
functionality is enabled or not. Then do not name it $prefix_val, which can
mean anything. Name it $prefix_enable, which makes it entirely clear what
this is about.

And please make it type bool so you don't need any of these defines either.

> > > +static u32 new_sp_test_ctl_val(u32 test_ctl_val)
> > > +{
> > > + /* Change the split lock setting. */
> > > + if (READ_ONCE(split_lock_detect_val) == DISABLE_SPLIT_LOCK_DETECT)
> >
> > That READ_ONCE() is required because?
>
> Ok. Will remove READ_ONCE().
>
> >
> > > + test_ctl_val &= ~TEST_CTL_ENABLE_SPLIT_LOCK_DETECT;
> > > + else
> > > + test_ctl_val |= TEST_CTL_ENABLE_SPLIT_LOCK_DETECT;
> > > +
> > > + return test_ctl_val;
> > > +}
> >
> > Aside of that do we really need a misnomed function which replaces the
> > simple inline code at the call site:
> >
> > rdmsr(l, h)
> > l &= ~TEST_CTL_ENABLE_SPLIT_LOCK_DETECT;
> > l |= ac_split_lock_enable << TEST_CTL_ENABLE_SPLIT_LOCK_DETECT_SHIFT;
> > wrmrs(...)
> >
> > or the even more simple
> >
> > if (ac_split_lock_enable)
> > msr_set_bit(...)
> > else
> > msr_clear_nit(...)
> >
> > Hmm?
>
> The function new_sp_test_ctrl_val() will be called twice: here when
> initializing split lock detection and in split_lock_detect_store()
> when enabling/disabling the feature through the sysfs interface in
> patch 0014.

It's still pointless.

> So can I still keep this function and name it as get_new_test_ctrl_val()?

No. The function you want to share between init code and sysfs is

split_lock_update_msr()
{
if (split_lock_enable)
msr_set_bit(...)
else
msr_clear_nit(...)
}

That's all. No duplicated code. No convoluted helper function,
nothing. Simple straight forward readable code.

> > > +static inline void show_split_lock_detection_info(void)
> > > +{
> > > + if (READ_ONCE(split_lock_detect_val))
> >
> > That READ_ONCE() is required because?
>
> Ok. Will remove READ_ONCE().
>
> >
> > > + pr_info_once("x86/split_lock: split lock detection enabled\n");
> > > + else
> > > + pr_info_once("x86/split_lock: split lock detection disabled\n");
> >
> > pr_fmt exists for a reason and having 'split lock' repeated several times
> > in the same line is not making it more readable.
>
> Ok. I will change the string to "x86/split_lock_detection: enabled\n",
> is it ok?

Care to read carefully what I wrote? Hint: pr_fmt

> > Oh well. You add defines on top of the file and then you don't use them.
>
> Will fix this.

What about the init / feature detection sequence which you snipped from the
reply?

Thanks,

tglx