[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <eb3ab2e5-781f-9e46-60c1-8af157b0f9a5@huawei.com>
Date: Wed, 13 Apr 2022 14:36:01 +0800
From: Tong Tiangen <tongtiangen@...wei.com>
To: Robin Murphy <robin.murphy@....com>,
Mark Rutland <mark.rutland@....com>,
James Morse <james.morse@....com>,
Andrew Morton <akpm@...ux-foundation.org>,
Thomas Gleixner <tglx@...utronix.de>,
Ingo Molnar <mingo@...hat.com>, Borislav Petkov <bp@...en8.de>,
Dave Hansen <dave.hansen@...ux.intel.com>,
Catalin Marinas <catalin.marinas@....com>,
Will Deacon <will@...nel.org>,
Alexander Viro <viro@...iv.linux.org.uk>, <x86@...nel.org>,
"H . Peter Anvin" <hpa@...or.com>
CC: <linux-arm-kernel@...ts.infradead.org>,
<linux-kernel@...r.kernel.org>, <linux-mm@...ck.org>,
Kefeng Wang <wangkefeng.wang@...wei.com>,
Xie XiuQi <xiexiuqi@...wei.com>
Subject: Re: [RFC PATCH -next V3 4/6] arm64: add copy_{to, from}_user to
machine check safe
在 2022/4/13 1:08, Robin Murphy 写道:
> On 12/04/2022 8:25 am, Tong Tiangen wrote:
> [...]
>> diff --git a/arch/arm64/include/asm/asm-uaccess.h
>> b/arch/arm64/include/asm/asm-uaccess.h
>> index 0557af834e03..bb17f0829042 100644
>> --- a/arch/arm64/include/asm/asm-uaccess.h
>> +++ b/arch/arm64/include/asm/asm-uaccess.h
>> @@ -92,4 +92,20 @@ alternative_else_nop_endif
>> _asm_extable 8888b,\l;
>> .endm
>> +
>> + .macro user_ldp_mc l, reg1, reg2, addr, post_inc
>> +8888: ldtr \reg1, [\addr];
>> +8889: ldtr \reg2, [\addr, #8];
>> + add \addr, \addr, \post_inc;
>> +
>> + _asm_extable_uaccess_mc 8888b, \l;
>> + _asm_extable_uaccess_mc 8889b, \l;
>> + .endm
>
> You're replacing the only user of this, so please just
> s/_asm_extable/_asm_extable_uaccess_mc/ in the existing macro and save
> the rest of the churn.
Agreed, *user_ldp* -- This name has clearly explained the scences where
this macro is used. It is more appropriate to modify it directly.
>
> Furthermore, how come you're not similarly updating user_stp, given that
> you *are* updating the other stores in copy_to_user?
>
>> +
>> + .macro user_ldst_mc l, inst, reg, addr, post_inc
>> +8888: \inst \reg, [\addr];
>> + add \addr, \addr, \post_inc;
>> +
>> + _asm_extable_uaccess_mc 8888b, \l;
>> + .endm
>
> Similarly, I think we can just update user_ldst itself. The two
> instances that you're not replacing here are bogus anyway, and deserve
> to be fixed with the patch below first.
OK, great thanks. will do next version.
>
> [...]
>> @@ -62,7 +63,11 @@ SYM_FUNC_START(__arch_copy_from_user)
>> ret
>> // Exception fixups
>> -9997: cmp dst, dstin
>> +9997: mrs esr, esr_el1 // Check exception first
>> + and esr, esr, #ESR_ELx_FSC
>> + cmp esr, #ESR_ELx_FSC_EXTABT
>
> Should we be checking EC to make sure it's a data abort - and thus FSC
> is valid - in the first place? I'm a little fuzzy on all the possible
> paths into fixup_exception(), and it's not entirely obvious whether this
> is actually safe or not.
>
> Thanks,
> Robin.
I think checking EC here is more rigorous in code logic and it's doesn't
appear to be harmful.
It is really not appropriate to check the ESR at this stage (it has been
checked where the exception processing starts). At present, I haven't
thought of a better way. If anyone has a better way, please reply to me :)
Thanks Robin.
Tong.
>
> ----->8-----
> Subject: [PATCH] arm64: mte: Clean up user tag accessors
>
> Invoking user_ldst to explicitly add a post-increment of 0 is silly.
> Just use a normal USER() annotation and save the redundant instruction.
>
> Signed-off-by: Robin Murphy <robin.murphy@....com>
> ---
> arch/arm64/lib/mte.S | 4 ++--
> 1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/arch/arm64/lib/mte.S b/arch/arm64/lib/mte.S
> index 8590af3c98c0..eeb9e45bcce8 100644
> --- a/arch/arm64/lib/mte.S
> +++ b/arch/arm64/lib/mte.S
> @@ -93,7 +93,7 @@ SYM_FUNC_START(mte_copy_tags_from_user)
> mov x3, x1
> cbz x2, 2f
> 1:
> - user_ldst 2f, ldtrb, w4, x1, 0
> +USER(2f, ldtrb w4, [x1])
> lsl x4, x4, #MTE_TAG_SHIFT
> stg x4, [x0], #MTE_GRANULE_SIZE
> add x1, x1, #1
> @@ -120,7 +120,7 @@ SYM_FUNC_START(mte_copy_tags_to_user)
> 1:
> ldg x4, [x1]
> ubfx x4, x4, #MTE_TAG_SHIFT, #MTE_TAG_SIZE
> - user_ldst 2f, sttrb, w4, x0, 0
> +USER(2f, sttrb w4, [x0])
> add x0, x0, #1
> add x1, x1, #MTE_GRANULE_SIZE
> subs x2, x2, #1
Powered by blists - more mailing lists