Linux-ARM-Kernel Archive on lore.kernel.org
 help / color / mirror / Atom feed
From: Kevin Brodsky <kevin.brodsky@arm.com>
To: Ard Biesheuvel <ardb+git@google.com>, linux-kernel@vger.kernel.org
Cc: linux-arm-kernel@lists.infradead.org, Ard Biesheuvel <ardb@kernel.org>
Subject: Re: [RFC PATCH v2 2/4] arm64: mm: Use fault handler to permit swapper_pg_dir updates
Date: Tue, 1 Sep 2026 11:12:40 +0200	[thread overview]
Message-ID: <9f7e0bc4-2825-4ef9-abb1-41e0ffea8e2d@arm.com> (raw)
In-Reply-To: <20260827164409.3421848-8-ardb+git@google.com>

On 27/08/2026 18:44, Ard Biesheuvel wrote:
> From: Ard Biesheuvel <ardb@kernel.org>
>
> Instead of checking the destination of a page table descriptor update
> against the virtual address of swapper_pg_dir in the kernel image, and
> taking a dedicated path to perform such updates via a fixmap alias,
> rely on a fault handler to do so if the plain store faulted.
>
> This is more efficient for the general case, and makes it more
> straight-forward to extend this logic to other page tables that may have
> been allocated statically in the .rodata region of the kernel image.
>
> Signed-off-by: Ard Biesheuvel <ardb@kernel.org>
> ---
>  arch/arm64/include/asm/fixmap.h  |  1 +
>  arch/arm64/include/asm/pgtable.h | 49 +++++++++-----------
>  arch/arm64/mm/mmu.c              | 18 +++----
>  3 files changed, 32 insertions(+), 36 deletions(-)
>
> diff --git a/arch/arm64/include/asm/fixmap.h b/arch/arm64/include/asm/fixmap.h
> index 9191125738e9..8db791dcb4cb 100644
> --- a/arch/arm64/include/asm/fixmap.h
> +++ b/arch/arm64/include/asm/fixmap.h
> @@ -99,6 +99,7 @@ enum fixed_addresses {
>  	FIX_PUD,
>  	FIX_P4D,
>  	FIX_PGD,

Doesn't FIX_PTVAL replace FIX_PGD (i.e. we can remove it)?

> +	FIX_PTVAL,
>  
>  	__end_of_fixed_addresses
>  };
> diff --git a/arch/arm64/include/asm/pgtable.h b/arch/arm64/include/asm/pgtable.h
> index 6000905a2e86..799cd9d52c28 100644
> --- a/arch/arm64/include/asm/pgtable.h
> +++ b/arch/arm64/include/asm/pgtable.h
> @@ -35,6 +35,7 @@
>  #include <asm/cmpxchg.h>
>  #include <asm/fixmap.h>
>  #include <asm/por.h>
> +#include <asm/uaccess.h>
>  #include <linux/mmdebug.h>
>  #include <linux/mm_types.h>
>  #include <linux/sched.h>
> @@ -814,7 +815,7 @@ extern pgd_t idmap_pg_dir[];
>  extern pgd_t tramp_pg_dir[];
>  extern pgd_t reserved_pg_dir[];
>  
> -extern void set_swapper_pgd(pgd_t *pgdp, pgd_t pgd);
> +void try_set_readonly_ptval(ptval_t *ptvalp, ptval_t ptval);
>  
>  static inline bool in_swapper_pgdir(void *addr)
>  {
> @@ -824,17 +825,14 @@ static inline bool in_swapper_pgdir(void *addr)
>  
>  static inline void set_pmd(pmd_t *pmdp, pmd_t pmd)
>  {
> -#ifdef __PAGETABLE_PMD_FOLDED
> -	if (in_swapper_pgdir(pmdp)) {
> -		set_swapper_pgd((pgd_t *)pmdp, __pgd(pmd_val(pmd)));
> -		return;
> -	}
> -#endif /* __PAGETABLE_PMD_FOLDED */
> -
> -	WRITE_ONCE(*pmdp, pmd);
> +	__put_kernel_nofault(pmdp, &pmd, pmd_t, fault);
>  
>  	if (pmd_valid(pmd))
>  		queue_pte_barriers();
> +	return;
> +
> +fault:
> +	try_set_readonly_ptval(&pmd_val(*pmdp), pmd_val(pmd));
>  }
>  
>  static inline void pmd_clear(pmd_t *pmdp)
> @@ -890,15 +888,14 @@ static inline bool pgtable_l4_enabled(void);
>  
>  static inline void set_pud(pud_t *pudp, pud_t pud)
>  {
> -	if (!pgtable_l4_enabled() && in_swapper_pgdir(pudp)) {
> -		set_swapper_pgd((pgd_t *)pudp, __pgd(pud_val(pud)));
> -		return;
> -	}
> -
> -	WRITE_ONCE(*pudp, pud);
> +	__put_kernel_nofault(pudp, &pud, pud_t, fault);
>  
>  	if (pud_valid(pud))
>  		queue_pte_barriers();
> +	return;
> +
> +fault:
> +	try_set_readonly_ptval(&pud_val(*pudp), pud_val(pud));
>  }
>  
>  static inline void pud_clear(pud_t *pudp)
> @@ -971,13 +968,12 @@ static inline bool mm_pud_folded(const struct mm_struct *mm)
>  
>  static inline void set_p4d(p4d_t *p4dp, p4d_t p4d)
>  {
> -	if (in_swapper_pgdir(p4dp)) {
> -		set_swapper_pgd((pgd_t *)p4dp, __pgd(p4d_val(p4d)));
> -		return;
> -	}
> -
> -	WRITE_ONCE(*p4dp, p4d);
> +	__put_kernel_nofault(p4dp, &p4d, p4d_t, fault);
>  	queue_pte_barriers();
> +	return;
> +
> +fault:
> +	try_set_readonly_ptval(&p4d_val(*p4dp), p4d_val(p4d));
>  }
>  
>  static inline void p4d_clear(p4d_t *p4dp)
> @@ -1099,13 +1095,12 @@ static inline bool mm_p4d_folded(const struct mm_struct *mm)
>  
>  static inline void set_pgd(pgd_t *pgdp, pgd_t pgd)
>  {
> -	if (in_swapper_pgdir(pgdp)) {
> -		set_swapper_pgd(pgdp, __pgd(pgd_val(pgd)));
> -		return;
> -	}
> -
> -	WRITE_ONCE(*pgdp, pgd);
> +	__put_kernel_nofault(pgdp, &pgd, pgd_t, fault);
>  	queue_pte_barriers();
> +	return;
> +
> +fault:
> +	try_set_readonly_ptval(&pgd_val(*pgdp), pgd_val(pgd));
>  }
>  
>  static inline void pgd_clear(pgd_t *pgdp)
> diff --git a/arch/arm64/mm/mmu.c b/arch/arm64/mm/mmu.c
> index 9c1aa838e9d5..b97e4bf99ca5 100644
> --- a/arch/arm64/mm/mmu.c
> +++ b/arch/arm64/mm/mmu.c
> @@ -63,34 +63,34 @@ static bool rodata_is_rw __ro_after_init = true;
>   */
>  long __section(".mmuoff.data.write") __early_cpu_boot_status;
>  
> -static DEFINE_SPINLOCK(swapper_pgdir_lock);

Might be nicer to change this in a separate patch as AFAICT it's not
related/required for this patch.

>  static DEFINE_MUTEX(fixmap_lock);
>  
> -void noinstr set_swapper_pgd(pgd_t *pgdp, pgd_t pgd)
> +void noinstr try_set_readonly_ptval(ptval_t *ptvalp, ptval_t ptval)
>  {
> -	pgd_t *fixmap_pgdp;
> +	static DEFINE_SPINLOCK(lock);
> +
> +	BUG_ON(!in_swapper_pgdir(ptvalp));
>  
>  	/*
>  	 * Don't bother with the fixmap if swapper_pg_dir is still mapped
>  	 * writable in the kernel mapping.
>  	 */
>  	if (rodata_is_rw) {

Is that ever a valid situation? If rodata_is_rw, then we shouldn't be
here in the first place and that deserves a BUG_ON(), no?

- Kevin

> -		WRITE_ONCE(*pgdp, pgd);
> +		WRITE_ONCE(*ptvalp, ptval);
>  		dsb(ishst);
>  		isb();
>  		return;
>  	}
>  
> -	spin_lock(&swapper_pgdir_lock);
> -	fixmap_pgdp = pgd_set_fixmap(__pa_symbol(pgdp));
> -	WRITE_ONCE(*fixmap_pgdp, pgd);
> +	guard(spinlock)(&lock);
> +	ptvalp = (ptval_t *)set_fixmap_offset(FIX_PTVAL, __pa_symbol(ptvalp));
> +	WRITE_ONCE(*ptvalp, ptval);
>  	/*
>  	 * We need dsb(ishst) here to ensure the page-table-walker sees
>  	 * our new entry before set_p?d() returns. The fixmap's
>  	 * flush_tlb_kernel_range() via clear_fixmap() does this for us.
>  	 */
> -	pgd_clear_fixmap();
> -	spin_unlock(&swapper_pgdir_lock);
> +	clear_fixmap(FIX_PTVAL);
>  }
>  
>  pgprot_t phys_mem_access_prot(struct file *file, unsigned long pfn,


  reply	other threads:[~2026-09-01  9:13 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-08-27 16:44 [RFC PATCH v2 0/4] arm64: mm: Map fixmap page tables read-only Ard Biesheuvel
2026-08-27 16:44 ` [RFC PATCH v2 1/4] arm64: mm: Map fixmap PTE tables r/o in the linear map Ard Biesheuvel
2026-09-01  9:12   ` Kevin Brodsky
2026-08-27 16:44 ` [RFC PATCH v2 2/4] arm64: mm: Use fault handler to permit swapper_pg_dir updates Ard Biesheuvel
2026-09-01  9:12   ` Kevin Brodsky [this message]
2026-08-27 16:44 ` [RFC PATCH v2 3/4] arm64: mm: Create r/o page table region that permits updates Ard Biesheuvel
2026-08-27 16:44 ` [RFC PATCH v2 4/4] arm64: mm: Move fixmap intermediate page tables into .rodata Ard Biesheuvel
2026-09-01  9:12   ` Kevin Brodsky
2026-09-01  9:21 ` [RFC PATCH v2 0/4] arm64: mm: Map fixmap page tables read-only Kevin Brodsky
2026-09-01 15:27   ` Ard Biesheuvel

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=9f7e0bc4-2825-4ef9-abb1-41e0ffea8e2d@arm.com \
    --to=kevin.brodsky@arm.com \
    --cc=ardb+git@google.com \
    --cc=ardb@kernel.org \
    --cc=linux-arm-kernel@lists.infradead.org \
    --cc=linux-kernel@vger.kernel.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox