Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:7 as permitted sender) client-ip=2620:137:e000::3:7;
MIME-Version: 1.0
References: <20231021143739.843941-1-ubizjak@gmail.com> <ZTPniJs9/ep11F2I@gmail.com>
In-Reply-To: <ZTPniJs9/ep11F2I@gmail.com>
From:   Uros Bizjak <ubizjak@gmail.com>
Date:   Sat, 21 Oct 2023 17:11:58 +0200
Message-ID: <CAFULd4Zyv7KVo=pO5wEXbuh6bFmAkx=Hgx+LqDuLxAD+nTYS6Q@mail.gmail.com>
Subject: Re: [PATCH -tip v2] x86/percpu: Introduce const-qualified const_pcpu_hot
To:     Ingo Molnar <mingo@kernel.org>
Cc:     x86@kernel.org, linux-kernel@vger.kernel.org,
        Andy Lutomirski <luto@kernel.org>,
        Brian Gerst <brgerst@gmail.com>,
        Denys Vlasenko <dvlasenk@redhat.com>,
        "H . Peter Anvin" <hpa@zytor.com>,
        Linus Torvalds <torvalds@linux-foundation.org>,
        Peter Zijlstra <peterz@infradead.org>,
        Thomas Gleixner <tglx@linutronix.de>,
        Josh Poimboeuf <jpoimboe@redhat.com>,
        Nadav Amit <namit@vmware.com>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Precedence: bulk

On Sat, Oct 21, 2023 at 5:00=E2=80=AFPM Ingo Molnar <mingo@kernel.org> wrot=
e:
>
>
> * Uros Bizjak <ubizjak@gmail.com> wrote:
>
> >  arch/x86/include/asm/current.h   | 7 +++++++
> >  arch/x86/include/asm/percpu.h    | 6 +++---
> >  arch/x86/include/asm/processor.h | 3 +++
> >  arch/x86/kernel/cpu/common.c     | 1 +
> >  arch/x86/kernel/vmlinux.lds.S    | 1 +
> >  include/linux/compiler.h         | 2 +-
> >  6 files changed, 16 insertions(+), 4 deletions(-)
> >
> > diff --git a/arch/x86/include/asm/current.h b/arch/x86/include/asm/curr=
ent.h
> > index a1168e7b69e5..0538d2436673 100644
> > --- a/arch/x86/include/asm/current.h
> > +++ b/arch/x86/include/asm/current.h
> > @@ -36,8 +36,15 @@ static_assert(sizeof(struct pcpu_hot) =3D=3D 64);
> >
> >  DECLARE_PER_CPU_ALIGNED(struct pcpu_hot, pcpu_hot);
> >
> > +/* const-qualified alias to pcpu_hot, aliased by linker. */
> > +DECLARE_PER_CPU_ALIGNED(const struct pcpu_hot __percpu_seg_override,
> > +                     const_pcpu_hot);
>
> The aliasing makes me a bit nervous. Could we at least prefix it a bit mo=
re
> prominently, like const__pcpu_hot? That way it's immediately obvious at a=
ll
> usage sites that it's "special".

Sure, it can be renamed. The symbol - although aliased - may be used
in a general way. It is const-qualified and placed in __seg_gs address
space, so all the rules for const and __seg_gs qualifications apply.
However, the values are not that constant, and can be changed behind
the scenes via the pcpu_hot R/W alias.

Uros.