Re: [PATCH v3 2/2] ARM: support PHYS_OFFSET minimum aligned at 64KiB boundary

From: Leizhen (ThunderTown)
Date: Wed Sep 16 2020 - 22:33:55 EST




On 2020/9/16 19:15, Ard Biesheuvel wrote:
> (+ Arnd, Nico)
>
> On Wed, 16 Sep 2020 at 05:51, Zhen Lei <thunder.leizhen@xxxxxxxxxx> wrote:
>>
>> Currently, only support the kernels where the base of physical memory is
>> at a 16MiB boundary. Because the add/sub instructions only contains 8bits
>> unrotated value. But we can use one more "add/sub" instructions to handle
>> bits 23-16. The performance will be slightly affected.
>>
>> Since most boards meet 16 MiB alignment, so add a new configuration
>> option ARM_PATCH_PHYS_VIRT_RADICAL (default n) to control it. Say Y if
>> anyone really needs it.
>>
>> All r0-r7 (r1 = machine no, r2 = atags or dtb, in the start-up phase) are
>> used in __fixup_a_pv_table() now, but the callee saved r11 is not used in
>> the whole head.S file. So choose it.
>>
>> Because the calculation of "y = x + __pv_offset[63:24]" have been done,
>> so we only need to calculate "y = y + __pv_offset[23:16]", that's why
>> the parameters "to" and "from" of __pv_stub() and __pv_add_carry_stub()
>> in the scope of CONFIG_ARM_PATCH_PHYS_VIRT_RADICAL are all passed "t"
>> (above y).
>>
>> Signed-off-by: Zhen Lei <thunder.leizhen@xxxxxxxxxx>
>> ---
>> arch/arm/Kconfig | 17 ++++++++++++++++-
>> arch/arm/include/asm/memory.h | 16 +++++++++++++---
>> arch/arm/kernel/head.S | 25 +++++++++++++++++++------
>> 3 files changed, 48 insertions(+), 10 deletions(-)
>>
>> diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
>> index e00d94b16658765..073dafa428f3c87 100644
>> --- a/arch/arm/Kconfig
>> +++ b/arch/arm/Kconfig
>> @@ -240,12 +240,27 @@ config ARM_PATCH_PHYS_VIRT
>> kernel in system memory.
>>
>> This can only be used with non-XIP MMU kernels where the base
>> - of physical memory is at a 16MB boundary.
>> + of physical memory is at a 16MiB boundary.
>>
>> Only disable this option if you know that you do not require
>> this feature (eg, building a kernel for a single machine) and
>> you need to shrink the kernel to the minimal size.
>>
>> +config ARM_PATCH_PHYS_VIRT_RADICAL
>> + bool "Support PHYS_OFFSET minimum aligned at 64KiB boundary"
>> + depends on ARM_PATCH_PHYS_VIRT
>> + depends on !THUMB2_KERNEL
>
> Why is this not implemented for Thumb2 too?

No Thumb2 boards.

>
> Also, as Russell points out as well, this may end up being enabled for
> all multiarch kernels, so it makes sense to explore whether we can
> enable this unconditionally.

Yes, In fact, I think we can consider enabling this unconditionally after
the THUMB2 branch is implemented. Performance and code size should not be
a problem.

> Do you have any numbers wrt the impact on
> text size? I would assume it is negligible, but numbers help.

The text size increased a bit more than 2 KB (2164 Bytes), about 0.0146%.

make ARCH=arm CROSS_COMPILE=arm-linux-gnueabihf- distclean defconfig

Before:
$ size vmlinux
text data bss dec hex filename
14781964 7508366 420080 22710410 15a888a vmlinux

After:
$ size vmlinux
text data bss dec hex filename
14784128 7508366 420080 22712574 15a90fe vmlinux


