Received-SPF: softfail (google.com: domain of transitioning linux-kernel-owner@vger.kernel.org does not designate 23.128.96.19 as permitted sender) client-ip=23.128.96.19;
Date:   Tue, 26 Apr 2022 13:47:34 +0200
From:   Sebastian Andrzej Siewior <bigeasy@linutronix.de>
To:     "Fabio M. De Francesco" <fmdefrancesco@gmail.com>
Cc:     Ira Weiny <ira.weiny@intel.com>,
        Andrew Morton <akpm@linux-foundation.org>,
        Catalin Marinas <catalin.marinas@arm.com>,
        "Matthew Wilcox (Oracle)" <willy@infradead.org>,
        Will Deacon <will@kernel.org>,
        Peter Collingbourne <pcc@google.com>,
        Vlastimil Babka <vbabka@suse.cz>, linux-kernel@vger.kernel.org,
        Jonathan Corbet <corbet@lwn.net>, linux-doc@vger.kernel.org,
        outreachy@lists.linux.dev, Thomas Gleixner <tglx@linutronix.de>,
        Peter Zijlstra <peterz@infradead.org>
Subject: Re: [PATCH v2 4/4] Documentation/vm: Rework "Temporary Virtual
 Mappings" section
Message-ID: <Ymfb1saaHVuq4IUl@linutronix.de>
References: <20220425162400.11334-1-fmdefrancesco@gmail.com>
 <20220425162400.11334-5-fmdefrancesco@gmail.com>
 <YmecctAD9XXYG8CR@linutronix.de>
 <3610796.MHq7AAxBmi@leap>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
In-Reply-To: <3610796.MHq7AAxBmi@leap>
Precedence: bulk

On 2022-04-26 12:45:12 [+0200], Fabio M. De Francesco wrote:
> > > +* kmap_local_page().  This function is used to require short term=20
> mappings.
> > > +  It can be invoked from any context (including interrupts) but the=
=20
> mappings
> > > +  can only be used in the context which acquired them.
> > > +
> > > +  This function should be preferred, where feasible, over all the=20
> others.
> >=20
> > feasible? It should always be used.=20
>=20
> No, it cannot always be used. Please read again few lines above this that=
=20
> "The mapping can only be used in the context which acquired them". We=20
> cannot do blind s/kmap/kmap_local_page/.

I'm sorry it seems I slipped while reading and replying.
The kmap_atomic() part has "should be only used if it is absolutely
required" =E2=80=A6 " otherwise kmap_local_page()". The kmap_atomic() shoul=
d be
used in new code. The alternative kmap() and kmap_local*() should be
enough.

> > Maybe "thread local" instead CPU local? Another thread on the same CPU
> > can not use this mapping.
> >=20
>=20
> Hmm, I might add "thread local" to convey that the local mappings should=
=20
> stay in the same context that acquired them.=20
>=20
> However, kmap_local_page() also disable migration. This is how Thomas=20
> Gleixner talks about kmap_local_page() in his patch where it introduced=
=20
> this function:=20
>=20
> "The kmap_local.*() functions can be invoked from both preemptible and
> atomic context. kmap local sections disable migration to keep the resulti=
ng
> virtual mapping address correct, but disable neither pagefaults nor
> preemption.".
>=20
> Therefore, if it "disable migration" it is "CPU local". I mean that I mig=
ht=20
> also add "thread local" but I think (at least at this moment) that I won'=
t=20
> remove "CPU local".

Hmm. It is thread-local in the end. There are slots 0 =E2=80=A6 KM_MAX_IDX =
for
the mappings. Slot 0 for task A can be different from slot 0 for task B
while both run on CPU0. So the same address, that is returned from
kmap_local(), will point to a different page for both tasks. Both tasks
can't be migrated to another CPU while the mapping is active.
"CPU local" sounds like something that is same to everyone on the same
CPU which is what this_cpu_read() for instance does.

> @Ira: what about this proposal?
>=20
> Thanks,
>=20
> Fabio

Sebastian