[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v2 03/13] target/arm: Use set/clear_helper_retaddr in helper-
From: |
Peter Maydell |
Subject: |
Re: [PATCH v2 03/13] target/arm: Use set/clear_helper_retaddr in helper-a64.c |
Date: |
Fri, 12 Jul 2024 13:53:58 +0100 |
On Wed, 10 Jul 2024 at 04:29, Richard Henderson
<richard.henderson@linaro.org> wrote:
>
> Use these in helper_dc_dva and the FEAT_MOPS routines to
> avoid a race condition with munmap in another thread.
>
> Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
> ---
> target/arm/tcg/helper-a64.c | 14 ++++++++++++--
> 1 file changed, 12 insertions(+), 2 deletions(-)
>
> diff --git a/target/arm/tcg/helper-a64.c b/target/arm/tcg/helper-a64.c
> index 0ea8668ab4..c60d2a7ec9 100644
> --- a/target/arm/tcg/helper-a64.c
> +++ b/target/arm/tcg/helper-a64.c
> @@ -928,6 +928,8 @@ uint32_t HELPER(sqrt_f16)(uint32_t a, void *fpstp)
>
> void HELPER(dc_zva)(CPUARMState *env, uint64_t vaddr_in)
> {
> + uintptr_t ra = GETPC();
> +
> /*
> * Implement DC ZVA, which zeroes a fixed-length block of memory.
> * Note that we do not implement the (architecturally mandated)
> @@ -948,8 +950,6 @@ void HELPER(dc_zva)(CPUARMState *env, uint64_t vaddr_in)
>
> #ifndef CONFIG_USER_ONLY
> if (unlikely(!mem)) {
> - uintptr_t ra = GETPC();
> -
> /*
> * Trap if accessing an invalid page. DC_ZVA requires that we supply
> * the original pointer for an invalid page. But watchpoints require
> @@ -971,7 +971,9 @@ void HELPER(dc_zva)(CPUARMState *env, uint64_t vaddr_in)
> }
> #endif
>
> + set_helper_retaddr(ra);
> memset(mem, 0, blocklen);
> + clear_helper_retaddr();
> }
>
> void HELPER(unaligned_access)(CPUARMState *env, uint64_t addr,
> @@ -1120,7 +1122,9 @@ static uint64_t set_step(CPUARMState *env, uint64_t
> toaddr,
> }
> #endif
> /* Easy case: just memset the host memory */
> + set_helper_retaddr(ra);
> memset(mem, data, setsize);
> + clear_helper_retaddr();
> return setsize;
> }
>
> @@ -1163,7 +1167,9 @@ static uint64_t set_step_tags(CPUARMState *env,
> uint64_t toaddr,
> }
> #endif
> /* Easy case: just memset the host memory */
> + set_helper_retaddr(ra);
> memset(mem, data, setsize);
> + clear_helper_retaddr();
> mte_mops_set_tags(env, toaddr, setsize, *mtedesc);
> return setsize;
> }
I was briefly uncertain about this, but since we restrict
the size of the amount of memory we're setting to not cross
a guest page, if the memset() does fault it should only
be for the case of "the whole block went away", so you never
get the situation of "successfully wrote a chunk and then
faulted partway through, and we should have written the
tags for the partial write and did not".
So
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
thanks
-- PMM
- [PATCH v2 00/13] Fixes for user-only munmap races, Richard Henderson, 2024/07/09
- [PATCH v2 01/13] accel/tcg: Move {set, clear}_helper_retaddr to cpu_ldst.h, Richard Henderson, 2024/07/09
- [PATCH v2 02/13] target/arm: Use cpu_env in cpu_untagged_addr, Richard Henderson, 2024/07/09
- [PATCH v2 03/13] target/arm: Use set/clear_helper_retaddr in helper-a64.c, Richard Henderson, 2024/07/09
- Re: [PATCH v2 03/13] target/arm: Use set/clear_helper_retaddr in helper-a64.c,
Peter Maydell <=
- [PATCH v2 04/13] target/arm: Use set/clear_helper_retaddr in SVE and SME helpers, Richard Henderson, 2024/07/09
- [PATCH v2 06/13] target/ppc: Hoist dcbz_size out of dcbz_common, Richard Henderson, 2024/07/09
- [PATCH v2 07/13] target/ppc: Split out helper_dbczl for 970, Richard Henderson, 2024/07/09
- [PATCH v2 10/13] target/s390x: Use user_or_likely in do_access_memset, Richard Henderson, 2024/07/09
- [PATCH v2 08/13] target/ppc: Merge helper_{dcbz,dcbzep}, Richard Henderson, 2024/07/09