Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:2 as permitted sender) client-ip=2620:137:e000::3:2;
MIME-Version: 1.0
References: <20231114170038.381634-1-ubizjak@gmail.com> <SN6PR02MB41570168279C428D385ADCB0D4B1A@SN6PR02MB4157.namprd02.prod.outlook.com>
 <CAFULd4Z3DZh0SoEyNHfz3=DM2CkDGtNP_f1gVx64NJkzmWp-Pw@mail.gmail.com>
 <ZV163ePuUQyyeKUj@liuwe-devbox-debian-v2> <CAFULd4ZqhQTpUNw7xMvfAk7jUR0EweHVVbNY2+9oA0ZiGOrhXg@mail.gmail.com>
In-Reply-To: <CAFULd4ZqhQTpUNw7xMvfAk7jUR0EweHVVbNY2+9oA0ZiGOrhXg@mail.gmail.com>
From:   Uros Bizjak <ubizjak@gmail.com>
Date:   Wed, 22 Nov 2023 13:38:22 +0100
Message-ID: <CAFULd4ZXKhj9eXFikr-aaxju5k7tAD9aiVfQ-0OXoNgwP2ZHWA@mail.gmail.com>
Subject: Re: [PATCH] x86/hyperv: Use atomic_try_cmpxchg() to micro-optimize hv_nmi_unknown()
To:     Wei Liu <wei.liu@kernel.org>
Cc:     Michael Kelley <mhklinux@outlook.com>,
        "linux-hyperv@vger.kernel.org" <linux-hyperv@vger.kernel.org>,
        "x86@kernel.org" <x86@kernel.org>,
        "linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>,
        "K. Y. Srinivasan" <kys@microsoft.com>,
        Haiyang Zhang <haiyangz@microsoft.com>,
        Dexuan Cui <decui@microsoft.com>,
        Thomas Gleixner <tglx@linutronix.de>,
        Ingo Molnar <mingo@kernel.org>, Borislav Petkov <bp@alien8.de>,
        Dave Hansen <dave.hansen@linux.intel.com>,
        "H. Peter Anvin" <hpa@zytor.com>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Precedence: bulk

