qemu-devel.nongnu.org archive mirror
 help / color / mirror / Atom feed
From: Richard Henderson <richard.henderson@linaro.org>
To: Peter Collingbourne <pcc@google.com>
Cc: Peter Maydell <peter.maydell@linaro.org>,
	Vincenzo Frascino <vincenzo.frascino@arm.com>,
	qemu-devel@nongnu.org, Evgenii Stepanov <eugenis@google.com>
Subject: Re: [PATCH] target/arm: Implement MTE3
Date: Thu, 8 Jul 2021 08:08:47 -0700	[thread overview]
Message-ID: <1b726e8c-5f6d-856e-72c1-8d835f28aec2@linaro.org> (raw)
In-Reply-To: <20210611190653.754648-1-pcc@google.com>

Cc: Peter.

r~

On 6/11/21 12:06 PM, Peter Collingbourne wrote:
> MTE3 introduces an asymmetric tag checking mode, in which loads are
> checked synchronously and stores are checked asynchronously. Add
> support for it.
> 
> Signed-off-by: Peter Collingbourne <pcc@google.com>
> ---
>   target/arm/cpu64.c      |  2 +-
>   target/arm/mte_helper.c | 83 ++++++++++++++++++++++++++---------------
>   2 files changed, 53 insertions(+), 32 deletions(-)
> 
> diff --git a/target/arm/cpu64.c b/target/arm/cpu64.c
> index 1c23187d1a..c7a1626bec 100644
> --- a/target/arm/cpu64.c
> +++ b/target/arm/cpu64.c
> @@ -683,7 +683,7 @@ static void aarch64_max_initfn(Object *obj)
>            * during realize if the board provides no tag memory, much like
>            * we do for EL2 with the virtualization=on property.
>            */
> -        t = FIELD_DP64(t, ID_AA64PFR1, MTE, 2);
> +        t = FIELD_DP64(t, ID_AA64PFR1, MTE, 3);
>           cpu->isar.id_aa64pfr1 = t;
>   
>           t = cpu->isar.id_aa64mmfr0;
> diff --git a/target/arm/mte_helper.c b/target/arm/mte_helper.c
> index 166b9d260f..7b76d871ff 100644
> --- a/target/arm/mte_helper.c
> +++ b/target/arm/mte_helper.c
> @@ -538,13 +538,51 @@ void HELPER(stzgm_tags)(CPUARMState *env, uint64_t ptr, uint64_t val)
>       }
>   }
>   
> +static void mte_sync_check_fail(CPUARMState *env, uint32_t desc,
> +                                uint64_t dirty_ptr, uintptr_t ra)
> +{
> +    int is_write, syn;
> +
> +    env->exception.vaddress = dirty_ptr;
> +
> +    is_write = FIELD_EX32(desc, MTEDESC, WRITE);
> +    syn = syn_data_abort_no_iss(arm_current_el(env) != 0, 0, 0, 0, 0, is_write,
> +                                0x11);
> +    raise_exception_ra(env, EXCP_DATA_ABORT, syn, exception_target_el(env), ra);
> +    g_assert_not_reached();
> +}
> +
> +static void mte_async_check_fail(CPUARMState *env, uint32_t desc,
> +                                 uint64_t dirty_ptr, uintptr_t ra,
> +                                 ARMMMUIdx arm_mmu_idx, int el)
> +{
> +    int select;
> +
> +    if (regime_has_2_ranges(arm_mmu_idx)) {
> +        select = extract64(dirty_ptr, 55, 1);
> +    } else {
> +        select = 0;
> +    }
> +    env->cp15.tfsr_el[el] |= 1 << select;
> +#ifdef CONFIG_USER_ONLY
> +    /*
> +     * Stand in for a timer irq, setting _TIF_MTE_ASYNC_FAULT,
> +     * which then sends a SIGSEGV when the thread is next scheduled.
> +     * This cpu will return to the main loop at the end of the TB,
> +     * which is rather sooner than "normal".  But the alternative
> +     * is waiting until the next syscall.
> +     */
> +    qemu_cpu_kick(env_cpu(env));
> +#endif
> +}
> +
>   /* Record a tag check failure.  */
>   static void mte_check_fail(CPUARMState *env, uint32_t desc,
>                              uint64_t dirty_ptr, uintptr_t ra)
>   {
>       int mmu_idx = FIELD_EX32(desc, MTEDESC, MIDX);
>       ARMMMUIdx arm_mmu_idx = core_to_aa64_mmu_idx(mmu_idx);
> -    int el, reg_el, tcf, select, is_write, syn;
> +    int el, reg_el, tcf;
>       uint64_t sctlr;
>   
>       reg_el = regime_el(env, arm_mmu_idx);
> @@ -564,14 +602,8 @@ static void mte_check_fail(CPUARMState *env, uint32_t desc,
>       switch (tcf) {
>       case 1:
>           /* Tag check fail causes a synchronous exception. */
> -        env->exception.vaddress = dirty_ptr;
> -
> -        is_write = FIELD_EX32(desc, MTEDESC, WRITE);
> -        syn = syn_data_abort_no_iss(arm_current_el(env) != 0, 0, 0, 0, 0,
> -                                    is_write, 0x11);
> -        raise_exception_ra(env, EXCP_DATA_ABORT, syn,
> -                           exception_target_el(env), ra);
> -        /* noreturn, but fall through to the assert anyway */
> +        mte_sync_check_fail(env, desc, dirty_ptr, ra);
> +        break;
>   
>       case 0:
>           /*
> @@ -583,30 +615,19 @@ static void mte_check_fail(CPUARMState *env, uint32_t desc,
>   
>       case 2:
>           /* Tag check fail causes asynchronous flag set.  */
> -        if (regime_has_2_ranges(arm_mmu_idx)) {
> -            select = extract64(dirty_ptr, 55, 1);
> -        } else {
> -            select = 0;
> -        }
> -        env->cp15.tfsr_el[el] |= 1 << select;
> -#ifdef CONFIG_USER_ONLY
> -        /*
> -         * Stand in for a timer irq, setting _TIF_MTE_ASYNC_FAULT,
> -         * which then sends a SIGSEGV when the thread is next scheduled.
> -         * This cpu will return to the main loop at the end of the TB,
> -         * which is rather sooner than "normal".  But the alternative
> -         * is waiting until the next syscall.
> -         */
> -        qemu_cpu_kick(env_cpu(env));
> -#endif
> +        mte_async_check_fail(env, desc, dirty_ptr, ra, arm_mmu_idx, el);
>           break;
>   
> -    default:
> -        /* Case 3: Reserved. */
> -        qemu_log_mask(LOG_GUEST_ERROR,
> -                      "Tag check failure with SCTLR_EL%d.TCF%s "
> -                      "set to reserved value %d\n",
> -                      reg_el, el ? "" : "0", tcf);
> +    case 3:
> +        /*
> +         * Tag check fail causes asynchronous flag set for stores, or
> +         * a synchronous exception for loads.
> +         */
> +        if (FIELD_EX32(desc, MTEDESC, WRITE)) {
> +            mte_async_check_fail(env, desc, dirty_ptr, ra, arm_mmu_idx, el);
> +        } else {
> +            mte_sync_check_fail(env, desc, dirty_ptr, ra);
> +        }
>           break;
>       }
>   }
> 



  parent reply	other threads:[~2021-07-08 15:09 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-06-11 19:06 [PATCH] target/arm: Implement MTE3 Peter Collingbourne
2021-06-12 21:19 ` Richard Henderson
2021-07-08 15:08 ` Richard Henderson [this message]
2021-07-08 15:23   ` Richard Henderson

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=1b726e8c-5f6d-856e-72c1-8d835f28aec2@linaro.org \
    --to=richard.henderson@linaro.org \
    --cc=eugenis@google.com \
    --cc=pcc@google.com \
    --cc=peter.maydell@linaro.org \
    --cc=qemu-devel@nongnu.org \
    --cc=vincenzo.frascino@arm.com \
    /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;
as well as URLs for NNTP newsgroup(s).