Re: [PATCH 03/22] mm: introduce MMF_KERNEL flag and set it for init_mm

"David Hildenbrand (Arm)" <[email protected]> Wed, 5 Aug 2026 14:07:01 +0200
Newsgroups org.kernel.vger.linux-arch,dev.linux.lists.loongarch,org.infradead.lists.linux-riscv,org.infradead.lists.linux-um,org.kernel.vger.linux-efi,org.kernel.vger.linux-kernel,org.kernel.vger.linux-parisc,org.kernel.vger.linux-s390,org.kernel.vger.sparclinux,org.kvack.linux-mm,org.ozlabs.lists.linuxppc-dev
Message-ID <[email protected]>
On 8/3/26 15:59, Christophe Leroy (CS GROUP) wrote:
> 
> 
> Le 14/07/2026 à 16:03, Kevin Brodsky a écrit :
>> mm code often needs to know whether some mm represents a kernel or
>> user address space. This is currently done by comparing the mm
>> pointer with &init_mm; besides not being particularly elegant, this
>> ignores the fact that other mm's (e.g. efi_mm) may also represent
>> parts of the kernel address space.
>>
>> Introduce a new mm flag MMF_KERNEL and set it for init_mm.
>> Subsequent patches will use this flag to replace comparisons with
>> &init_mm. No functional change is introduced for now.
> 
> Did you consider performance impact ? This test is usually done in quite
> critical memory handling functions.
> 
> init_mm is known at link time. Before your patch 08/22 there is just a
> comparison of mm (r3) with a constant (loaded in r10):
> 
> c0014048 <assert_pte_locked>:
> c0014048:    3d 40 c1 09     lis     r10,-16119
> c001404c:    39 4a 03 98     addi    r10,r10,920
> c0014050:    7c 03 50 00     cmpw    r3,r10
> c0014054:    4d 82 00 20     beqlr
> ...
> 
> After patch 08/22 we have, it first checks that mm is not 0, then it loads the
> word located at mm+528 then AND it with 0x1. This load might be costly.
> 
> c0014048 <assert_pte_locked>:
> c0014048:    2c 03 00 00     cmpwi   r3,0
> c001404c:    7c 85 23 78     mr      r5,r4
> c0014050:    41 82 00 10     beq     c0014060 <assert_pte_locked+0x18>
> c0014054:    81 23 02 10     lwz     r9,528(r3)
> c0014058:    71 29 00 01     andi.   r9,r9,1
> c001405c:    4c 82 00 20     bnelr

Is that a real problem, though?

What we could do is to just keep the == &init_mm check internally on configs
where we know that there is only a single such MM context.

Just a thought.

-- 
Cheers,

David