On Wed, Nov 22, 2023 at 1:31=E2=80=AFPM Uros Bizjak <ubizjak@gmail.com> wro=
te:
>
> On Wed, Nov 22, 2023 at 4:52=E2=80=AFAM Wei Liu <wei.liu@kernel.org> wrot=
e:
> >
> > On Wed, Nov 15, 2023 at 09:58:29PM +0100, Uros Bizjak wrote:
> > > On Wed, Nov 15, 2023 at 6:19=E2=80=AFPM Michael Kelley <mhklinux@outl=
ook.com> wrote:
> > > >
> > > > From: Uros Bizjak <ubizjak@gmail.com> Sent: Tuesday, November 14, 2=
023 8:59 AM
> > > > >
> > > > > Use atomic_try_cmpxchg() instead of atomic_cmpxchg(*ptr, old, new=
) =3D=3D old
> > > > > in hv_nmi_unknown(). On x86 the CMPXCHG instruction returns succe=
ss in
> > > > > the ZF flag, so this change saves a compare after CMPXCHG. The ge=
nerated
> > > > > asm code improves from:
> > > > >
> > > > >   3e: 65 8b 15 00 00 00 00    mov    %gs:0x0(%rip),%edx
> > > > >   45: b8 ff ff ff ff          mov    $0xffffffff,%eax
> > > > >   4a: f0 0f b1 15 00 00 00    lock cmpxchg %edx,0x0(%rip)
> > > > >   51: 00
> > > > >   52: 83 f8 ff                cmp    $0xffffffff,%eax
> > > > >   55: 0f 95 c0                setne  %al
> > > > >
> > > > > to:
> > > > >
> > > > >   3e: 65 8b 15 00 00 00 00    mov    %gs:0x0(%rip),%edx
> > > > >   45: b8 ff ff ff ff          mov    $0xffffffff,%eax
> > > > >   4a: f0 0f b1 15 00 00 00    lock cmpxchg %edx,0x0(%rip)
> > > > >   51: 00
> > > > >   52: 0f 95 c0                setne  %al
> > > > >
> > > > > No functional change intended.
> > > > >
> > > > > Cc: "K. Y. Srinivasan" <kys@microsoft.com>
> > > > > Cc: Haiyang Zhang <haiyangz@microsoft.com>
> > > > > Cc: Wei Liu <wei.liu@kernel.org>
> > > > > Cc: Dexuan Cui <decui@microsoft.com>
> > > > > Cc: Thomas Gleixner <tglx@linutronix.de>
> > > > > Cc: Ingo Molnar <mingo@kernel.org>
> > > > > Cc: Borislav Petkov <bp@alien8.de>
> > > > > Cc: Dave Hansen <dave.hansen@linux.intel.com>
> > > > > Cc: "H. Peter Anvin" <hpa@zytor.com>
> > > > > Signed-off-by: Uros Bizjak <ubizjak@gmail.com>
> > > > > ---
> > > > >  arch/x86/kernel/cpu/mshyperv.c | 5 ++++-
> > > > >  1 file changed, 4 insertions(+), 1 deletion(-)
> > > > >
> > > > > diff --git a/arch/x86/kernel/cpu/mshyperv.c
> > > > > b/arch/x86/kernel/cpu/mshyperv.c index e6bba12c759c..01fa06dd06b6
> > > > > 100644
> > > > > --- a/arch/x86/kernel/cpu/mshyperv.c
> > > > > +++ b/arch/x86/kernel/cpu/mshyperv.c
> > > > > @@ -262,11 +262,14 @@ static uint32_t  __init ms_hyperv_platform(=
void)
> > > > > static int hv_nmi_unknown(unsigned int val, struct pt_regs *regs)=
  {
> > > > >       static atomic_t nmi_cpu =3D ATOMIC_INIT(-1);
> > > > > +     unsigned int old_cpu, this_cpu;
> > > > >
> > > > >       if (!unknown_nmi_panic)
> > > > >               return NMI_DONE;
> > > > >
> > > > > -     if (atomic_cmpxchg(&nmi_cpu, -1, raw_smp_processor_id()) !=
=3D -1)
> > > > > +     old_cpu =3D -1;
> > > > > +     this_cpu =3D raw_smp_processor_id();
> > > > > +     if (!atomic_try_cmpxchg(&nmi_cpu, &old_cpu, this_cpu))
> > > > >               return NMI_HANDLED;
> > > > >
> > > > >       return NMI_DONE;
> > > > > --
> > > > > 2.41.0
> > > >
> > > > The change looks correct to me.  But is there any motivation other
> > > > than saving 3 bytes of generated code?  This is not a performance
> > > > sensitive path.  And the change adds 3 lines of source code.  So
> > > > I wonder if the change is worth the churn.
> > >
> > > Yes, I was trying to make the function more easy to understand and
> > > similar to nmi_panic() from kernel/panic.c. I had also the idea of
> > > using CPU_INVALID #define instead of -1, but IMO, the above works as
> > > well.
> > >
> > > > In any case,
> > > >
> > > > Reviewed-by: Michael Kelley <mhklinux@outlook.com>
> >
> > Applied to hyperv-fixes.
> >
> > Uros, just so you know, DKIM verification failed when I used b4 to appl=
y
> > this patch. You may want to check your email setup.
>
> Strange, because I didn't touch the mailer and git config for
> months... and recently I have sent many patches this way without
> problems.

This one [1] checks OK, so it looks like some transient issue with gmail.

[1] https://lore.kernel.org/lkml/20231120153419.3045-1-ubizjak@gmail.com/

Thanks,
Uros.