>
> Being able to decompress the image to any 2MiB aligned base address is
> also quite useful for EFI boot, and it may also help to get rid of the
> TEXT_OFFSET hacks we have for some platforms in the future.>
>
>> + help
>> + This can only be used with non-XIP MMU kernels where the base
>> + of physical memory is at a 64KiB boundary.
>> +
>> + Compared with ARM_PATCH_PHYS_VIRT, one or two more instructions
>> + need to be added to implement the conversion of bits 23-16 of
>> + the VA/PA in phys-to-virt and virt-to-phys. The performance is
>> + slightly affected.
>> +
>
> Does it affect performance in other ways beyond code size/Icache density?

I just want to say it will slightly slower than !ARM_PATCH_PHYS_VIRT_RADICAL,
because one or two more instructions. It certainly cannot affect system performance.

Because of your doubts, I think I should remove the statement: "The performance is
slightly affected."

>
>> + If unsure say N here.
>> +
>> config NEED_MACH_IO_H
>> bool
>> help
>> diff --git a/arch/arm/include/asm/memory.h b/arch/arm/include/asm/memory.h
>> index 99035b5891ef442..f97b37303a00f60 100644
>> --- a/arch/arm/include/asm/memory.h
>> +++ b/arch/arm/include/asm/memory.h
>> @@ -173,6 +173,7 @@
>> * so that all we need to do is modify the 8-bit constant field.
>> */
>> #define __PV_BITS_31_24 0x81000000
>> +#define __PV_BITS_23_16 0x00810000
>> #define __PV_BITS_7_0 0x81
>>
>> extern unsigned long __pv_phys_pfn_offset;
>> @@ -201,7 +202,7 @@
>> : "=r" (t) \
>> : "I" (__PV_BITS_7_0))
>>
>> -#define __pv_add_carry_stub(x, y) \
>> +#define __pv_add_carry_stub(x, y, type) \
>> __asm__ volatile("@ __pv_add_carry_stub\n" \
>> "1: adds %Q0, %1, %2\n" \
>> " adc %R0, %R0, #0\n" \
>> @@ -209,7 +210,7 @@
>> " .long 1b\n" \
>> " .popsection\n" \
>> : "+r" (y) \
>> - : "r" (x), "I" (__PV_BITS_31_24) \
>> + : "r" (x), "I" (type) \
>> : "cc")
>>
>> static inline phys_addr_t __virt_to_phys_nodebug(unsigned long x)
>> @@ -218,9 +219,15 @@ static inline phys_addr_t __virt_to_phys_nodebug(unsigned long x)
>>
>> if (sizeof(phys_addr_t) == 4) {
>> __pv_stub(x, t, "add", __PV_BITS_31_24);
>> +#ifdef CONFIG_ARM_PATCH_PHYS_VIRT_RADICAL
>> + __pv_stub(t, t, "add", __PV_BITS_23_16);
>> +#endif
>> } else {
>> __pv_stub_mov_hi(t);
>> - __pv_add_carry_stub(x, t);
>> + __pv_add_carry_stub(x, t, __PV_BITS_31_24);
>> +#ifdef CONFIG_ARM_PATCH_PHYS_VIRT_RADICAL
>> + __pv_add_carry_stub(t, t, __PV_BITS_23_16);
>> +#endif
>> }
>> return t;
>> }
>> @@ -236,6 +243,9 @@ static inline unsigned long __phys_to_virt(phys_addr_t x)
>> * in place where 'r' 32 bit operand is expected.
>> */
>> __pv_stub((unsigned long) x, t, "sub", __PV_BITS_31_24);
>> +#ifdef CONFIG_ARM_PATCH_PHYS_VIRT_RADICAL
>> + __pv_stub(t, t, "sub", __PV_BITS_23_16);
>> +#endif
>> return t;
>> }
>>
>> diff --git a/arch/arm/kernel/head.S b/arch/arm/kernel/head.S
>> index 02d78c9198d0e8d..d9fb226a24d43ae 100644
>> --- a/arch/arm/kernel/head.S
>> +++ b/arch/arm/kernel/head.S
>> @@ -120,7 +120,7 @@ ENTRY(stext)
>> bl __fixup_smp
>> #endif
>> #ifdef CONFIG_ARM_PATCH_PHYS_VIRT
>> - bl __fixup_pv_table
>> + bl __fixup_pv_table @r11 will be used
>> #endif
>> bl __create_page_tables
>>
>> @@ -614,8 +614,13 @@ __fixup_pv_table:
>> mov r0, r8, lsr #PAGE_SHIFT @ convert to PFN
>> str r0, [r6] @ save computed PHYS_PFN_OFFSET to __pv_phys_pfn_offset
>> strcc ip, [r7, #HIGH_OFFSET] @ save to __pv_offset high bits
>> +#ifdef CONFIG_ARM_PATCH_PHYS_VIRT_RADICAL
>> + mov r6, r3, lsr #16 @ constant for add/sub instructions
>> + teq r3, r6, lsl #16 @ must be 64KiB aligned
>> +#else
>> mov r6, r3, lsr #24 @ constant for add/sub instructions
>> teq r3, r6, lsl #24 @ must be 16MiB aligned
>> +#endif
>> THUMB( it ne @ cross section branch )
>> bne __error
>> str r3, [r7, #LOW_OFFSET] @ save to __pv_offset low bits
>> @@ -636,7 +641,9 @@ __fixup_a_pv_table:
>> add r6, r6, r3
>> ldr r0, [r6, #HIGH_OFFSET] @ __pv_offset high word
>> ldr r6, [r6, #LOW_OFFSET] @ __pv_offset low word
>> - mov r6, r6, lsr #24
>> + mov r11, r6, lsl #8
>> + mov r11, r11, lsr #24 @ bits 23-16
>> + mov r6, r6, lsr #24 @ bits 31-24
>> cmn r0, #1
>> #ifdef CONFIG_THUMB2_KERNEL
>> moveq r0, #0x200000 @ set bit 21, mov to mvn instruction
>> @@ -682,14 +689,20 @@ ARM_BE8(rev16 ip, ip)
>> #ifdef CONFIG_CPU_ENDIAN_BE8
>> @ in BE8, we load data in BE, but instructions still in LE
>> bic ip, ip, #0xff000000
>> - tst ip, #0x000f0000 @ check the rotation field
>> + tst ip, #0x00040000 @ check the rotation field
>> orrne ip, ip, r6, lsl #24 @ mask in offset bits 31-24
>> + tst ip, #0x00080000 @ check the rotation field
>> + orrne ip, ip, r11, lsl #24 @ mask in offset bits 23-16
>> + tst ip, #0x000f0000 @ check the rotation field
>> biceq ip, ip, #0x00004000 @ clear bit 22
>> orreq ip, ip, r0 @ mask in offset bits 7-0
>> #else
>> bic ip, ip, #0x000000ff
>> - tst ip, #0xf00 @ check the rotation field
>> + tst ip, #0x400 @ check the rotation field
>> orrne ip, ip, r6 @ mask in offset bits 31-24
>> + tst ip, #0x800 @ check the rotation field
>> + orrne ip, ip, r11 @ mask in offset bits 23-16
>> + tst ip, #0xf00 @ check the rotation field
>> biceq ip, ip, #0x400000 @ clear bit 22
>> orreq ip, ip, r0 @ mask in offset bits 7-0
>> #endif
>> @@ -705,12 +718,12 @@ ENDPROC(__fixup_a_pv_table)
>> 3: .long __pv_offset
>>
>> ENTRY(fixup_pv_table)
>> - stmfd sp!, {r4 - r7, lr}
>> + stmfd sp!, {r4 - r7, r11, lr}
>> mov r3, #0 @ no offset
>> mov r4, r0 @ r0 = table start
>> add r5, r0, r1 @ r1 = table size
>> bl __fixup_a_pv_table
>> - ldmfd sp!, {r4 - r7, pc}
>> + ldmfd sp!, {r4 - r7, r11, pc}
>> ENDPROC(fixup_pv_table)
>>
>> .data
>> --
>> 1.8.3
>>
>>
>>
>> _______________________________________________
>> linux-arm-kernel mailing list
>> linux-arm-kernel@xxxxxxxxxxxxxxxxxxx
>> http://lists.infradead.org/mailman/listinfo/linux-arm-kernel
>
> .
>